The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28926
Record Status Checked
Record Id 28926
Title Composition of Reactive System Components
Abstract This paper will present the case for using a formal component-based specification technique for reactive systems, such as the Object Calculus of Fiadeiro and Maibaum. The Object Calculus provides a modular, highly declarative and abstract specification language, suitable for refinement using model-based design notations such as B or VDM. In the Object Calculus, pre/post style specificaiton of the effect of actions can be given, together with temporal logic specifications of expected histories of behaviour of the system.
Organisation CCLRC , BITD
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In Workshop on Foundations of Component-based Systems, ( ESEC 97 ), Zurich, Switzerland, September 22-25, 1997, (1997). 1997