Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships
release_rw22xnsyyberlfv4mfg546o4a4
by
Mirco Kuhlmann, Martin Gogolla
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) |
Open Access Publication
In DOAJ
In ISSN ROAD
Not in Keepers Registry
ISSN-L:
1863-2122
access all versions, variants, and formats of this works (eg, pre-prints)
Datacite Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar