Inference of message sequence charts
Proceedings of the 22nd international conference on Software engineering
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
An Algebraic Semantics for Message Sequence Chart Documents
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
From Finite State Communication Protocols to High-Level Message Sequence Charts
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Compositional Message Sequence Charts
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Synthesis of Open Reactive Systems from Scenario-Based Specifications
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Applying Design Metrics to a Large-Scale Software System
ISSRE '98 Proceedings of the The Ninth International Symposium on Software Reliability Engineering
Automatic generation of conformance tests from message sequence charts
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Lazy buffer semantics for partial order scenarios
Automated Software Engineering
Race conditions in message sequence charts
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Branching time semantics for UML 2.0 sequence diagrams
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Hi-index | 0.00 |
Scenario based requirements specifications are the industry norm for defining communication protocols. Basic scenarios captured as UML sequence diagrams, Message Sequence Charts (MSCs) or Live Sequence Charts (LSC) have partial order semantics that characterize system traces by restricting the possible order of events within those traces. The semantic partial order of the scenario specification is called the causal ordering. Semantic inconsistencies often occur in partial order scenarios between the specified causal ordering and the order that events can occur in practice. Such inconsistencies are known as race conditions. The paper proves that there is a unique race free partial order that is a minimal weakening of the causal ordering. In other words, there is a canonical generalization of the requirements that corrects all race conditions. Hence any race free generalization of the original scenario is in fact a generalization of the canonical scenario. The paper also proves the dual result, there is a unique race free partial order that is a minimal strengthening of the causal order. I.e. there is a canonical refinement of the requirements that corrects all race conditions.