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

Roelf J. Wieringa

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    184 Downloads (Pure)


    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.
    Original languageUndefined
    Title of host publicationFormal Development of Reactive Systems Case Study Production Cell
    EditorsClaus Lewerentz, Thomas Lindner
    Place of PublicationBerlin
    Number of pages23
    ISBN (Print)9783540588672
    Publication statusPublished - 25 Feb 1994

    Publication series

    NameLecture Notes in Computer Science


    • EWI-10661
    • IR-76211
    • SCS-Services

    Cite this