References: Semantics of Class Diagrams

[Dis02] Zinovy Diskin. Visualization vs. specification in diagrammatic notations: A case study with the UML. In Diagrammatic Representation and Inference, 2nd Int. Conf. on the theory and applications of diagrams, Diagrams '2002, volume 2317 of LNAI, pages 112-115. Springer, 2002. Full version of the 4pp. poster published in Diagrams '2002.
[ .pdf | Abstract ]
[DK03] Z. Diskin and B. Kadish. Variable set semantics for keyed generalized sketches: Formal semantics for object identity and abstract syntax for conceptual modeling. Data & Knowledge Engineering, 47:1-59, 2003.
[ http ]
[FBLPS97] Robert B. France, Jean-Mechel Bruel, Maria M. Larrondo-Petrie, and Malcom Shroff. Exploring the semantics of UML type structures with Z. In Proceedings of the Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'97), pages 247-260. Chapman & Hall, 1997.
[ http | .ps | Abstract ]
[GR99] Martin Gogolla and Mark Richters. Transformation rules for UML class diagrams. In First International Workshop on The Unified Modeling Language, UML'98 - Beyond the Notation, volume 1618 of Lecture Notes in Computer Science, pages 92-106. Springer, 1999.
[KGKK02] S. Kuske, M. Gogolla, R. Kollmann, and H.-J. Kreowski. An integrated semantics for UML class, object and state diagrams based on graph transformation. In Proceedings of the 3rd International Conference on Integrated Formal Methods (IFM 2002), volume 2335 of Lecture Notes in Computer Science, pages 11-28. Springer, 2002.
[ http | .ps.gz | Abstract ]
[KH00] Florian Kammüller and Steffen Helke. Mechanical analysis of UML state machines and class diagrams. In Object-Oriented Technology, ECOOP 2000 Workshops, Panels and Posters, volume 1964 of Lecture Notes in Computer Science. Springer-Verlag, 2000. Position Paper.
[ http | .ps | Abstract ]
[Ste01] P. Stevens. On associations in the Unified Modeling Language. In Proceedings of the 4th International Conference UML 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, Toronto, Canada, October 1-5, 2001, volume 2185 of Lecture Notes in Computer Science, pages 361-375. Springer-Verlag, 2001.
[WB98] R. Wieringa and J. Broersen. Minimal transition system semantics for lightweight class- and behavior diagrams. In Proceedings PSMT'98 Workshop on Precise Semantics for Modeling Techniques. Technische Universität München TUM-I9803, 1998.
[ http | Abstract ]