Structural Model Subtyping with OCL Constraints
In model-driven engineering (MDE), models abstract the relevant features of software artefacts and model management operations, including model transformations, act on them automating large tasks of the development process. Flexible reuse of such operations is an important factor to improve productivity when developing and maintaining MDE solutions. In this work, we revisit the traditional notion of object subtyping based on subsumption, discarded by other approaches to model subtyping. We refine a type system for object-oriented programming with multiple inheritance to support model types in order to analyse its advantages and limitations with respect to reuse in MDE. Specifically, we extend type expressions with referential constraints and with OCL constraints. Our approach has been validated with a tool that extracts model types from (EMF) metamodels, paired with their OCL constraints, automatically and that exploits the extended subtyping relation to reuse model management operations. We show that structural model subtyping is expressive enough to support variants of model subtyping, including multiple, partial and dynamic model subtyping.
Tue 24 OctDisplayed time zone: Tijuana, Baja California change
13:30 - 15:00 | |||
13:30 23mTalk | Concrete Syntax: A Multi-paradigm Modelling Approach SLE Yentl Van Tendeloo University of Antwerp, Simon Van Mierlo University of Antwerp, Bart Meyers University of Antwerp, Belgium, Hans Vangheluwe University of Antwerp and McGill University DOI | ||
13:53 23mTalk | Structural Model Subtyping with OCL Constraints SLE Artur Boronat University of Leicester DOI | ||
14:16 22mTalk | Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools SLE DOI | ||
14:38 22mTalk | Tool Demonstration: A development environment for the Alf language within the MagicDraw UML toolTool Demo SLE Ed Seidewitz nMeta LLC DOI |