Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships release_rw22xnsyyberlfv4mfg546o4a4

by Mirco Kuhlmann, Martin Gogolla

Published in Electronic Communications of the EASST by European Association of Software Science and Technology.

2007   Volume 9: Ocl4All

Abstract

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.
In text/plain format

Archived Files and Locations

application/pdf  214.5 kB
file_azyvcsh7bngdjaiz25hpj63w6e
journal.ub.tu-berlin.de (web)
web.archive.org (webarchive)
application/pdf  207.1 kB
file_turuhagvl5gs7pbinmbgj5pj7e
st.inf.tu-dresden.de (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2007-11-23
Language   en ?
Container Metadata
Open Access Publication
In DOAJ
In ISSN ROAD
Not in Keepers Registry
ISSN-L:  1863-2122
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 6aeb3bd5-2daf-4b17-b32d-f3992ef5095a
API URL: JSON