Improving the definition of UML

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4199 LNCS, Issue , 2006, Pages 42-56

  O'Keefe, Greg ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION TECHNOLOGY; MATHEMATICAL MODELS; SEMANTICS; SYNTACTICS;

FORMALISATION LITERATURE; LANGUAGE DEFINITION; UML;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33750312271     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11880240_4     Document Type: Conference Paper

References (34)

1. ABB+05. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, and Peter H. Schmitt. The KeY tool. Software and System Modeling, 4(1):32-54, 2005.
2. AR02. Egidio Astesiano and Gianna Reggio. An attempt at analysing the consistency problems in the UML from a classical algebraic viewpoint. In WADT, pages 56-81, 2002.
3. Bec01. Bernhard Beckert. A dynamic logic for the formal verification of Java card programs. In Java on Smart Cards: Programming and Security, number 2041 in LNCS, pages 6-24. Springer, 2001.
4. Bel04. Alex E. Bell. Death by UML fever. Queue, 2(1):72-80, 2004.
5. BF98. Jean-Michel Bruel and Robert B. France. Transforming UML models to formal specifications. In Proceedings of the OOPSLA '98 Workshop on Formalising UML, 1998.
6. BH02. Luciano Baresi and Reiko Heckel. Tutorial introduction to graph transformation: A software engineering perspective. In Proceedings of the first International Workshop on Theory and Application of Graph Transformation, pages 402-429, 2002.
7. BKS02. Bernhard Beckert, Uwe Keller, and Peter H. Schmitt. Translating the object constraint language into first-order predicate logic. In Proceedings of VERIFY, Workshop at Federated Logic conferences (FLoC), 2002.
8. Bro87. Frederick P. Brooks, Jr. No silver bullet: Essence and accidents of software engineering. Computer, May 1987.
9. BRST05. Jean Bézivin, Bernhard Rumpe, Andy Schür, and Laurence Tratt. Model transformations in practice workshop, call for papers, web, July 2005. http://sosym.des.kcl.ac.uk/events/mtip05/long.cfp.pdf.
10. Buz95. Tony Buzan. The Mind-Map Book. BBC Books, 2nd edition, 1995.
11. BW02. Achim D. Brucker and Burkhart Wolff. A proposal for a formal OCL semantics in Isabelle/HOL. In V.A Carren no, C. Mu noz, and S. Tahar, editors, TPHOLS 2002, volume 2410 of LNCS, pages 99-114. Springer-Verlag, 2002.
12. DJPV03. Werner Damm, Bernhard Josko, Amir Pnueli, and Angelika Votintseva. Understanding UML: A formal semantics of concurrency and communication in real-time UML. In Formal Methods for Components and Objects, Proceedings &002, volume 2852 of LNCS. Springer, 2003.
13. EHHS00. Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioural diagrams in UML. In Proceedings of UML, volume 1939. LNCS, 2000.
14. EHHS02. Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. Testing the consistency of dynamic uml diagrams. Integrated Design and Process Technology, 2002.
15. HR04. David Harel and Bernhard Rumpe. Meaningful modeling: What's the semantics of "semantics"? Computer, pages 64-72, October 2004.
16. HS05. Brian Henderson-Sellers. UML - the good, the bad or the ugly? perspectives from a panel of experts. Software and System Modeling, 4(1):4-13, 2005.
17. KBC05. Soon-Kyeong Kim, Damian Burger, and David A. Carrington. An MDA approach towards integrating formal and informal modeling languages. In FM, pages 448-464, 2005.
18. KC00. Soon-Kyeong Kim and David A. Carrington. A formal mapping between UML models and object-Z specifications. In Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B, pages 2-21, 2000.
19. Mil06. D. Milicev. On the semantics of associations and association ends in UML. Technical report, University of Belgrade, School of Electrical Engineering, February 2006.
20. MM03. Joaquin Miller and Jishnu Mukerji. MDA guide. Technical report, Object Management Group, 2003. http://www.omg.org/mda.
21. Obj. Object Management Group. Issues for the UML 2 revision task force, web. http://www.omg.org/issues/um12-rtf.html.
22. Obj03. Object Management Group. UML 2.0 infrastructure specification. Technical report, Object Management Group, 2003. http://www.omg.org/ docs/ptc/03-09-15.pdf.
23. Obj05a. Object Management Group. OCL 2.0 specification. Technical report, Object Management Group, 2005. http://www.omg.org/docs/ptc/ 05-06-06.pdf.
24. Obj05b. Object Management Group. Request for proposals: Semantics of a foundational subset for executable UML models, 2005. http://www.omg.org/ docs/ad/05-04-02.pdf.
25. Obj05c. Object Management Group. Unified modeling language: Superstructure. Technical report, Object Management Group, 2005. http://www.omg. org/docs/formal/05-07-04.pdf.
26. Obj06. Object Management Group. Meta object facility (MOF) 2.0 core specification. Technical report, Object Management Group, 2006. http:// www.omg.org/docs/formal/06-01-01.pdf.
27. O'K06. Greg O'Keefe. Dynamic logic for UML consistency. In ECMDA-FA, European Conference on Model Driven Architecture, number 4066 in Lecture Notes in Computer Science, pages 113-127. Springer, 2006. http://rsise.ami.edu.au/~ okeefe/d14uml.pdf.
28. RCA01. Gianna Reggio, Maura Cerioli, and Egidio Astesiano. Towards a rigourous semantics of UML supporting its multiview approach. In H. Hussmann, editor, FASE S001, volume 2029 of LNCS, pages 171-186. Springer, 2001.
29. RW03. Holger Rasch and Heike Wehrheim. Checking consistency in uml diagramms: Classes and state machines. In FMOODS, pages 229-243, 2003.
30. Sel03. Bran Selic. The pragmatics of model-driven development. IEEE Software, 2003.
31. Sel04. Bran V. Selic. On the semantic foundations of standard UML 2.0. In Marco Bernardo and Flavio Corradini, editors, Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, number 3185 in LNCS, 2004.
32. TAKP+04. J. Hooman T. Arons, H. Kugler, A. Pnueli,. and M. van der Zwaag. Deductive verification of UML models in tlpvs. In Proceedings UML, 2004.
33. WB97. Roel Wieringa and Jan Broerson. Minimal transition system semantics for lightweight class and behaviour diagrams. In Manfred Broy, Derek Coleman, Tom S. E. Maibaum, and Bernhard Rumpe, editors, Proceedings PSMT'98 Workshop on Precise Semantics for Modeling Techniques. Technische Universitaet Muenchen, TUM-I9803, April 1997.
34. ZHG05. Paul Ziemann, Karsten Hölscher, and Martin Gogolla, From UML models to graph transformation systems. Elec.tr. Notes Theor. Comput. Sci., 127(4):17-33, 2005.