FRAGMENTA: A Theory of Fragmentation for MDE

Amalio, Nuno and de Lara, Juan and Guerra, Esther (2015) FRAGMENTA: A Theory of Fragmentation for MDE. In: Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on. IEEE. ISBN 978-1-4673-6908-4

Full text not available from this repository. (Request a copy)

Abstract

Model-Driven Engineering (MDE) promotes models throughout development. However, models may become large and unwieldy even for small to medium-sized systems. This paper tackles the MDE challenges of model complexity and scalability. It proposes FRAGMENTA, a theory of modular design that breaks down overall models into fragments that can be put together to build meaningful wholes, in contrast to classical MDE approaches that are essentially monolithic. The theory is based on an algebraic description of models, fragments and clusters based on graphs and morphisms. The paper’s novelties include: (i) a mathematical treatment of fragments and a seaming mechanism of proxies to enable inter-fragment referencing, (ii) fragmentation strategies, which prescribe a fragmentation structure to model instances, (iii) FRAGMENTA’s support for both top-down and
bottom-up design, and (iv) our formally proved result that shows that inheritance hierarchies remain well-formed (acyclic) globally when fragments are composed provided some local fragment constraints are met.

Item Type: Book Section
Uncontrolled Keywords: Model-driven engineering, meta-modelling, modularity, graphs, scalability, model composition
Subjects: G400 Computer Science
Divisions: Faculty of Computing, Engineering and the Built Environment
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security
UoA Collections > UoA11: Computer Science and Informatics
Depositing User: $ Ian McDonald
Date Deposited: 05 Jan 2017 15:52
Last Modified: 14 Aug 2017 11:14
URI: http://www.open-access.bcu.ac.uk/id/eprint/3769

Actions (login required)

View Item View Item

Research

In this section...