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.
CITATION STYLE
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. https://doi.org/10.1007/978-3-540-40007-3_15
Mendeley helps you to discover research relevant for your work.