A formal semantics of UML sequence diagram

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn 2004, Issue , 2004, Pages 168-177

  Li, Xiaoshan ^a   Liu, Zhiming ^b,c   Jifeng, He ^c  

^a UNIVERSITY OF MACAU   (Macao)

^b UNITED NATIONS UNIVERSITY   (Macao)

^c UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

Consistency; Semantics; Sequence diagram; UML

Indexed keywords

CONSISTENCY; SEQUENCE DIAGRAM; UNIFIED MODELING LANGUAGE (UML);

COMPUTER AIDED DESIGN; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; HIGH LEVEL LANGUAGES; MATHEMATICAL MODELS; SYSTEM PROGRAM DOCUMENTATION; SYSTEMS ANALYSIS;

SEMANTICS;

EID: 2942560397     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. N. Aguirre and T. Maibaum. A temporal logic approach to component-based system specification and verification. In Proc. ICSE'02, 2002.
2. D. B. Aredo. Semantics of uml sequence diagram in pvs. In online Proc. of UML2000 Workshop on Dynamic Behavior in UML models: Semantic Questions. York, UK, October 2000.
3. S. Bennett, S. McRobb, and R. Farmer. Object-Oriented Systems Analysis and Design using UML, (2nd edition). McGraw Hill, 2002.
4. S. Bennett, J. Skelton, and K. Lunn. Schaum's Outline of UML. Mc-Graw Hill, 2001.
5. B.Litvak, S. Tyszberowicz, and A. Yehudai. Behavioural consistent validation of uml diagrams. In Proc. 1st IEEE International Conference on Software Engineering and Formal Methods (SEFM), pages 118-125. IEEE Computer Society, 2003.
6. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modelling Language User Guide. Addison-Wesley, 1999.
7. R. Breu, R. Grosu, C. Hofmann, and et al. Exemplary and complete object interaction descriptions. In Computer Standards and Interfaces: 19(1998), pages 335-345, 1998.
8. A. Evants, R. France, K. Lano, and B. Rumpe. Developing the UML as a formal modeling notation. In Computer Standards and Interfaces: Special Issues on Formal Development Techniques, 1998.
9. R. H. G. Engels and J. Kuster. The consistency workbench: a tool for consistency management in uml-base development. In J. W. P. Stevens and G.Booch, editors, The Proceedings of UML 2003 in LNCS 2865, pages 356-359. Springer-Verlag, October 2003.
10. J. He, Z. Liu, and X. Li. Towards a refinement calculus for object-oriented systems. In Proc. of 1st IEEE International Conference on cognitive Informatics (ICCI02), pages 69-76, Alberta, Canada, 2002. IEEE Computer Scociety.
11. J. He, Z. Liu, and X. Li. Modeling object-oriented programming with reference type and dynamic binding. Technical Report UNU/IIST Report No 279, UNU/IIST, P.O. Box 3058, Macau, May 2003.
12. C. Hoare and J. He. Unifying theories of programming. Prentice-Hall International, 1998.
13. C. Lang and et al. An impirical investigation in quantifying inconsistency and incompleteness of UML designs. http://www.ipd..pdh..se/ consistencyUML/, 2003.
14. C. Larman. Applying UML and Patterns. Prentice-Hall International, 2001.
15. J. Liu, Z. Liu, J. He, and X. Li. Linking UML models of design and requirement, In Pro. of Australian Software Engineering Conference (ASWEC'2004), Melbourne, Australia. IEEE Computer Sciety.
16. Z. Liu, J. He, X. Li, and Y. Chen. A relational model for formal object-oriented requirement analysis in uml. In J. Dong and J. Woodcock, editors, Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods(ICFEM2003), in LNCS 2885, pages 640-664, Singapore, 2003. Springer-Verlag.
17. Z. Liu, X. Li, and J. He. Using transition systems to unify uml models. In C. George, editor, The Proceedings of 4th International Conference on Formal Engineering Methods (ICFEM2002), in LNCS 2495, pages 535-547, Shanghai, China, October 2002. Springer-Verlag.
18. Z. Mana and A. Pnueli. The temporal framework for concurrent programs. In R. Boyer and J. Moore, editors, The Correctness Problem in Computer Science, pages 215-274. Academic Press, 1981.
19. OMG. Unified Modelling Language Specification, version 2.0. Object Management Group, URL: http://www.omg.org/technology/documents/, 2003.
20. R. Paige, J. Ostroff, and P. Brooke. Checking the consistency of collaboration and class diagram using pvs. In Proc of Fourth Workshop on Rigorous Object-Oriented Methods(ROOM4), London, England. British Computer Society, 2002.
21. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modelling Language Reference Manual. Addison-Wesley, 1999.
22. A. Tsiolakis. Integrating model information in uml sequence diagrams. In Electronic Notes in Theoretical Computer Science. URL http://www.elsevier.nl/ locate/entcs, 2001.