Skip to main content

Research Repository

Advanced Search

Generating MSCs from an Integrated Formal Specification Language

Dong, J.S.; Qin, S.; Sun, J.; Boiten, E.A.; Derrick, J.; Smith, G.

Authors

J.S. Dong

S. Qin

J. Sun

E.A. Boiten

J. Derrick

G. Smith



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.

Citation

Dong, J., Qin, S., Sun, J., Boiten, E., Derrick, J., & Smith, G. (2004). Generating MSCs from an Integrated Formal Specification Language. In Integrated Formal Methods : 4th International Conference, IFM 2004, 4-7 April 4 2004, Canterbury, UK : proceedings (168-186). https://doi.org/10.1007/b96106

Conference Name Integrated Formal Methods (IFM 2004)
Conference Location Kent, UK
Start Date Apr 4, 2004
End Date Apr 7, 2004
Publication Date Apr 1, 2004
Deposit Date Nov 17, 2009
Publisher Springer Verlag
Volume 2999
Pages 168-186
Series Title Lecture notes in computer science
Book Title Integrated Formal Methods : 4th International Conference, IFM 2004, 4-7 April 4 2004, Canterbury, UK : proceedings.
DOI https://doi.org/10.1007/b96106
Keywords Requirement engineering, TCOZ, MSC.

You might also like



Downloadable Citations