1. ScholarBank@NUS
  2. 1. Staff
  3. Staff Publications
Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/43025
DC FieldValue
dc.titleGenerating MSCs from an integrated formal specification language
dc.contributor.authorDong, J.S.
dc.contributor.authorQin, S.
dc.contributor.authorSun, J.
dc.date.accessioned2013-07-23T09:22:56Z
dc.date.available2013-07-23T09:22:56Z
dc.date.issued2004
dc.identifier.citationDong, J.S.,Qin, S.,Sun, J. (2004). Generating MSCs from an integrated formal specification language. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2999 : 168-186. ScholarBank@NUS Repository.
dc.identifier.issn03029743
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/43025
dc.description.abstractThe 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. © Springer-Verlag 2004.
dc.sourceScopus
dc.subjectMSC
dc.subjectRequirement Engineering
dc.subjectTCOZ
dc.typeArticle
dc.contributor.departmentCOMPUTER SCIENCE
dc.contributor.departmentSINGAPORE-MIT ALLIANCE
dc.description.sourcetitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.description.volume2999
dc.description.page168-186
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.