Download:
|
by Ekkart Rudolph, Jens Grabowski, Peter Graubmann
http://www.itm.mu-luebeck.de/publications/MSC96/dis-tutorial.ps.gz
Add To MetaCart
Abstract:
MSC is a trace language which in its graphical form admits a particularly intuitive representation of system runs in distributed systems while focusing on the message interchange between communicating entities and their environment. For the first time the MSC recommendation Z.120 (MSC'92) was approved at the ITU meeting Geneva 1992. A new revised MSC recommendation Z.120 (MSC'96) was approved at the closing session of the last study period in April 1996. Whereas in MSC'92 main emphasis was put on the elaboration of basic concepts and a corresponding formal semantics, in the new MSC version-MSC'96- structural language constructs, essentially composition and object oriented concepts, play a dominant role. With these new concepts, the power of MSC is enhanced considerably in order to overcome the traditional restriction to the specification of only a few selected system runs. Within the tutorial, the use of MSC is demonstrated by means of the ISDN supplementary service 'Completion of Calls to Busy Subscriber (CCBS)'. 1
Citations
|
751
|
Object-Oriented Software Engineering: A Use Case Driven Approach
– Jacobson
- 1993
|
|
137
|
An analyzer for message sequence charts
– Alur, Holzmann, et al.
- 1996
|
|
68
|
A system of patterns
– Buschmann, Meunier, et al.
- 1996
|
|
68
|
Tutorial on Message Sequence Charts
– Rudolph, Graubmann, et al.
- 1996
|
|
67
|
Reniers. An algebraic semantics of basic message sequence charts
– Mauw, A
- 1994
|
|
50
|
Test case generation with test purpose specification by MSCs
– Grabowski, Hogrefe, et al.
- 1993
|
|
31
|
Towards a Petri net based semantics definition for Message Sequence Charts
– Grabowski, Graubmann, et al.
- 1993
|
|
24
|
Introduction to Message Sequence Chart
– Reniers
|
|
21
|
Formalizing Use Cases with Message Sequence Charts
– Andersson, Bergstrand
- 1995
|
|
10
|
Putting Extended Sequence Charts to Practice
– Grabowski, Rudolph
- 1989
|
|
9
|
Message Sequence Chart: Composition Techniques versus OO-Techniques - 'Tema con Variazioni
– Rudolph, Graubmann, et al.
- 1995
|
|
8
|
Towards an SDL-Design-Methodology Using Sequence Chart Segments
– Grabowski, Graubmann, et al.
- 1991
|
|
6
|
Using MSC-92 effectively
– Haugen
- 1995
|
|
3
|
Interpretation und Werkzeugunterstutzung von Message Sequence Charts (MSC'96
– Loidl
- 1996
|
|
2
|
Unified Method for Object-Oriented Development. Rational
– Booch, Rumbaugh
- 1996
|
|
2
|
Integrated Services Digital Network (ISDN); Completion of Calls to Busy Subscriber (CCBS) supplementary service
– ETS
- 1995
|
|
2
|
ISDN (second edition
– Kessler
- 1993
|
|
2
|
SDL Methodology Guidelines. Appendix I to Z.100
– I
- 1993
|
|
2
|
Message Sequence Chart Algebraic Semantics
– B
- 1995
|
