Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships

  • The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large variety of operations defined thereon. Without negating the strong correlation between both fields we can say that these operations have their origin partly in logic (like the operations forAll and exists) and partly in computer science, in particular database systems (like the operation select). Some of these operations The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large variety of operations defined thereon. Without negating the strong correlation between both fields we can say that these operations have their origin partly in logic (like the operations forAll and exists) and partly in computer science, in particular database systems (like the operation select). Some of these operations may be expressed in terms of other operations. This paper presents a systematic study of relationships which hold between OCL features like the mentioned operations. Apart from presenting the relationships between operations in a conceptual way, the relationships are described by a formal metamodel allowing systematic and computer supported access to the operation relationships by querying an underlying formal description.show moreshow less

Download full text files

Export metadata

  • Export Bibtex
  • Export RIS

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author: Mirco Kuhlmann, Martin Gogolla
URN:urn:nbn:de:kobv:83-opus-18060
ISBN:1863-2122
Series (Serial Number):Electronic Communications of the EASST- ECEASST (09/08)
Document Type:Arbeitspapier/Research Paper
Language:English
Date of Publication (online):2008/03/11
Publishing Institution:Technische Universität Berlin
Release Date:2008/03/11
Tag:OCL; Object Constraint Language; Programmiersprache
OCL; Object Constraint Language; programming language
Note:
http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/16
Institutes:Institut für Softwaretechnik und Theoretische Informatik
Dewey Decimal Classification:004 Datenverarbeitung; Informatik
Collection:Volume 9 (2008): Ocl4All - Modelling Systems with OCL
Licence (German):License LogoCC BY-NC-SA 2.0 DE: Creative Commons-Lizenz: Namensnennung, nicht kommerziell, Weitergabe unter gleichen Bedingungen 2.0 Deutschland