IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Detecting implied scenarios in message sequence chart specifications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A hierarchy of communication models for message sequence charts
Science of Computer Programming
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Delayed choice: an operator for joining Message Sequence Charts
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Compositional Message Sequence Charts
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Beyond Message Sequence Graphs
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
Some Pathological Message Sequence Charts, and How to Detect Them
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Constraint-Oriented Specification in a Constructive Formal Description Technique
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Realizability of high-level message sequence charts: closing the gaps
Theoretical Computer Science
Detecting implied scenarios analyzing non-local branching choices
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Dealing with non-local choice in IEEE 1073.2's standard for remote control
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Testing Systems Specified as Partial Order Input/Output Automata
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Strong safe realizability of message sequence chart specifications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
The many meanings of UML 2 Sequence Diagrams: a survey
Software and Systems Modeling (SoSyM)
Realizability criteria for compositional MSC
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
A framework for pathologies of message sequence charts
Information and Software Technology
On the realizability of collaborative services
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The best-studied cause is non-local choice, which e.g. is unavoidable in systems with autonomous processes. In this paper we characterize two additional problematic classes of choice nodes. Based on these three classes we point out some errors in related work. Extending our work on pragmatic implementations of non-local choice, we motivate a different choice semantics which allows a little more behavior. Finally, inspired by practical case studies, we present the first implementation approach for non-local choice nodes that can handle arbitrary numbers of processes.