Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/39003
DC Field | Value | |
---|---|---|
dc.title | An executable specification language based on message sequence charts | |
dc.contributor.author | Roychoudhnry, A. | |
dc.contributor.author | Thiagarajan, P.S. | |
dc.date.accessioned | 2013-07-04T07:31:46Z | |
dc.date.available | 2013-07-04T07:31:46Z | |
dc.date.issued | 2003 | |
dc.identifier.citation | Roychoudhnry, A.,Thiagarajan, P.S. (2003). An executable specification language based on message sequence charts. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2757 : 226-241. ScholarBank@NUS Repository. | |
dc.identifier.issn | 03029743 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/39003 | |
dc.description.abstract | Message Sequence Charts (MSCs) are an appealing visual formalism that play a useful role in the early design stages of reactive systems such as telecommunication protocols. They also constitute one of the behavioral diagram types in the UML framework [4]. MSCs are usually intended to capture system requirements. However there is no standard relationship between such requirements and an executable specification . Here we deploy MSCs instead as refinements of actions at the executable level by formulating a state-based model called Cyclic Transaction Processes. We provide a transition system semantics for the CTP model as also a detailed example to illustrate its modeling and behavioral features. © Springer-Verlag Berlin Heidelberg 2003. | |
dc.source | Scopus | |
dc.type | Article | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.sourcetitle | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
dc.description.volume | 2757 | |
dc.description.page | 226-241 | |
dc.identifier.isiut | NOT_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.