Message sequence chart

Quality 0.50 · 4 views · Updated 2 months ago

Interaction diagram from the SDL family

title: "Message sequence chart" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["diagrams", "formal-specification-languages", "telephone-exchanges", "unified-modeling-language-diagrams", "software-modeling-language"] description: "Interaction diagram from the SDL family" topic_path: "linguistics" source: "https://en.wikipedia.org/wiki/Message_sequence_chart" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

::summary Interaction diagram from the SDL family ::

::figure[src="https://upload.wikimedia.org/wikipedia/commons/e/e8/Typical_MSC_(Message_Sequence_Chart).png" caption="The diagram shows three entities. At start the phone is disconnected. A user tries to establish a connection. A connection request is sent to the switch and a timer is started. An alternative deals with two possibles responses: 1 - The timer goes off because the switch did not reply and the phone goes back to the disconnected state.2 - The switch grants the connection and the call is established."] ::

A message sequence chart (or MSC) is an interaction diagram from the SDL family standardized by the International Telecommunication Union.

The purpose of recommending MSC (Message Sequence Chart) is to provide a trace language for the specification and description of the communication behaviour of system components and their environment by means of message interchange. Since in MSCs the communication behaviour is presented in a very intuitive and transparent manner, particularly in the graphical representation, the MSC language is easy to learn, use and interpret. In connection with other languages it can be used to support methodologies for system specification, design, simulation, testing, and documentation.

History

The first version of the MSC standard was released on March 12, 1993.

The 1996 version added references, ordering and inlining expressions concepts, and introduced HMSC{{cite web | url=http://www.sdl-forum.org/MSC2000present/sld005.htm | title=HMSC | publisher=sdl-forum.org | accessdate=2009-09-19}} (High-level Message Sequence Charts), which are the way of expressing a sequence of MSCs.

The MSC 2000 version{{cite web |url = http://folk.uio.no/intime/msc2000.pdf |title = MSC 2000 |publisher = Ericsson |author = Øystein Haugen |accessdate = 2009-09-19 |url-status = dead |archiveurl = https://web.archive.org/web/20110607104113/http://folk.uio.no/intime/msc2000.pdf |archivedate = 2011-06-07 | url=http://www.sdl-forum.org/MSC2000present/sld007.htm | title=What is new in MSC 2000 relative to MSC 96. | publisher=sdl-forum.org | accessdate=2009-09-19}}

Latest version has been published in February 2011.

Symbols in MSC

The existing symbols are:

  • MSC head, lifeline, and end: a vertical line with a box at the top, and a box or a cross at the bottom.
  • Instance creation: horizontal dashed arrow to the newly created instance.[[File:Dynamic Process Creation in a Message Sequence Chart.png|thumb|Dynamic process creation in an MSC]]
  • Message exchange: horizontal arrow.
  • Control flow: horizontal arrow with the 'call' prefix, dashed arrow for reply symbol, method and suspension symbols in between. [[File:MSC CallOperation.png|thumb|Call operation in an MSC]]
  • Timers: start, cancel, time out.
  • Time interval: relative and absolute with a dashed vertical arrow. [[File:MSC TimeConstraint.png|thumb|Time constraint in an MSC]]
  • Conditions: usually used to represent a state of the underlying state machine.
  • Action: a box.
  • In-line expressions: alternative composition, sequential composition, exception, optional region, parallel composition, iteration (loop).
  • Reference: reference to another MSC. [[File:MSC Reference.png|thumb|MSC Reference in an MSC]]
  • Data concept: The user can use any data concept, if binding is undefined the default data concept is the one from SDL as defined in Z.121 recommendation.
  • Coregion: a double dashed instance line to describe unordered events.

Symbol extensions

  • SDL-RT has introduced:
    • a semaphore instance representation. [[File:SDL-RT MSC Semaphore.png|thumb|SDL-RT Semaphore extension to MSC]]
    • a save symbol to save messages.

Comparison to UML

UML 2.0 Sequence Diagram is strongly inspired by the ITU-T MSC. Still, for historical reasons, the default basic principles are quite different:

  • Lifelines :* In an MSC, the vertical lines are autonomous execution entities. They usually represent state machines executing in parallel. The state machines need not be on the same computer. :* In a Sequence Diagram, a vertical line is usually an object. The object can be active (in its own thread of execution) or passive (in the execution context of an active object).
  • Arrows :* In an MSC an arrow is usually an asynchronous message sent from one entity to another one. Once the message is sent the sending entity resumes its execution. :* In a Sequence Diagram an arrow is usually understood as an operation call on a class. It is therefore synchronous and the calling entity hangs until the operation returns.

It has been said that MSC has been considered as a candidate for the interaction diagrams in UML.{{cite web | url=http://www.swe.informatik.uni-goettingen.de/publications/towards-harmonization-uml-sequence-diagrams-and-msc | title=Towards a Harmonization of UML-Sequence Diagrams and MSC | year=1999 | publisher=University of Göttingen |author1=Ekkart Rudolph |author2=Jens Grabowski |author3=Peter Graubmann | accessdate=2014-08-25}}

However, proponents of MSC such as Ericsson think that MSC is better than UML 2.0 for modelling large or complex systems.{{cite web | url=http://www.irisa.fr/manifestations/2000/sam2000/SLIDES/Haugen.pdf | title=UML 2.0 vs. SDL/MSC – Ericsson Position Statement | date=June 2000 | publisher=Ericsson | author=Øystein Haugen | accessdate=2009-09-19}}

Live Sequence Charts

David Harel suggested that MSC had shortcomings such as:

  • MSC propose a weak partial ordering semantics that makes it impossible to capture some behavioral requirements,
  • The relationship between the MSC requirements and the executable specification is not clear, and proposed Live Sequence Charts (LSC) as an extension on the MSC standard .{{cite web |url = http://www.comp.nus.edu.sg/~thiagu/public_papers/surveymsc.pdf |title = Message Sequence Charts |date = 2003-04-08 |author = David Harel |accessdate = 2009-09-20 |url-status = dead |archiveurl = https://web.archive.org/web/20060826195305/http://www.comp.nus.edu.sg/~thiagu/public_papers/surveymsc.pdf |archivedate = 2006-08-26 |author-link = David Harel | title=LSCs: Breathing Life into Message Sequence Charts | journal=Formal Methods in System Design | volume=19 | pages=45–80 | date=2005-02-22 | author=David Harel | doi=10.1023/A:1011227529550 | s2cid=1551133 |author-link = David Harel}}{{cite journal | title=Multiple instances and symbolic variables in executable sequence charts | journal=ACM SIGPLAN Notices | volume=37 | issue=11 | pages=83–100 | year=2002 | author=David Harel | doi=10.1145/583854.582429 | citeseerx=10.1.1.20.5984 | author-link=David Harel

References

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::

diagramsformal-specification-languagestelephone-exchangesunified-modeling-language-diagramssoftware-modeling-language