University of Leicester
Browse
Boronat_sle17.pdf (830.99 kB)

Structural Model Subtyping with OCL Constraints

Download (830.99 kB)
conference contribution
posted on 2018-02-15, 09:40 authored by Artur Boronat
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. 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 pages

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Source

10th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2017), Vancouver, BC, Canada

Version

  • AM (Accepted Manuscript)

Published in

Proceedings of 2017 ACM SIGPLAN International Conference on Software Language Engineering (SLE’17). ACM

Publisher

Association for Computing Machinery (ACM)

isbn

978-1-4503-5525-4

Acceptance date

2017-08-04

Copyright date

2017

Available date

2018-02-15

Publisher version

https://dl.acm.org/citation.cfm?doid=3136014.3136026

Temporal coverage: start date

2017-10-23

Temporal coverage: end date

2017-10-24

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC