Micromodels of Software
نویسنده
چکیده
A micromodel of a program is a tiny, abstract model that captures some crucial aspect of its functionality. To improve the reliability of software, implementations are developed hand-in-hand with micromodels. The code is then checked for conformance with all the relevant micromodels. Micromodels can also themselves be simulated and checked for internal consistency.
منابع مشابه
Bachelor End Project
The mobilization of the trapped residual oil is an important part of Enhanced Oil Recovery. The desaturation of nonwetting fluids from porous media is often described using capillary numbers which are a ratio of viscous forces over the capillary forces between the wetting and the nonwetting fluids. Twodimensional microfluidic devices (micromodels) play an important role as they allow for the vi...
متن کاملAn Experimental Study of Alkali-surfactant-polymer Flooding through Glass Micromodels Including Dead-end Pores
Chemical flooding, especially alkaline/surfactant/polymer flooding, is of increasing interest due to the world increasing oil demand. This work shows the aspects of using alkaline/surfactant/polymer as an enhanced oil recovery method in the porous media having a high dead-end pore frequency with various dead-end pore parameters (such as opening, depth, aspect ratio, and orientation). Using glas...
متن کاملPractical Verification Strategy for Refinement Conditions in UML Models
This paper presents an automatic and simple method for creating refinement condition for UML models. Conditions are fully written in OCL, making it unnecessary the application of mathematical languages which are in general hardly accepted to software engineers. Besides, considering that the state space where OCL conditions are evaluated might be too large (or even infinite), the strategy of mic...
متن کاملA 2.5-D glass micromodel for investigation of multi-phase flow in porous media.
We developed a novel method for fabrication of glass micromodels with varying depth (2.5-D) with no additional complexity over the 2-D micromodels' fabrication. Compared to a 2-D micromodel, the 2.5-D micromodel can better represent the 3-D features of multi-phase flow in real porous media, as demonstrated in this paper with three different examples. Physically realistic capillary snap-off and ...
متن کاملPhotopatterned oil-reservoir micromodels with tailored wetting properties.
Micromodels with a simplified porous network that represents geological porous media have been used as experimental test beds for multiphase flow studies in the petroleum industry. We present a new method to fabricate reservoir micromodels with heterogeneous wetting properties. Photopatterned, copolymerized microstructures were fabricated in a bottom-up manner. The use of rationally designed co...
متن کامل