Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/41180
Title: Structural Model Subtyping with OCL Constraints
Authors: Boronat, Artur
First Published: 24-Oct-2017
Presented at: 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2017), Vancouver, BC, Canada
Start Date: 23-Oct-2017
End Date: 24-Oct-2017
Publisher: Association for Computing Machinery (ACM)
Citation: Proceedings of 2017 ACM SIGPLAN International Conference on Software Language Engineering (SLE’17). ACM, New York, NY, USA, 2017, 12 pages
Abstract: 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".
DOI Link: 10.1145/3136014.3136026
ISBN: 978-1-4503-5525-4
Links: https://dl.acm.org/citation.cfm?doid=3136014.3136026
http://hdl.handle.net/2381/41180
Version: Post-print
Status: Peer-reviewed
Type: Conference Paper
Rights: Copyright © 2017, Association for Computing Machinery (ACM). Deposited with reference to the publisher’s open access archiving policy.
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
Boronat_sle17.pdfPost-review (final submitted author manuscript)830.99 kBAdobe PDFView/Open


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.