On Formalizing the UML Object Constraint Language OCL
作者： Mark Richters , Martin Gogolla , None
DOI: 10.1007/978-3-540-49524-6_35
关键词:
摘要: We present a formal semantics for the Object Constraint Language (OCL) which is part of Unified Modeling (UML) – an emerging standard language and notation object-oriented analysis design. In context information systems modeling, UML class diagrams can be utilized describing overall structure, whereas additional integrity constraints queries are specified with OCL expressions. By using OCL, in yet comprehensible way. However, itself currently defined only semi-formal Thus general not precisely defined. Our approach gives precise meaning to concepts some central aspects models. A facilitates verification, validation simulation models helps improve quality software designs.
springer.com
core.ac.uk
sci-hub.se 参考文章(23)
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)
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
Gunnar Övergaard, Karin Palmkvist, A Formal Approach to Use Cases and Their Relationships The Unified Modeling Language. «UML»’98: Beyond the Notation. pp. 406- 418 ,(1999) , 10.1007/978-3-540-48480-6_31
Jos Warmer, John Hogg, Steve Cook, Bran Selic, Experience with Formal Specification of CMM and UML european conference on object-oriented programming. pp. 216- 220 ,(1997) , 10.1007/3-540-69687-3_44
Martin Gogolla, None, An Extended Entity-Relationship Model: Fundamentals and Pragmatics ,(1994)
Anneke Kleppe, Jos Warmer, Steve Cook, Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel The Unified Modeling Language. «UML»’98: Beyond the Notation. pp. 148- 161 ,(1999) , 10.1007/978-3-540-48480-6_12
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
R. B. France, J.-M. Bruel, M. M. Larrondo-Petrie, M. Shroff, Exploring the semantics of UML type structures with Z formal methods for open object based distributed systems. pp. 247- 257 ,(1997) , 10.1007/978-0-387-35261-9_17
Elisa Bertino, Donatella Castelli, Federica Vitale, A Formal Representation for State Diagrams in the OMT Methodology conference on current trends in theory and practice of informatics. pp. 327- 334 ,(1996) , 10.1007/BFB0037414
Kevin Lano, Enhancing object-oriented methods with formal notations Theory and Practice of Object Systems. ,vol. 2, pp. 247- 268 ,(1996) , 10.1002/(SICI)1096-9942(1996)2:4<247::AID-TAPO2>3.0.CO;2-R