Boronat_sle17.pdf (830.99 kB)
Download fileStructural Model Subtyping with OCL Constraints
conference contribution
posted on 2018-02-15, 09:40 authored by Artur BoronatIn 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.
The tool has received the ACM badge "Artifacts Evaluated −
Functional".
Funding
This work was partially supported by InnovateUK KTP 10567.
History
Citation
Proceedings of 2017 ACM SIGPLAN International Conference on Software Language Engineering (SLE’17). ACM, New York, NY, USA, 2017, 12 pagesAuthor affiliation
/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer ScienceSource
10th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2017), Vancouver, BC, CanadaVersion
- AM (Accepted Manuscript)