An integrated multi-level modeling approach for industrial-scale data interoperability

Multi-level modeling is currently regaining attention in the database and software engineering community with different emerging proposals and implementations. One driver behind this trend is the need to reduce model complexity, a crucial aspect in a time of analytics in Big Data that deal with complex heterogeneous data structures. So far no standard exists for multi-level modeling. Therefore, different formalization approaches have been proposed to address multi-level modeling and verification in different frameworks and tools. In this article, we present an approach that integrates the formalization, implementation, querying, and verification of multi-level models. The approach has been evaluated in an open-source F-Logic implementation and applied in a large-scale data interoperability project in the oil and gas industry. The outcomes show that the framework is adaptable to industry standards, reduces the complexity of specifications, and supports the verification of standards from a software engineering point of view.

[1]  Colin Atkinson,et al.  Reducing accidental complexity in domain models , 2008, Software & Systems Modeling.

[2]  Colin Atkinson,et al.  Level-Agnostic Designation of Model Elements , 2014, ECMFA.

[3]  Juan de Lara,et al.  Towards automating the analysis of integrity constraints in multi-level models , 2014, MULTI@MoDELS.

[4]  Juan de Lara,et al.  ODaaS: Towards the Model-Driven Engineering of Open Data Applications as Data Services , 2014, 2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations.

[5]  Alexander Egyed,et al.  Towards flexible, incremental, and paradigm-agnostic consistency checking in multi-level modeling environments , 2014, MULTI@MoDELS.

[6]  Manuel Wimmer,et al.  CARE - A Constraint-Based Approach for Re-Establishing Conformance-Relationships , 2014, APCCM.

[7]  Michael Kifer,et al.  Logic-based model-level software development with F-OML , 2011, MODELS'11.

[8]  Colin Atkinson,et al.  Meta-modelling for distributed object environments , 1997, Proceedings First International Enterprise Distributed Object Computing Workshop.

[9]  Ramzi A. Haraty,et al.  Assuring consistency in mixed models , 2014, J. Comput. Sci..

[10]  David A. Carrington,et al.  A Formal Mapping between UML Models and Object-Z Specifications , 2000, ZB.

[11]  Diego Calvanese,et al.  Information integration: conceptual modeling and reasoning support , 1998, Proceedings. 3rd IFCIS International Conference on Cooperative Information Systems (Cat. No.98EX122).

[12]  Colin Atkinson,et al.  Rearchitecting the UML infrastructure , 2002, TOMC.

[13]  Tomi Männistö,et al.  Nivel: a metamodelling language with a formal semantics , 2009, Software & Systems Modeling.

[14]  R. Volz,et al.  Benchmarking OWL Reasoners , 2007 .

[15]  Juan de Lara,et al.  Extending Deep Meta-Modelling for Practical Model-Driven Engineering , 2014, Comput. J..

[16]  Jordi Cabot,et al.  UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming , 2007, ASE.

[17]  Markus Stumptner,et al.  Generative constraint-based configuration of large technical systems , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[18]  Jordi Cabot,et al.  Verification of UML/OCL Class Diagrams using Constraint Programming , 1899, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.

[19]  Sean Bechhofer,et al.  The OWL API: A Java API for OWL ontologies , 2011, Semantic Web.

[20]  Juan de Lara,et al.  A formalisation of deep metamodelling , 2014, Formal Aspects of Computing.

[21]  C. Atkinson,et al.  Supporting Constructive and Exploratory Modes of Modeling in Multi-Level Ontologies , 2011 .

[22]  Georg Grossmann,et al.  On the application of software modelling principles on ISO 15926 , 2012, MOTPW '12.

[23]  Juan de Lara,et al.  Deep Meta-modelling with MetaDepth , 2010, TOOLS.

[24]  Colin Atkinson,et al.  The Level-Agnostic Modeling Language , 2010, SLE.

[25]  Markus Stumptner,et al.  Semantic Interpretation of Requirements through Cognitive Grammar and Configuration , 2014, PRICAI.

[26]  Bastian Kennel,et al.  A unified framework for multi-level modeling , 2012 .

[27]  Dominik Kantner.  Specification and Implementation of a Deep OCL Dialect , 2014 .

[28]  Colin Atkinson,et al.  Melanie: multi-level modeling and ontology engineering environment , 2012, MW '12.

[29]  Jean Bézivin,et al.  Parsing SBVR-Based Controlled Languages , 2009, MoDELS.

[30]  Georg Grossmann,et al.  An implementation of multi-level modelling in F-logic , 2014, MULTI@MoDELS.

[31]  Bernhard Thalheim,et al.  Modeling Techniques for Multi-level Abstraction , 2008, The Evolution of Conceptual Modeling.

[32]  Colin Atkinson,et al.  Enhancing classic transformation languages to support multi-level modeling , 2013, Software & Systems Modeling.

[33]  Georg Grossmann,et al.  A declarative framework for work process configuration , 2011, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[34]  Brian Henderson-Sellers,et al.  A powertype-based metamodelling framework , 2006, Software & Systems Modeling.

[35]  Martin Gogolla,et al.  Verifying UML/OCL models using Boolean satisfiability , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[36]  Beatriz Marín,et al.  Interoperability for model-driven development: Current state and future challenges , 2012, 2012 Sixth International Conference on Research Challenges in Information Science (RCIS).

[37]  Brian Henderson-Sellers,et al.  A foundation for multi-level modelling , 2014, MULTI@MoDELS.

[38]  Michael Kifer,et al.  FLORA-2: User's Manual , 2001 .

[39]  Christoph G. Schütz,et al.  Dual Deep Instantiation and Its ConceptBase Implementation , 2014, CAiSE.

[40]  Colin Atkinson,et al.  A multi-level approach to modeling language extension in the Enterprise Systems Domain , 2015, Inf. Syst..

[41]  Michael Schrefl,et al.  AIRM-based, fine-grained semantic filtering of notices to airmen , 2015, 2015 Integrated Communication, Navigation and Surveillance Conference (ICNS).

[42]  Juan de Lara,et al.  Model-driven engineering with domain-specific meta-modelling languages , 2015, Software & Systems Modeling.

[43]  Georg Grossmann,et al.  Semantic Interoperability in the Oil and Gas Industry: A Challenging Testbed for Semantic Technologies , 2013, AAAI Fall Symposia.

[44]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[45]  Juan de Lara,et al.  When and How to Use Multilevel Modelling , 2014, ACM Trans. Softw. Eng. Methodol..

[46]  José Ambrosio Toval Álvarez,et al.  A systematic review of UML model consistency management , 2009, Inf. Softw. Technol..

[47]  John L. Dettbarn,et al.  Cost Analysis of Inadequate Interoperability in the U.S. Capital Facilities Industry. , 2004 .

[48]  Jordi Cabot,et al.  Formal verification of static software models in MDE: A systematic review , 2014, Inf. Softw. Technol..

[49]  Nicolas Daclin,et al.  Towards a Sustainable Implementation of Interoperability Solutions: Bridging the Gap Between Interoperability Requirements and Solutions , 2015, IWEI.

[50]  Georg Lausen,et al.  Ontologies in F-logic , 2004, Handbook on Ontologies.

[51]  Proceedings of the Workshop on Multi-Level Modelling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 28, 2014 , 2014, MULTI@MoDELS.

[52]  Alexander Egyed,et al.  Automatically Detecting and Tracking Inconsistencies in Software Design Models , 2011, IEEE Transactions on Software Engineering.