Message sequence charts

Biaise Genest; Anca Muscholl; Doron Peled

doi:10.1007/978-3-540-27755-2_15

Message sequence charts

Biaise Genest
, Anca Muscholl
, Doron Peled

Research output: Contribution to journal › Article › peer-review

21 Scopus citations

Abstract

Message sequence charts (MSC) are a graphical notation standardized by the ITU and used for the description of communication scenarios between asynchronous processes. This survey compares MSCs and communicating finite-state automata, presenting two fundamental validation problems on MSCs, model-checking and implementability.

Original language	English
Pages (from-to)	537-558
Number of pages	22
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3098
DOIs	https://doi.org/10.1007/978-3-540-27755-2_15
State	Published - 2004
Externally published	Yes

Access to Document

10.1007/978-3-540-27755-2_15

Cite this

@article{045a6dbe9119408b8afd649ae3e24068,

title = "Message sequence charts",

abstract = "Message sequence charts (MSC) are a graphical notation standardized by the ITU and used for the description of communication scenarios between asynchronous processes. This survey compares MSCs and communicating finite-state automata, presenting two fundamental validation problems on MSCs, model-checking and implementability.",

author = "Biaise Genest and Anca Muscholl and Doron Peled",

year = "2004",

doi = "10.1007/978-3-540-27755-2\_15",

language = "אנגלית",

volume = "3098",

pages = "537--558",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - Message sequence charts

AU - Genest, Biaise

AU - Muscholl, Anca

AU - Peled, Doron

PY - 2004

Y1 - 2004

N2 - Message sequence charts (MSC) are a graphical notation standardized by the ITU and used for the description of communication scenarios between asynchronous processes. This survey compares MSCs and communicating finite-state automata, presenting two fundamental validation problems on MSCs, model-checking and implementability.

AB - Message sequence charts (MSC) are a graphical notation standardized by the ITU and used for the description of communication scenarios between asynchronous processes. This survey compares MSCs and communicating finite-state automata, presenting two fundamental validation problems on MSCs, model-checking and implementability.

UR - https://www.scopus.com/pages/publications/35048891501

U2 - 10.1007/978-3-540-27755-2_15

DO - 10.1007/978-3-540-27755-2_15

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:35048891501

SN - 0302-9743

VL - 3098

SP - 537

EP - 558

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -

Message sequence charts

Abstract

Access to Document

Other files and links

Fingerprint

Cite this