Results 1 to 10 of about 35,856 (133)
Triggered message sequence charts [PDF]
Software Engineering Notes: an Informal Newsletter of the Special Interest Committee on Software Engineering / ACM, 2002 We propose an extension to Message Sequence Charts called Triggered Message Sequence Charts (TMSCs) that are intended to capture system specifications involving nondeterminism in the form of conditional scenarios. The visual syntax of TMSCs closely resembles that of MSCs; the semantics allows
Bikram Sengupta
exaly +3 more sources
A framework for pathologies of message sequence charts [PDF]
Information and Software Technology, 2012 Context: It is known that a Message Sequence Chart (MSC) specification can contain different types of pathology. However, definitions of different types of pathology and the problems caused by pathologies are unclear, let alone the relationships between them.
Haitao Dan +2 more
exaly +5 more sources
Труды Института системного программирования РАН, 2018 The language of message sequence charts (MSC) is a popular scenario-based specification language used to describe the interaction of components in distributed systems. However, the methods for validation of MSC diagrams are underdeveloped.
S. A. Chernenok, V. A. Nepomniaschy
doaj +2 more sources
LSCs: Breathing Life into Message Sequence Charts [PDF]
Formal Methods in System Design, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Werner Damm, David Harel
openaire +2 more sources
Distributed implementation of message sequence charts
Software & Systems Modeling, 2013 This work revisits the problem of program synthesis from specifications described by high-level message sequence charts. We first show that in the general case, synthesis by a simple projection on each component of the system allows more behaviors in the implementation than in the specification. We then show that differences arise from loss of ordering
Abdallah, Rouwaida +2 more
openaire +5 more sources
Symbolic Message Sequence Charts
ACM Transactions on Software Engineering and Methodology, 2007 Message sequence charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an interaction snippet between concrete objects in the system.
Abhik Roychoudhury +2 more
openaire +3 more sources
An analyzer for message sequence charts [PDF]
Softw. Concepts Tools, 1996 Message sequence charts (MSCs) are used in the design phase of a distributed system to record intended system behaviors. They serve as informal documentation of design requirements that are referred to throughout the design process and even in the final system integration and acceptance testing.
Rajeev Alur +2 more
openaire +2 more sources
Inference of message sequence charts
Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium, 2000 Software designers draw message sequence charts for early modeling of the individual behaviors they expect from the concurrent system under design. Can they be sure that precisely the behaviors they have described are realizable by some implementation of the components of the concurrent system?
Rajeev Alur +2 more
openaire +2 more sources
Specification and Verification of Message Sequence Charts [PDF]
IFIP Advances in Information and Communication Technology, 2000 The use of message sequence charts (MSCs) is popular in designing and documenting communication protocols. A recent surge of interest in MSCs has led to various algorithms for their automatic analysis, e.g., finding race conditions. In this paper we adopt a causality based temporal logic to specify properties of MSCs. This alleviates some problems that
Peled Doron
exaly +2 more sources
Deciding properties for message sequence charts [PDF]
Foundations of Software Science and Computation Structure, 1998 Message sequence charts (MSC) are commonly used in designing communication systems. They allow describing the communication skeleton of a system and can be used for finding design errors. First, a specification formalism that is based on MSC graphs, combining finite message sequence charts, is presented.
Anca Muscholl +2 more
openaire +2 more sources