Transformation rules for UML class diagrams

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

Volumn 1618, Issue , 1999, Pages 92-106

  Gogolla, Martin ^a   Richters, Mark ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

Constraint; Model transformation; OCL; UML class diagram

Indexed keywords

ENCODING (SYMBOLS); EQUIVALENCE CLASSES; GRAPHIC METHODS;

CARDINALITY CONSTRAINTS; CONSTRAINT; MODEL TRANSFORMATION; MODELING FEATURES; MODELING PROCESS; STATIC STRUCTURES; TRANSFORMATION RULES; UML CLASS DIAGRAMS;

UNIFIED MODELING LANGUAGE;

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

References (16)

1. R. Bourdeau and B. Cheng. A Formal Semantics for Object Model Diagrams. IEEE Transactions on Software Engineering., 21(10):799-821, 1995.
2. E. Bertino, D. Castelli, and F. Vitale. A Formal Representation for State Diagrams in the OMT Methodology. In K.G. Jeffery, J. Krai, and M. Bar-tosek, editors, Proc. Seminar Theory and Practice of Informatics (SOF-SEM'96), pages 327-341. Springer, Berlin, LNCS 1175, 1996.
3. Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, and Veronika Thurner. Towards a Formalization of the Unified Modeling Language. In Mehinet Aksit and Satoshi Matsuoka, editors, Proc. 11th European Gonf. Object-Oriented Programming (ECOOP'97), pages 344-366. Springer, Berlin, LNCS 1241, 1997.
4. Grady Booch, Ivar Jacobson, and James Rumbaugh, editors. Object Constraint Language Specification (Version 1.1). Rational Corporation, Santa Clara, 1997. http://www.rational.com.
5. Grady Booch, Ivar Jacobson, and James Rumbaugh, editors. UML Notation Guide (Version 1.1). Rational Corporation, Santa Clara, 1997. http: //www.rational.com.
6. Grady Booch, Ivar Jacobson, and James Rumbaugh, editors. UML Semantics (Version 1.1). Rational Corporation, Santa Clara, 1997. http: //www.rational.com.
7. J.C. Bicarregui, Kevin Lano, and Tom S.E. Maibaum. Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. In Mehmet Aksit and Satoshi Matsuoka, editors, Proc. 11th European Gonf. Object-Oriented Programming (ECOOP'97), pages 324-343. Springer, Berlin, LNCS 1241, 1997.
8. Jürgen Ebert. Integration of Z-Based Semantics of OO-Notations. In Haim Kilov and Bernhard Rumpe, editors, Proc. ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques. Technische Universität München, Informatik-Bericht TUM-I9725, 1997.
9. R.B. Prance, J.M. Bruel, M. Larrondo-Petrie, and M. Shroff. Exploring the Semantics of UML Type Structures with Z. In H. Bowman and J. Derrick, editors, Proc. 2nd IFIP Conf. Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), pages 247-260. Chapman and Hall, London, 1997.
10. D. Flanagan. Java in a Nutshell. O'Reilly, Cambridge, 1997.
11. Martin Gogolla and Francesco Parisi-Presicce. State Diagrams in UML: A Formal Semantics using Graph Transformations. In Bernhard Rumpe, Manfred Broy, Derek Coleman, and Tom S.E. Maibaum, editors, Proc. ICSE'98 Workshop on Precise Semantics of Modeling Techniques (PSMT'98), 1998. http://www4.informatik.tu-muenchen.de/~rumpe/icse98-ws.
12. Kevin Lano. Enhancing Object-Oriented Methods with Formal Notations. Theory and Practice of Object Systems, 2(4):247-268, 1996.
13. Gunnar Overgaard. A Formal Approach to Relationships in the Unified Modeling Language. In Bernhard Rumpe, Manfred Broy, Derek Coleman, and Tom S.E. Maibaum, editors, Proc. ICSE'98 Workshop on Precise Semantics of Modeling Techniques (PSMT'98), 1998. http://www4.informatik.tu-muenchen.de/~rumpe/icse98-ws.
14. Mark Richters and Martin Gogolla. On Formalizing the UML Object Constraint Language OCL. In Tok-Wang Ling, editor, Proc. Int. Conf. Entity-Relationship Approach (ER'98), LNCS, Springer, 1998.
15. M. Shroff and R.B. France. Towards a Formalization of UML Class Structures in Z. In Proc. 21st Annual Int. Computer Software and Applications Conference (COMPSAC'97), pages 646-651. IEEE, 1997.
16. Enoch Y. Wang, Heather A. Richter, and Betty H., C. Cheng. Formalizing and Integrating the Dynamic Model within OMT. In Proc. 19th Int. Conf. on Software Engineering (ICSE'97), pages 45-55. ACM Press, 1997.