Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,378,382 papers from all fields of science
Search
Sign In
Create Free Account
Message sequence chart
Known as:
MSC
A message sequence chart (or MSC) is an interaction diagram from the SDL family standardized by the International Telecommunication Union. The…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Formal verification
Inline expansion
LaTeX
Microsoft Visio
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Distributed implementation of message sequence charts
Rouwaida Abdallah
,
L. Hélouët
,
C. Jard
Journal of Software and Systems Modeling
2013
Corpus ID: 3513533
This work revisits the problem of program synthesis from specifications described by high-level message sequence charts. We first…
Expand
2012
2012
Symbolic Message Sequence Charts
Abhik Roychoudhury
,
Ankit Goel
,
Bikram Sengupta
TSEM
2012
Corpus ID: 6752772
Message sequence charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive…
Expand
2011
2011
Conformance Testing from Message Sequence Charts
Haitao Dan
,
R. Hierons
Fourth IEEE International Conference on Software…
2011
Corpus ID: 11875889
There are several industries in which Message Sequence Charts (MSCs) and the corresponding UML notation (Sequence Diagrams) are…
Expand
Review
2010
Review
2010
From Textual Scenarios to Message Sequence Charts
L. Kof
2010
Corpus ID: 18980665
Requirements engineering, the first phase of any software development project, is the Achilles’ heel of the whole development…
Expand
Review
2005
Review
2005
Message sequence charts: a survey
B. Genest
,
A. Muscholl
International Conference on Application of…
2005
Corpus ID: 5641740
Message sequence charts (MSC) are a graphical notation standardized by the ITU and used for the description of communication…
Expand
Highly Cited
2002
Highly Cited
2002
Triggered message sequence charts
Bikram Sengupta
,
R. Cleaveland
SIGSOFT '02/FSE-10
2002
Corpus ID: 2925863
We propose an extension to Message Sequence Charts called Triggered Message Sequence Charts (TMSCs) that are intended to capture…
Expand
2002
2002
Recognizable Sets of Message Sequence Charts
R. Morin
Symposium on Theoretical Aspects of Computer…
2002
Corpus ID: 2147040
High-level Message Sequence Charts are a well-established formalism to specify scenarios of communications in telecommunication…
Expand
Highly Cited
2000
Highly Cited
2000
Regular Collections of Message Sequence Charts
J. Henriksen
,
Madhavan Mukund
,
K. Narayan Kumar
,
P. Thiagarajan
International Symposium on Mathematical…
2000
Corpus ID: 1755265
Message Sequence Charts (MSCs) are an attractive visual formalism used during the early stages of design in domains such as…
Expand
2000
2000
The essence of message sequence charts
M. Broy
Proceedings International Symposium on Multimedia…
2000
Corpus ID: 41419228
Message sequence charts (MSCs) are a technique to describe patterns of interaction between the components of interactive…
Expand
1998
1998
Synthesizing software architecture descriptions from Message Sequence Chart specifications
S. Leue
,
L. Mehrmann
,
M. Mousavi
Proceedings 13th IEEE International Conference on…
1998
Corpus ID: 37051744
Message Sequence Chart (MSC) specifications have found their way into many software engineering methodologies and CASE tools, in…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE