Message sequence chart: Difference between revisions

Revision as of 18:18, 5 August 2012

Revision as of 12:45, 12 October 2012

Line 5:

==History==

The first version of the MSC standard was released in 1992.<ref>{{cite web

| url=http://www.sdl-forum.org/MSC2000present/sld006.htm

| title=The history of MSC

| publisher=sdl-forum.org

| accessdate=2009-09-19}}</ref>.

The 1996 version added references, ordering and [[Inline expansion|inlining]] expressions concepts, and introduced HMSC<ref>{{cite web

Line 22:

| publisher=[[Ericsson]]

| author=Øystein Haugen

| accessdate=2009-09-19}}</ref> added object orientation, refined the use of data and time in diagrams, and added the concept of remote method calls.<ref>{{cite web

| 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}}</ref>.

==Comparison to UML==

It has been said that MSC has been considered as a candidate for the [[Unified Modeling Language#Interaction diagrams|interaction diagrams]] in UML.<ref>{{cite web

| url=http://www.swe.informatik.uni-goettingen.de/publications/ER_JG_PG/SDL99-Harmonization.ps.gz

| title=Towards a Harmonization of UML-Sequence Diagrams and MSC

Line 35:

| publisher=[[University of Göttingen]]

| author=Ekkart Rudolph, Jens Grabowski, Peter Graubmann

| accessdate=2009-09-20}}</ref>.

However, proponents of MSC such as [[Ericsson]] think that MSC is better than [[Unified Modeling Language|UML 2.0]] for modelling large or complex systems.<ref>{{cite web

| url=http://www.irisa.fr/manifestations/2000/sam2000/SLIDES/Haugen.pdf

| title=UML 2.0 vs. SDL/MSC – Ericsson Position Statement

Line 43:

| publisher=[[Ericsson]]

| author=Øystein Haugen

| accessdate=2009-09-19}}</ref>.

==Live Sequence Charts==

Line 49:

* MSC propose a weak [[Partially ordered set|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.

To address what he sees as weaknesses in the MSC model, David Harel proposed an extension on the MSC standard called '''LSC''' ('''L'''ive '''S'''equence '''C'''harts).<ref>{{cite web

| url=http://www.comp.nus.edu.sg/~thiagu/public_papers/surveymsc.pdf

| title=Message Sequence Charts

Line 63:

| url=http://portal.acm.org/citation.cfm?id=582429

| title=Multiple instances and symbolic variables in executable sequence charts

| dateyear=2002

| publisher=[[Association for Computing Machinery]]

| author=[[David Harel]]

| accessdate=2009-09-20}}</ref>.

==Tools==

Line 73:

*[http://sourceforge.net/projects/msc-generator/ MscGenerator] - Advanced version of MscGen, designed for telecom message flows.

*[http://websequencediagrams.com/ Web-based MSC Generator]

*[http://code.google.com/p/msc2svg/ Msc2Svg – Generates charts as SVG from a simple text description file]

*[http://www.eventhelix.com/eventstudio/ EventStudio – Message sequence chart generation tool]

*[http://www.doc.ic.ac.uk/ltsa/ LTSA] – Supports the drawing and subsequent [[Formal verification|automated verification]] of message sequence charts.

Line 92:

<references/>

{{Soft-eng-stub}}

{{telecomm-stub}}

[[Category:Diagrams]]

Line 100 ⟶ 97:

[[Category:Telephone exchanges]]

[[Category:Unified Modeling Language diagrams]]

{{Soft-eng-stub}}

{{telecomm-stub}}

[[de:Message Sequence Chart]]