Evolving algebras 1993: Lipari guide
Specification and validation methods
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Enriching OCL Using Observational Mu-Calculus
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Inference of Message Sequence Charts
IEEE Transactions on Software Engineering
Semantics of interactions in UML 2.0
HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
Formal Semantics of OCL Messages
Electronic Notes in Theoretical Computer Science (ENTCS)
Capturing overlapping, triggered, and preemptive collaborations using MSCs
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Modelling concurrent interactions
Theoretical Computer Science - Algebraic methodology and software technology
Hi-index | 0.00 |
Sequence diagrams in UML 2.0 have been considerably extended, partially influenced by variants of Message Sequence Charts (MSCs) and Live Sequence Charts (LSCs). However, sequence diagrams cannot satisfactorily express liveness/progress properties or differentiate between necessary and possible behaviour. To address this limitation, we propose to use an OCL template for liveness and enrich sequence diagrams with constraints as needed. We argue that our extended sequence diagrams are more expressive than LSCs. Further, if automatic code generation from inter-object behaviour specifications is feasible it will lead to more realistic solutions. Additionally, we discuss several problems and ambiguities in sequence diagrams as defined in the UML 2.0 superstructure specification. We discuss directions for future work.