A feature-based survey of model view approaches

When dealing with complex systems, information is very often fragmented across many different models expressed within a variety of (modeling) languages. To provide the relevant information in an appropriate way to different kinds of stakeholders, (parts of) such models have to be combined and potentially revamped by focusing on concerns of particular interest for them. Thus, mechanisms to define and compute views over models are highly needed. Several approaches have already been proposed to provide (semi)automated support for dealing with such model views. This paper provides a detailed overview of the current state of the art in this area. To achieve this, we relied on our own experiences of designing and applying such solutions in order to conduct a literature review on this topic. As a result, we discuss the main capabilities of existing approaches and propose a corresponding research agenda. We notably contribute a feature model describing what we believe to be the most important characteristics of the support for views on models. We expect this work to be helpful to both current and potential future users and developers of model view techniques, as well as to any person generally interested in model-based software and systems engineering.

[1]  Holger Giese,et al.  On the Operationalization of Graph Queries with Generalized Discrimination Networks , 2016, ICGT.

[2]  Bashar Nuseibeh,et al.  Viewpoints: A Framework for Integrating Multiple Perspectives in System Development , 1992, Int. J. Softw. Eng. Knowl. Eng..

[3]  Fahad Rafique Golra,et al.  Addressing modularity for heterogeneous multi-model systems using model federation , 2016, MODULARITY.

[4]  Claes Wohlin,et al.  Guidelines for snowballing in systematic literature studies and a replication in software engineering , 2014, EASE '14.

[5]  Marsha Chechik,et al.  Declarative approach for model composition , 2008, MiSE '08.

[6]  Hamid Pirahesh,et al.  Incremental Maintenance for Non-Distributive Aggregate Functions , 2002, VLDB.

[7]  Philip A. Bernstein,et al.  Model management 2.0: manipulating richer mappings , 2007, SIGMOD '07.

[8]  Paul Hudak,et al.  Building domain-specific embedded languages , 1996, CSUR.

[9]  Boubekeur Zendagui,et al.  Development of Modelling Frameworks and Viewpoints with Kitalpha , 2014, DSM '14.

[10]  Birgit Vogel-Heuser,et al.  Supplementary material for the paper "A Comprehensive Approach for Managing Inter-Model Inconsistencies in Automated Production Systems Engineering", submitted to IEEE CASE 2016 , 2016 .

[11]  Bernhard Rumpe,et al.  Synthesis of component and connector models from crosscutting structural views , 2013, ESEC/FSE 2013.

[12]  Reiko Heckel,et al.  A Combined Reference Model- and View-Based Approach to System Specification , 1997, Int. J. Softw. Eng. Knowl. Eng..

[13]  Frédéric Jouault,et al.  Towards Incremental Execution of ATL Transformations , 2010, ICMT@TOOLS.

[14]  Andy Schürr,et al.  View Creation of Meta Models by Using Modified Triple Graph Grammars , 2008, Electron. Notes Theor. Comput. Sci..

[15]  Jordi Cabot,et al.  MoDisco: A model driven reverse engineering framework , 2014, Inf. Softw. Technol..

[16]  Mehrdad Sabetzadeh,et al.  View merging in the presence of incompleteness and inconsistency , 2006, Requirements Engineering.

[17]  Ákos Horváth,et al.  EMF-IncQuery: An integrated development environment for live model queries , 2015, Sci. Comput. Program..

[18]  Mohamed Jmaiel,et al.  System of systems software architecture description using the ISO/IEC/IEEE 42010 standard , 2017, SAC.

[19]  Richard F. Paige,et al.  Constructing and Navigating Non-invasive Model Decorations , 2010, ICMT@TOOLS.

[20]  Antonio Vallecillo On the Combination of Domain Specific Modeling Languages , 2010, ECMFA.

[21]  Jordi Cabot,et al.  EMF Views: A View Mechanism for Integrating Heterogeneous Models , 2015, ER.

[22]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[23]  Erhard Rahm,et al.  Supporting executable mappings in model management , 2005, SIGMOD '05.

[24]  Federico Ciccozzi,et al.  A hybrid approach for multi-view modeling , 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[25]  Bernhard Rumpe,et al.  Systems, Views and Models of UML , 2014, UML Workshop.

[26]  Antonio Vallecillo,et al.  An Overview Of Model-Driven Web Engineering and the Mda , 2008, Web Engineering.

[27]  Oszkár Semeráth,et al.  Incremental backward change propagation of view models by logic solvers* , 2016, MoDELS.

[28]  Bernhard Schätz,et al.  MPM4CPS: multi-pardigm modelling for cyber-physical systems , 2016 .

[29]  Arash Jalali,et al.  Incremental Pattern Matching for Regular Expressions , 2012, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[30]  Werner Retschitzegger,et al.  A Survey on Incremental Model Transformation Approaches , 2013, ME@MoDELS.

