A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations
[chapter]
2012
Lecture Notes in Computer Science
Collections, i. e., sets, bags, ordered sets and sequences, play a central role in UML and OCL models. Essential OCL operations like role navigation, object selection by stating properties and the first order logic universal and existential quantifiers base upon or result in collections. In this paper, we show a uniform representation of flat and nested, but typed OCL collections as well as strings in form of flat, untyped relations, i. e., sets of tuples, respecting the OCL particularities for
doi:10.1007/978-3-642-31491-9_5
fatcat:ndr7cc42ljeglikrtnssdy6j64