Message Sequence Charts (MSCs) are an appealing
visual notation for specifying patterns of interactions between
processes. This notation has found its way into many design
methodologies. A variant of MSCs called sequence diagrams is
a part of the UML notational framework. One main role of MSCs is to capture system requirements in terms of "good" scenarios the implementation should exhibit and "bad" scenarios it must avoid. A good part of research on MSCs, driven by this use, focuses on mechanisms for specifying collections of MSCs, ways of analyzing such collections and relating them to implementation models. On the other hand, a broad extension of MSCs called Live Sequence Charts (LSCs) have been proposed by David Harel and Werner Damm to serve as a full specification language. Further, David Harel and co-workers have developed a powerful execution engine called the Play-Engine to support system designs based on LSCs. From a conceptual standpoint, the models called netcharts, Communicating Transaction Processes (CTPs) and Object CTPs (OCTPs) also falls within this framework. In our tutorial, we will survey the theory, modelling examples, tools and applications covering both these themes. |
Time | Topic(s) Covered | References |
9:00am - 10:30am |
|
|
11:00am - 12:30pm |
|
|
1:30pm - 3:30pm |
|
|
Acknowledgments:
Some of our works have been partially supported by research grants from Agency of Science Technology and Research (A*STAR) Singapore.