A Stepwise Approach to Linking Theories
نویسندگان
چکیده
Formal modelling of complex systems requires catering for a variety of aspects. The Unifying Theories of Programming (UTP) distinguishes itself as a semantic framework that promotes unification of results across different modelling paradigms via linking functions. The naive composition of theories, however, may yield unexpected or undesirable semantic models. Here, we propose a stepwise approach to linking theories where we deal separately with the definition of the relation between the variables in the different theories and the identification of healthiness conditions. We explore this approach by deriving healthiness conditions for Circus Time via calculation, based on the healthiness conditions of CSP and a small set of principles underlying the timed model.
منابع مشابه
Computerized Linking of Capital Markets - A Viable Approach
Interlinking capital markets has always been an interesting issue since it not only provides more investment opportunities but also results in reduction of the risk of market volatility due to increase in the size of market. However, global and local barriers like different currencies, legal issues, settlement risks and costs prevent such interlink age to take place efficiently. In this paper, ...
متن کاملA model-based approach for mapping rangelands covers using Landsat TM image data
Empirical models are important tools for relating field-measured biophysical variables to remotely sensed data. Regression analysis has been a popular empirical method of linking these two types of data to estimate variables such as biomass, percent vegetation canopy cover, and bare soil. This study was conducted in a semi-arid rangeland ecosystem of Qazvin province, Iran. This paper presents t...
متن کاملStochastic Approach to Vehicle Routing Problem: Development and Theories
Stochastic Approach to Vehicle Routing Problem: Development and Theories Abstract In this article, a chance constrained (CCP) formulation of the Vehicle Routing Problem (VRP) is proposed. The reality is that once we convert some special form of probabilistic constraint into their equivalent deterministic form then a nonlinear constraint generates. Knowing that reliable computer software...
متن کاملImmobilization of Urease onto Modified Egg Shell Membrane through Cross Linking
Background: Immobilization is an approach in industry to improve stability and reusability of urease. The efficiency of this technique depends on the type of membrane and the method of stabilization. Methods: The PEI-modified egg shell membrane was used to immobilize urease by absorption and glutaraldehyde cross-linking methods. The membranes were characterized by Fourier-transform infrared sp...
متن کاملDeveloping clues to environmental cancer: a stepwise approach with the use of cancer mortality data.
Clues to environmental determinants can often be derived from the patterns of mortality from cancer. This review focuses on the stepwise approach of using cancer mortality maps, supplemented by correlation studies linking mortality rates with demographic and industrial data at the county level, to generate hypotheses to cancer etiology which can then be pursued by analytical epidemiological stu...
متن کامل