[31]  Richard F. Paige,et al.  Merging models with the epsilon merging language (EML) , 2006, MoDELS'06.

[32]  Manuel Wimmer,et al.  ARTIST: Model-Based Stairway to the Cloud , 2015, STAF Projects Showcase.

[33]  Bran Selic,et al.  FacadeMetamodel: masking UML , 2012, MODELS'12.

[34]  Jean-Marc Jézéquel,et al.  Globalizing Modeling Languages , 2014 .

[35]  Andy Schürr,et al.  Non-materialized Model View Specification with Triple Graph Grammars , 2006, ICGT.

[36]  Colin Atkinson,et al.  Modeling Components and Component-Based Systems in KobrA , 2007, CoCoME.

[37]  Andy Schürr,et al.  Developing eMoflon with eMoflon , 2014, ICMT.

[38]  Jordi Cabot,et al.  Feature-based classification of bidirectional transformation approaches , 2014, Software & Systems Modeling.

[39]  Colin Atkinson,et al.  Orthographic Software Modeling: A Practical Approach to View-Based Development , 2009, ENASE.

[40]  Erik Burger,et al.  Translatability and Translation of Updated Views in ModelJoin , 2016, ICMT.

[41]  Jordi Cabot,et al.  On Lightweight Metamodel Extension to Support Modeling Tools Agility , 2015, ECMFA.

[42]  John A. Zachman,et al.  A Framework for Information Systems Architecture , 1987, IBM Syst. J..

[43]  Ivan Porres,et al.  A metamodeling language supporting subset and union properties , 2007, Software & Systems Modeling.

[44]  Andy Schürr,et al.  Efficient Model Synchronization with View Triple Graph Grammars , 2014, ECMFA.

[45]  Dániel Varró,et al.  Change-driven model transformations , 2011, Software & Systems Modeling.

[46]  Nora Cuppens-Boulahia,et al.  Model-Driven Extraction and Analysis of Network Security Policies , 2013, MoDELS.

[47]  Adil Anwar,et al.  A Rule-Driven Approach for composing Viewpoint-oriented Models , 2010, J. Object Technol..

[48]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[49]  David E. Avison,et al.  Information Systems Definition: The Multiview Approach , 1985 .

[50]  Ernest Teniente,et al.  A Survey of Current Methods for Integrity Constraint Maintenance and View Updating , 1999, ER.

[51]  Holger Giese,et al.  A Survey of Triple Graph Grammar Tools , 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[52]  Erik Burger,et al.  ModelJoin. A Textual Domain-Specific Language for the Combination of Heterogeneous Models , 2014 .

[53]  Mehrdad Sabetzadeh,et al.  A relationship-based approach to model integration , 2011, Innovations in Systems and Software Engineering.

[54]  Antonio Vallecillo,et al.  Building Enterprise Systems with ODP - An Introduction to Open Distributed Processing , 2011, Chapman and Hall / CRC innovations in software engineering and software development.

[55]  Antonio Vallecillo,et al.  MPM 4 CPS : Multi-Paradigm Modelling for Cyber-Physical Systems , 2016 .

[56]  Mahmoud Nassar VUML: a viewpoint oriented UML extension , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[57]  Manuel Wimmer,et al.  A survey on model versioning approaches , 2009, Int. J. Web Inf. Syst..

[58]  Steffen Becker,et al.  Towards a Tool-Oriented Taxonomy of View-Based Modelling , 2012, Modellierung.

[59]  Andy Schürr,et al.  Specification of Graph Translators with Triple Graph Grammars , 1994, WG.

[60]  Jürgen Dingel,et al.  Package merge in UML 2: practice vs. theory? , 2006, MoDELS'06.

[61]  Jean Bézivin,et al.  A Canonical Scheme for Model Composition , 2006, ECMDA-FA.

[62]  Jordi Cabot,et al.  EMF Profiles: A Lightweight Extension Approach for EMF Models , 2012, J. Object Technol..

[63]  Dániel Varró,et al.  Change-driven model transformations - Change (in) the rule to rule the change , 2012, Softw. Syst. Model..

[64]  Bernhard Rumpe,et al.  MontiCore: a framework for compositional development of domain specific languages , 2010, International Journal on Software Tools for Technology Transfer.

[65]  Erik Burger,et al.  View-based model-driven software development with ModelJoin , 2016, Software & Systems Modeling.

[66]  Peter F. Linington RM-ODP: The Architecture , 1995 .

[67]  Pearl Brereton,et al.  Performing systematic literature reviews in software engineering , 2006, ICSE.

[68]  Ákos Horváth,et al.  Query-driven incremental synchronization of view models , 2014, VAO '14.

[69]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.