The UML as a formal modeling notation

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

Volumn 1618, Issue , 1999, Pages 336-348

  Evans, Andy ^a   France, Robert ^b   Lano, Kevin ^c   Rumpe, Bernhard ^d  

^a UNIVERSITY OF BRADFORD   (United Kingdom)

^b FLORIDA ATLANTIC UNIVERSITY   (United States)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

^d TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

CLASS DIAGRAMS; DE FACTO STANDARD; FORMAL MODELLING; FORMAL SPECIFICATION TECHNIQUES; GAIN INSIGHT; SEMANTIC MODEL; TRANSFORMATION RULES; UML NOTATION;

UNIFIED MODELING LANGUAGE;

EID: 84957592686     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-48480-6_26     Document Type: Conference Paper

References (20)

1. Robert H. Bourdeau and Betty H.C. Cheng. A formal semantics for object model diagrams. IEEE Transactions on Software Engineering, 21(10):799–821, October 1995.
2. Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, and Veronika Thurner. Towards a formalization of the unified modeling language. In Satoshi Matsuoka Mehmet Aksit, editor, ECOOP’97 Proceedings. Springer Verlag, LNCS 1241, 1997.
3. J. Bicarregui, K. Lano, and T. Maibaum. Objects, associations and subsystems: A hierarchical approach to encapsulation. In Proceedings of ECOOP 97, LNCS 1489. Springer-Verlag, 1997.
4. Derek Coleman, Patrick Arnold, Stephanie Bodoff, Chris Dollin, Helena Gilchrist, Fiona Hayes, and Paul Jeremaes. Object-Oriented Development: The Fusion Method. Prentice Hall, Englewood Cliffs, NJ, Object-Oriented Series edition, 1994.
5. Steve Cook and John Daniels. Designing Object Systems: Object-Oriented Modeling with Syntropy. Prentice Hall, Englewood Cliffs, NJ, September 1994.
6. Steve Cook.John Daniels. Let’s get formal. Journal of Object-Oriented Programming (JOOP), pages 22–24 and 64–66, July–August 1994.
7. Roger Duke, Paul King, Gordon A. Rose, and Graeme Smith. The Object-Z specification language. In Timothy D. Korson, Vijay K. Vaishnavi, and Bertrand Meyer, editors, Technology of Object-Oriented Languages and Systems: TOOLS 5, pages 465–483. Prentice Hall, 1991.
8. Andy Evans. Reasoning with UML class diagrams. In WIFT’98 Proceedings. IEEE, 1998.
9. Robert B. France, Jean-Michel Bruel, and Maria M. Larrondo-Petrie. An Integrated Object-Oriented and Formal Modeling Environment. To appear in the Journal of Object-Oriented Programming (JOOP), 1997.
10. Robert France, Andy Evans, Kevin Lano, and Bernhard Rumpe. The UML as a formal modeling notation. Computer Standards & Interfaces, to appear, 1998.
11. The UML Group. UML Metamodel. Version 1.1, Rational Software Corporation, Santa Clara, CA-95051, USA, September 1997.
12. The UML Group. UML Semantics. Version 1.1, Rational Software Corporation, Santa Clara, CA-95051, USA, July 1997.
13. The UML Group. Unified Modeling Language. Version 1.1, Rational Software Corporation, Santa Clara, CA-95051, USA, July 1997.
14. J. Anthony Hall. Using Z as a specification calculus for object-oriented systems. In D. Bjørner, C. A. R. Hoare, and H. Langmaack, editors, VDM and Z – Formal Methods in Software Development, volume 428 of Lecture Notes in Computer Science, pages 290–318. VDM-Europe, Springer-Verlag, New York, 1990.
15. Haim Kilov and Bernhard Rumpe. Summary of ecoop’97 workshop on precise semantics of object-oriented modeling techniques. In J. Bosch and S. Mitchell, editors, Object-Oriented Technology – ECOOP’97 Workshop Reader. Springer Verlag Berlin, LNCS 1357, 1997.
16. Cornel Klein, Bernhard Rumpe, and Manfred Broy. A stream-based mathematical model for distributed information processing systems - SysLab system model-. In Jean-Bernard Stefani Elie Naijm, editor, FMOODS’96 Formal Methods for Open Object-based Distributed Systems pages 323–338. ENST France Telecom, 1996.
17. ++, an object-orientated extension to Z. In John E. Nicholls, editor, Z User Workshop, Oxford 1990, Workshops in Computing, pages 151–172. Springer-Verlag, 1991.
18. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object- Oriented Modeling and Design. Prentice Hall, 1991.
19. Bernhard Rumpe. Formal Method for Design of Distributed Object-oriented Systems. Ph.D. thesis (in German), Technische Universität München, 1996.
20. J. Michael Spivey. The Z Notation: A Reference Manual. Prentice Hall, Englewood Cliffs, NJ, Second edition, 1992.