Brucker, A.D., Longuet, D., Tuong, F. et al. (1 more author) (2013) On the Semantics of Object-oriented Data Structures and Path Expressions (Extended Version). Report. Laboratoire en Recherche en Informatique (LRI), Université Paris-Sud 11, France. (Unpublished)
Abstract
\UML/ØCL 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/ØCL comprise two different exception elements: \inlineoclinvalid (“bottom” in semantics terminology) and \inlineoclnull (for “non-existing element”). This has far-reaching consequences on both the logical and algebraic properties of ØCL expressions as well as the path expressions over object-oriented data structures, \ie, 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 \inlineoclinvalid and \inlineoclnull. Based on this formal semantics, we present a set of ØCL test cases that can be used for evaluating the support of \inlineoclnull and \inlineoclinvalid in ØCL tools.
Metadata
Item Type: | Monograph |
---|---|
Authors/Creators: |
|
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 24 Feb 2016 11:29 |
Last Modified: | 11 Mar 2016 00:13 |
Status: | Unpublished |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:95537 |