Eingang zum Volltext
Lizenz

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:83-opus-18060
URL: http://opus.kobv.de/tuberlin/volltexte/2008/1806/

Kuhlmann, Mirco ; Gogolla, Martin

Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships

pdf-Format:
Dokument 1.pdf (209 KB)

Kurzfassung in Englisch

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.

Freie Schlagwörter (deutsch): OCL , Object Constraint Language, Programmiersprache
Freie Schlagwörter (englisch): OCL , Object Constraint Language, programming language
Collection TU Berlin / Zeitschriften / Fakultät IV - Elektrotechnik und Informatik / Electronic Communications of the EASST- ECEASST / Volume 9 (2008): Ocl4All - Modelling Systems with OCL
Institut: Institut für Softwaretechnik und Theoretische Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Aufsatz
Schriftenreihe: Electronic Communications of the EASST- ECEASST
Band Nummer: 09/08
ISBN: 1863-2122
Quelle: http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/16
Sprache: Englisch
Erstellungsjahr: 2008
Publikationsdatum: 11.03.2008
Lizenz: Standardlizenz: Typ CC by-nc-sa - Namensnennung erforderlich | Kommerziell nein | Weiterbearbeitung nur unter gleichen Bedingungen erlaubt | PoD ja