Timewise Re nement for Communicating Processes
نویسنده
چکیده
A theory of timewise re nement is presented This allows the translation of speci cations and proofs of correctness between semantic models permitting each stage in the veri cation of a system to take place at the appropriate level of abstraction The theory is presented within the context of CSP A denotational characterisation of re nement is given in terms of relations between behaviours at di erent levels of abstraction Various properties for the preservation of re nement through parallel composition are discussed An operational characterisation is also given in terms of timed and untimed tests and observed to coincide with the denotational characterisation
منابع مشابه
Re ning Business Processes
In this paper we present a calculus for re nement of business process models based on a precise de nition of business processes and process nets Business process models are a vital concept for communicating with experts of the application domain Depending on the roles and responsibilities of the application domain experts involved process models are discussed on di erent levels of ab straction ...
متن کاملPreface Antoni Lig ¦
Evaluation, Veri cation, Validation and Re nement have been important issues from the very beginning of the applications of Intelligent systems. These issues were an important research area and engineering aspect in 80' and 90'. A number of conceptual approaches as well as practical tools was developed then. With time, the focus of research in the design of intelligent systems moved away from t...
متن کاملRefining Business Processes
In this paper we present a calculus for re nement of business process models based on a precise de nition of business processes and process nets Business process models are a vital concept for communicating with experts of the application domain Depending on the roles and responsibilities of the application domain experts involved process models are discussed on di erent levels of ab straction ...
متن کاملReening Business Processes
In this paper we present a calculus for re nement of business process models based on a precise de nition of business processes and process nets Business process models are a vital concept for communicating with experts of the application domain Depending on the roles and responsibilities of the application domain experts involved process models are discussed on di erent levels of ab straction ...
متن کاملGcsr: a Graphical Language for the Speciication and Reenement of Real-time Systems
The potential high cost associated with the malfunctioning of real-time systems created a need for a formal framework where a real-time system can be precisely speci ed and rigorously analyzed before its implementation. Although various formal methods for realtime systems have been developed, they tend to be inaccessible to practitioners because of their mathematical textual notations that ofte...
متن کامل