LOTOS MIRANDA: A Functional Environment for the Implementation of View Functionsfor LOTOS

摘要

In the context of LOTOS to LOTOS transformations there are aspects ofspecifications which are useful for the definition of transformations, but which are not captured directly by the LOTOS standard semantics even if they can be derived from it. Many such aspects, also called views, can be effectively defined within the denotational framework by means of the definition of suitable interpretation domains and functions from LOTOS syntax to them. There are other views which are not computable, for which suitable, computable approximations can be defined. Also, in many cases the interpretation domain is finite, so that the complete view can be computed. In the report, the approach is first outlined and then applied to LOTOS. A prototype implementation of LOTOS MIRANDA, an environment for the computation of views based on the functional language Miranda is also described.