Results 201 to 210 of about 35,955 (232)
Some of the next articles are maybe not open access.
2004
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.
Blaise Genest +2 more
openaire +1 more source
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.
Blaise Genest +2 more
openaire +1 more source
Provable Coordination for LLM Agents via Message Sequence Charts
arXiv.orgMulti-agent systems built on large language models (LLMs) are difficult to reason about. Coordination errors such as deadlocks or type-mismatched messages are often hard to detect through testing.
Benedikt Bollig +2 more
semanticscholar +1 more source
Semantics of Timed Message Sequence Charts
Cybernetics and Systems Analysis, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Letichevskii, A. A. +4 more
openaire +2 more sources
Dynamic Message Sequence Charts
2002We introduce a formalism to specify classes of MSCs over an unbounded number of processes. The formalism can describe many interesting behaviours of dynamically changing networks of processes. Moreover, it strictly includes the formalism of Message Sequence Graphs studied in the literature to describe MSCs over a fixed finite set of processes. Our main
Martin Leucker +2 more
openaire +1 more source
An interactive visualization for message sequence charts
WPC '96. 4th Workshop on Program Comprehension, 2002Message sequence charts (MSCs) are one widespread method for understanding interactions between components within complex systems. Although the language for MSCs is standardized, techniques for displaying them are far from standard and the current test and typographic based methods do not scale to industrial sized MSCs.
Stephen G. Eick, Amy Wards
openaire +1 more source
The essence of message sequence charts
Proceedings International Symposium on Multimedia Software Engineering, 2002Message sequence charts (MSCs) are a technique to describe patterns of interaction between the components of interactive distributed systems by specific diagrams. In this paper, we suggest a semantic model for MSCs in terms of stream processing functions.
openaire +1 more source
Semantics of Message Sequence Charts
2005The language of MSC diagrams is widely used for the specification of communicating systems, the design of software and hardware for real time and reactive systems, and other industrial applications. Often it is used as an abstraction of systems specified in SDL or UML (in the form of sequence diagrams).
Alexander A. Letichevsky +5 more
openaire +1 more source
Instantiation Semantics for Message Sequence Charts
2006 Seventh Mexican International Conference on Computer Science, 2006Message Sequence Charts (MSCs) is a standardized visual notation for expressing requirements in communicating systems. MSCs are commonly used to specify scenarios describing message exchange among entities such as objects, components, systems, etc.
Gerardo Padilla +3 more
openaire +1 more source
A toolset for message sequence charts
1998Message Sequence Charts (MSCs) are a popular graphical notation for describing communication protocols. MSCs enjoy an international standard (ITU-Z120) and a growing number of tools include an MSC interface for either displaying simulation or verification results, or testing the inclusion of a particular scenario in the design.
openaire +1 more source
Deciding Properties of Message Sequence Charts
2005Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also included, in a slightly different form, in the popular UML standard (called there sequence diagrams).
Anca Muscholl, Doron A. Peled
openaire +1 more source