Generating MSCs from an Integrated Formal Specification Language

Jin Song Dong; Shengchao Qin; Jun Sun

doi:10.1007/978-3-540-24756-2_10

Generating MSCs from an Integrated Formal Specification Language

Jin Song Dong, Shengchao Qin, Jun Sun

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Integrated Formal Methods. IFM 2004
Publisher	Springer Berlin
Pages	168-186
ISBN (Electronic)	9783540247562
ISBN (Print)	9783540213772
DOIs	https://doi.org/10.1007/978-3-540-24756-2_10
Publication status	Published - 2004
Event	Integrated Formal Methods, 4th International Conference - Canterbury, United Kingdom Duration: 4 Apr 2004 → 7 Apr 2004 Conference number: 4

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer, Berlin
Volume	2999

Conference

Conference	Integrated Formal Methods, 4th International Conference
Abbreviated title	IFM 2004
Country/Territory	United Kingdom
City	Canterbury
Period	4/04/04 → 7/04/04

Access to Document

10.1007/978-3-540-24756-2_10

Cite this

@inproceedings{ceb5c60f9fbd4bc2978ff979b9965dd1,

title = "Generating MSCs from an Integrated Formal Specification Language",

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.",

author = "Dong, {Jin Song} and Shengchao Qin and Jun Sun",

year = "2004",

doi = "10.1007/978-3-540-24756-2_10",

language = "English",

isbn = "9783540213772",

series = " Lecture Notes in Computer Science",

publisher = "Springer Berlin",

pages = "168--186",

booktitle = "Integrated Formal Methods. IFM 2004",

address = "Germany",

note = "Integrated Formal Methods, 4th International Conference, IFM 2004 ; Conference date: 04-04-2004 Through 07-04-2004",

}

TY - GEN

T1 - Generating MSCs from an Integrated Formal Specification Language

AU - Dong, Jin Song

AU - Qin, Shengchao

AU - Sun, Jun

N1 - Conference code: 4

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

UR - http://dx.doi.org/10.1007/978-3-540-24756-2_10

U2 - 10.1007/978-3-540-24756-2_10

DO - 10.1007/978-3-540-24756-2_10

M3 - Conference contribution

SN - 9783540213772

T3 - Lecture Notes in Computer Science

SP - 168

EP - 186

BT - Integrated Formal Methods. IFM 2004

PB - Springer Berlin

T2 - Integrated Formal Methods, 4th International Conference

Y2 - 4 April 2004 through 7 April 2004

ER -

Generating MSCs from an Integrated Formal Specification Language

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this