LCM and MCM: specification of a control system using dynamic logic and process algebra

Wieringa, Roel (1994) LCM and MCM: specification of a control system using dynamic logic and process algebra. In: Formal Development of Reactive Systems : Case Study Production Cell. Lecture Notes in Computer Science, 891 . Springer, Berlin, Germany, pp. 333-355. ISBN 9783540588672

PDF
1316Kb

Abstract:	LCM 3.0 is a specification language based on dynamic logic and process algebra, and can be used to specify systems of dynamic objects that communicate synchronously. LCM 3.0 was developed for the specification of object-oriented information systems, but contains sufficient facilities for the specification of control to apply it to the specification of control-intensive systems as well. In this paper, the results of such an application are reported. The paper concludes with a discussion of the need for theorem-proving support and of the extensions that would be needed to be able to specify real-time properties.
Item Type:	Book Section
Copyright:	© 1994 Springer
Link to this item:	http://purl.utwente.nl/publications/76211
Official URL:	http://dx.doi.org/10.1007/3-540-58867-1_63
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page