We use cookies to ensure that we give you the best experience on our website. You can change your cookie settings at any time. Otherwise, we'll assume you're OK to continue.

Durham Research Online
You are in:

Generating MSCs from an integrated formal specification language.

Dong, J. S. and Qin, S. and Sun, J. (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. Berlin: Springer , pp. 168-186. Lecture notes in computer science., 2999


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.

Item Type:Book chapter
Keywords:Requirement engineering, TCOZ, MSC.
Full text:Full text not available from this repository.
Publisher Web site:
Record Created:17 Nov 2009 13:05
Last Modified:08 Nov 2010 12:25

Social bookmarking: del.icio.usConnoteaBibSonomyCiteULikeFacebookTwitterExport: EndNote, Zotero | BibTex
Usage statisticsLook up in GoogleScholar | Find in a UK Library