Results 191 to 200 of about 35,955 (232)

Model Checking of Message Sequence Charts

International Conference on Concurrency Theory, 1999
Scenario-based specifications such as message sequence charts (MSC) offer an intuitive and visual way of describing design requirements. Such specifications focus on message exchanges among communicating entities in distributed software systems. Structured specifications such as MSC-graphs and Hierarchical MSC-graphs (HMSC) allow convenient expression ...
Rajeev Alur, Mihalis Yannakakis
openaire   +2 more sources

The standardization of message sequence charts

Proceedings 1993 Software Engineering Standards Symposium, 2002
The most relevant issues of the standardization of the Message Sequence Chart (MSC) language within the CCITT Study Group X are discussed. The history of the new MSC recommendation Z.120 is sketched. Different types of diagrams which are closely related to MSCs are compared, since they build the basis for the MSC language.
J. Grabowski, P. Graubmann, E. Rudolph
openaire   +2 more sources

LLM powered Spatial Enrichment of Message Sequence Charts and its Applications

Expert Systems With Applications
Nitin Ramrakhiyani
exaly   +2 more sources

Conformance Testing from Message Sequence Charts

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation, 2011
Haitao Dan, Robert M Hierons
exaly   +2 more sources

High-level Message Sequence Charts

SDL Forum, 1997
Mauw, S., Reniers, M.A.
openaire   +3 more sources

Extraction of Message Sequence Charts from Narrative History Text

Proceedings of the First Workshop on Narrative Understanding, 2019
In this paper, we advocate the use of Message Sequence Chart (MSC) as a knowledge representation to capture and visualize multi-actor interactions and their temporal ordering. We propose algorithms to automatically extract an MSC from a history narrative.
Girish Keshav Palshikar, Sachin Sharad Pawar, Sangameshwar Patil, Swapnil Hingmire, Nitin Ramrakhiyani, Harsimran Bedi, P. Bhattacharyya, Vasudeva Varma   +7 more
semanticscholar   +1 more source

Tutorial on Message Sequence Charts

Computer Networks and ISDN Systems, 1996
Abstract An introduction to the ITU standard language Message Sequence Chart (MSC) is provided. It is pointed out that MSC in many respects is complementary to the ITU specification and design language SDL. MSC in combination with SDL or other languages, now plays a role in nearly all stages of the system development process.
Ekkart Rudolph, Peter Graubmann, Jens Grabowski   +2 more
openaire   +1 more source

The Theory of Message Sequence Charts

Modern Applications of Automata Theory, 2012
K. N. Kumar
openaire   +2 more sources

Extraction of Message Sequence Charts from Software Use-Case Descriptions

North American Chapter of the Association for Computational Linguistics, 2019
Software Requirement Specification documents provide natural language descriptions of the core functional requirements as a set of use-cases. Essentially, each use-case contains a set of actors and sequences of steps describing the interactions among ...
Girish Keshav Palshikar, Nitin Ramrakhiyani, Sangameshwar Patil, Sachin Sharad Pawar, Swapnil Hingmire, Vasudeva Varma, P. Bhattacharyya   +6 more
semanticscholar   +1 more source

Message Sequence Charts: A Survey

Fifth International Conference on Application of Concurrency to System Design (ACSD'05), 2006
Message sequence charts (MSC) are a graphical notation standardized by the ITU and used for the description of communication scenarios between asynchronous processes. This talk concerns the formal analysis of MSC-based specifications in relation with communicating finite-state machines. We discuss two basic validation problems about MSCs specifications,
Blaise Genest, Anca Muscholl
openaire   +1 more source