2013 | OriginalPaper | Buchkapitel
Circus Time with Reactive Designs
verfasst von : Kun Wei, Jim Woodcock, Ana Cavalcanti
Erschienen in: Unifying Theories of Programming
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The UTP theories for CSP and
Circus
can be built by the combination of the theories of designs and reactive processes. Defining the CSP operators using reactive design provides a more concise, readable and uniform UTP semantics, and, more importantly, exposes the pre-postcondition semantics of the operators. For
Circus Time
, a few operators have been defined as reactive designs, but some important operators are still be considered. In this paper, we develop the reactive design semantics of sequential composition, hiding and recursion within
Circus Time
, and show how to prove some subtle laws using the new semantics.