TY - GEN
T1 - Non-local choice and beyond : intricacies of MSC choice nodes
AU - Mooij, A.J.
AU - Goga, N.
AU - Romijn, J.M.T.
PY - 2005
Y1 - 2005
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-540-31984-9_21
DO - 10.1007/978-3-540-31984-9_21
M3 - Conference contribution
SN - 3-540-25420-X
T3 - Lecture Notes in Computer Science
SP - 273
EP - 288
BT - Fundamental Approaches to Software Engineering (Proceedings 8th International Conference, FASE'05, Edinburgh, Scotland, April 2-10, 2005)
A2 - Cerioli, M.
PB - Springer
CY - Berlin
ER -