Triggered Message Sequence Charts
IEEE Transactions on Software Engineering
Symbolic Message Sequence Charts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Secure requirements elicitation through triggered message sequence charts
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
An integrated framework for scenarios and state machines
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
| Hi-index | 0.00 |
Message Sequence Charts (MSCs) are a popular graphical notation for scenario-based specifications of distributed systems. MSCs permit engineers to visualize different execution behaviors of systems and thereby convey operational information to implementors quickly and concisely. This thesis develops an extension to MSCs called Triggered Message Sequence Charts (TMSCs) that supports the use of graphical scenarios as early stage requirements artifacts of distributed systems. Specifically, TMSCs enrich MSCs with notions of conditional and partial behavior . The language also offers a selection of behavioral and logical constructs for building structured specifications. By allowing non-determinism in system behavior, TMSCs let designers indicate where their requirements specifications permit different design decisions to be made in the future. As such, the theory is equipped with a refinement ordering that determines when one specification is a “correct elaboration” of another. TMSCs naturally support two styles of requirements modeling. The first approach uses conditional scenarios to refine coarse base specifications, and is useful for composing localized subsystem requirements with global ones. The second approach supports incremental development of complex specifications through the extension of partial scenarios. A tool named TRIM provides practical support to TMSC users by automatically constructing behavioral models of TMSC specifications, and providing refinement checking, simulation and debugging facilities.