Expressing UML Class Diagrams Properties with OCL
作者： Martin Gogolla , Mark Richters , None
关键词: Systems Modeling Language 、 Association Class 、 Object Constraint Language 、 Applications of UML 、 Programming language 、 UML state machine 、 Story-driven modeling 、 Computer science 、 Class diagram 、 Unified Modeling Language 、 Shlaer–Mellor method 、 Communication diagram 、 Object-oriented programming 、 Package diagram 、 UML tool
摘要: The Unified Modeling Language UML is a complex language offering many modeling features. Especially the description of static structures with class diagrams supported by rich set primitives. This paper shows how to transfrom involving cardinality constraints, qualifiers, association classes, aggregations, compositions, and generalizations into equivalent employing only binary associations OCL constraints. Thus we provide better understanding By reducing more features in terms basic ones, suggest an easy way users can gradually extend elements they commonly apply process.
springer.com
sci-hub.se 参考文章(24)
Jürgen Ebert, Roger Süttenbach, Integration of Z-based Semantics of OO-Notations ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology. pp. 173- 177 ,(1997)
Tony Clark, Type Checking UML Static Diagrams. UML. pp. 503- 517 ,(1999)
Jürgen Ebert, Roger Süttenbach, Integration of $$\mathcal{Z}$$-Based Semantics of OO-Notations european conference on object-oriented programming. pp. 173- 177 ,(1997) , 10.1007/3-540-69687-3_36
J. C. Bicarregui, K. C. Lano, T. S. E. Maibaum, Objects, associations and subsystems: A hierarchical approach to encapsulation european conference on object-oriented programming. pp. 324- 343 ,(1997) , 10.1007/BFB0053385
Mark Richters, Martin Gogolla, None, On Formalizing the UML Object Constraint Language OCL Conceptual Modeling – ER ’98. pp. 449- 464 ,(1998) , 10.1007/978-3-540-49524-6_35
Gunnar Övergaard, A formal approach to collaborations in the unified modeling language Lecture Notes in Computer Science. pp. 99- 115 ,(1999) , 10.5555/1767297.1767309
Anneke Kleppe, Jos Warmer, The Object Constraint Language: Precise Modeling with UML ,(1998)
Ivar Jacobson, Object-oriented software engineering A Use Case Driven Approach. New York, NY: Addison-Wesley. ,(1991)
G. Reggio, E. Astesiano, C. Choppy, H. Hussmann, Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach fundamental approaches to software engineering. pp. 127- 146 ,(2000) , 10.1007/3-540-46428-X_10
Bernhard Rumpe, Veronika Thurner, Ruth Breu, Ursula Hinkel, Christoph Hofmann, Barbara Paech, Cornel Klein, Towards a formalization of the Unified Modeling Language european conference on object-oriented programming. pp. 344- 366 ,(1997) , 10.1007/BFB0053386