Generating MSCs from an Integrated Formal Specification Language

Jin Song Dong, Shengchao Qin, Jun Sun

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    The requirements capture of complex systems requires powerful mechanisms for specifying system state, structure and interactive behaviors. Integrated formal specification languages are well suited for presenting more complete and coherent requirement models for complex systems. Given an integrated model, one can project it into multiple views for specialized analysis. Message Sequence Charts (MSCs) is a popular graphical notation for presenting interactive viewpoints of a system. In this paper, we investigate the semantic based transformation from an integrated formal specification language TCOZ to MSCs. An automated tool has also been developed for generating MSCs from TCOZ models. Furthermore, by inserting operation constraints (as assertions) into the generated MSCs, system testing requirements can be obtained.
    Original languageEnglish
    Title of host publication Integrated Formal Methods. IFM 2004
    PublisherSpringer Berlin
    Pages168-186
    ISBN (Electronic)9783540247562
    ISBN (Print)9783540213772
    DOIs
    Publication statusPublished - 2004
    EventIntegrated Formal Methods, 4th International Conference - Canterbury, United Kingdom
    Duration: 4 Apr 20047 Apr 2004
    Conference number: 4

    Publication series

    Name Lecture Notes in Computer Science
    PublisherSpringer, Berlin
    Volume2999

    Conference

    ConferenceIntegrated Formal Methods, 4th International Conference
    Abbreviated titleIFM 2004
    CountryUnited Kingdom
    CityCanterbury
    Period4/04/047/04/04

    Fingerprint Dive into the research topics of 'Generating MSCs from an Integrated Formal Specification Language'. Together they form a unique fingerprint.

  • Cite this

    Dong, J. S., Qin, S., & Sun, J. (2004). Generating MSCs from an Integrated Formal Specification Language. In Integrated Formal Methods. IFM 2004 (pp. 168-186). ( Lecture Notes in Computer Science; Vol. 2999). Springer Berlin. https://doi.org/10.1007/978-3-540-24756-2_10