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 nesting, undefinedness and emptiness. Transforming collections and strings into relations is particularly needed in the context of automatic model validation on the basis of a UML and OCL model transformation into relational logic. © 2012 Springer-Verlag.
CITATION STYLE
Kuhlmann, M., & Gogolla, M. (2012). Strengthening SAT-based validation of UML/OCL models by representing collections as relations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7349 LNCS, pp. 32–48). https://doi.org/10.1007/978-3-642-31491-9_5
Mendeley helps you to discover research relevant for your work.