Combining Sequence Diagrams and OCL for Liveness

Electronic Notes in Theoretical Computer Science

Volumn 115, Issue SPEC. ISS., 2005, Pages 19-38

  Cavarra, Alessandra ^a   Küster Filipe, Juliana ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Liveness; OCL 2.0; Sequence Diagrams; UML 2.0

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING; COMPUTER SCIENCE; COMPUTER SOFTWARE; CONSTRAINT THEORY; ENGINEERS; MATHEMATICAL MODELS;

LIVENESS; OCL 2.0; SEQUENCE DIAGRAMS; UML 2.0;

PHASE DIAGRAMS;

EID: 12344284141     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.09.025     Document Type: Conference Paper

References (16)

1. R. Alur, K. Etessami, and M. Yannakakis Inference of message sequence charts IEEE Transactions on Software Engineering 29 7 July 2003 623 633
2. J. Bradfield, J. Küster-Filipe, and P. Stevens Enriching OCL using observational mu-calculus R.-D. Kutsche H. Weber Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering (FASE), Grenoble, France, April 2002 LNCS volume 2306 2002 Springer 203 217
3. A. Cavarra, C. Crichton, and J. Davies A method for the automatic generation of test suites from object models Information and Software Technology 46 5 April 2004 309 314
4. A. Cavarra, and J. Küster-Filipe Formalizing liveness enriched sequence diagrams using ASMs Proceedings of the 11th International Workshop on Abstract State Machines (ASM 2004), Halle (Saale), Germany, 24-28 May 2004 LNCS 2004 Springer To appear
5. W. Damm, and D. Harel LSCs: Breathing life into message sequence charts Formal Methods in System Design 19 1 2001 45 80
6. S. Flake, and W. Müller Formal semantics of OCL messages Proceedings of the UML'2003 Workshop on OCL 2.0 - Industry standard or scientific playground? San Francisco, USA, 21st October 2003 ENTCS 2004 Elsevier. To appear
7. Y. Gurevich Specification and validation methods E. Börger Evolving Algebras 1993: Lipari Guide 1995 Oxford University Press 9 36
8. D. Harel, and H. Kugler Synthesizing state-based object systems from LSC specifications International Journal of Foundations of Computer Science 13 1 2002 5 51
9. D. Harel, and R. Marelly Come, Let's Play: Scenario-based Programming Using LSCs and the Play-Engine 2003 Springer
10. Ø. Haugen, and K. Stølen STAIRS - Steps to analyze interactions with refinement semantics P. Stevens J. Whittle G. Booch Proceedings of UML 2003 LNCS volume 2863 2003 Springer 388 402
11. I. Krüger Capturing overlapping, triggered, and preemptive collaborations using MSCs M. Pezzè Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE) LNCS volume 2621 2003 Springer 387 402
12. I. Krüger, R. Grosu, P. Scholz, and M. Broy From MSCs to Statecharts F. Rammig Proceedings of Distributed and Parallel Embedded Systems (DIPES'98) 1999 Kluwer Academic Publishers
13. OMG UML 2.0 OCL Specification, Version 1.6. OMG document ad/03-01-07 available from www.uml.org August 2003
14. OMG UML 2.0 Superstructure Draft Adopted Specification. OMG document ptc/03-08-02 available from www.uml.org August 2003
15. H. Störrle Semantics of interactions in UML 2.0 Proceedings of IEEE Symposium on Human Centric Computing Languages and Environments Auckland, New Zealand, 28-31 October 2003 2003 IEEE Computer Society Press
16. ITU-TS Recommendation Z. 120. Message Sequence Chart (MSC). ITU-TS, Geneva, 1996