On better understanding OCL collections or an OCL ordered set is not an OCL set

Authors:
Fabian Büttner;Martin Gogolla;Lars Hamann;Mirco Kuhlmann;Arne Lindow
Affiliations:
Computer Science Department Database Systems Group, University of Bremen, Bremen, Germany;Computer Science Department Database Systems Group, University of Bremen, Bremen, Germany;Computer Science Department Database Systems Group, University of Bremen, Bremen, Germany;Computer Science Department Database Systems Group, University of Bremen, Bremen, Germany;Computer Science Department Database Systems Group, University of Bremen, Bremen, Germany
Venue:
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Year:
2009

Citing 12
Cited 2

Algebraic specification

Handbook of theoretical computer science (vol. B)
Relational programming laws in the tree, list, bag, set hierarchy

Science of Computer Programming - Special issue on mathematics of program construction
Polymorphic queries across sets, bags, and lists

ACM SIGPLAN Notices
The object constraint language: precise modeling with UML

The object constraint language: precise modeling with UML
Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I
Logical and Computational Aspects of Programming with Sets/Bags/Lists

ICALP '91 Proceedings of the 18th International Colloquium on Automata, Languages and Programming
Eclipse Modeling Framework

Eclipse Modeling Framework
USE: A UML-based specification environment for validating UML and OCL

Science of Computer Programming
Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support

Models in Software Engineering
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Collection type constructors in entity-relationship modeling

ER'07 Proceedings of the 26th international conference on Conceptual modeling

Strengthening SAT-based validation of UML/OCL models by representing collections as relations

ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Object constraint language (OCL): a definitive guide

SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Modeling languages like UML or EMF support textual constraints written in OCL. OCL allows the developer to use various collection kinds for objects and values. OCL 1.4 knows sequences, sets, and bags, while OCL 2.0 adds ordered sets. We argue that this addition in the OCL standard was not carried out in a careful way and worsened conceptional problems that were already present previously. We discuss a new way of establishing the connection between the various collection kinds on the basis of explicitly highlighting and characterizing fundamental collection properties.