Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Weak Sequential Composition in Process Algebras
CONCUR '94 Proceedings of the Concurrency Theory
LSCs: Breathing Life into Message Sequence Charts
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Verification of Embedded Software: Problems and Perspectives
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Comparing UML 2.0 interactions and MSC-2000
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Hi-index | 0.00 |
This paper discusses how MSC-2000 could influence the Sequence Diagrams within UML 2.0, and why the UML 1.x semantics is partly inadequate for what is needed in the area of sequence charts. Extracts of a possible UML meta-model is shown and this can be understood as a conceptual model for MSC-2000 as well and an indication of an approach to the future MSC-2000 semantics. UML Collaboration Diagrams have no direct counterpart in SDL/MSC and the difference between sequence diagrams and collaboration diagrams is analyzed.