On the Semantics of Object-Oriented Data Structures and Path Expressions

Abstract : UML/OCL is perceived as the de-facto standard for specifying object-oriented models in general and data models in particular. Since recently, all data types of UML/OCL comprise two different exception elements: invalid ("bottom" in semantics terminology) and null (for "non-existing element"). This has far-reaching consequences on both the logical and algebraic properties of OCL expressions as well as the path expressions over object-oriented data structures, i.e., class models. In this paper, we present a formal semantics for object-oriented data models in which all data types and, thus, all class attributes and path expressions, support invalid and null. Based on this formal semantics, we present a set of OCL test cases that can be used for evaluating the support of null and invalid in OCL tools.
Type de document :
Communication dans un congrès
Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Sep 2013, Miami, United States. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-01214460
Contributeur : Frédéric Tuong <>
Soumis le : lundi 12 octobre 2015 - 13:39:46
Dernière modification le : jeudi 11 janvier 2018 - 06:27:34

Identifiants

  • HAL Id : hal-01214460, version 1

Citation

Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff. On the Semantics of Object-Oriented Data Structures and Path Expressions. Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Sep 2013, Miami, United States. 2013. 〈hal-01214460〉

Partager

Métriques

Consultations de la notice

73