Skip to main content
SpringerLink
Log in

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

  • Theme Section Paper
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13

Similar content being viewed by others

Notes

  1. MULTI - International Workshop on Multi-Level Modelling, http://goo.gl/EaVok1.

  2. MIMOSA: http://www.mimosa.org.

  3. PCA promotes the development of open specifications to be used as standards for enabling the interoperability of data, software, and related matters. https://www.posccaesar.org/.

References

  1. Angele, J., Kifer, M., Lausen, G.: Ontologies in F-logic. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 45–70. Springer, Berlin (2009)

  2. Asikainen, T., Männistö, T.: Nivel: a metamodelling language with a formal semantics. Softw. Syst. Model. 8(4), 521–549 (2009)

    Article  Google Scholar 

  3. Atkinson, C., Gerbig, R.: Melanie: multi-level modeling and ontology engineering environment. In: Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards, p. 7. ACM (2012)

  4. Atkinson, C., Gerbig, R.: Level-agnostic designation of model elements. In: Proceedings of ECMFA 2014, volume LNCS 8569, pp. 18–34. Springer (2014)

  5. Atkinson, C., Gerbig, R., Fritzsche, M.: A multi-level approach to modeling language extension in the enterprise systems domain, information systems, vol. 54, pp. 289–307. Elsevier (2015). doi:10.1016/j.is.2015.01.003

  6. Atkinson, C., Gerbig, R., Tunjic, C.V.: Enhancing classic transformation languages to support multi-level modeling. Softw. Syst. Model. 14(2), 645–666 (2013)

    Article  Google Scholar 

  7. Atkinson, C., Grossmann, G., Kühne, T., de Lara, J. (eds). Proceedings of the Workshop on Multi-Level Modelling Co-Located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), volume 1286 of CEUR Workshop Proceedings (2014)

  8. Atkinson, C., Grossmann, G., Kühne, T., de Lara, J. (eds). Proceedings of the Workshop on Multi-Level Modelling Co-Located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015) (2015)

  9. Atkinson, C., Kennel, B., Goß, B.: The level-agnostic modeling language. In: Malloy, B., Staab, S., van den Brand, M. (eds.) Software Language Engineering, pp. 266–275. Springer, Berlin (2011)

  10. Atkinson, C., Kennel, B., Goß, B.: Supporting constructive and exploratory modes of modeling in multi-level ontologies. In: Proceedings of 7th International Workshop on Semantic Web Enabled Software Engineering, Bonn (October 24, 2011) (2011)

  11. Atkinson, C., Kühne, T.: Rearchitecting the UML infrastructure. ACM Trans. Model. Comput. Simul. 12(4), 290–321 (2002)

    Article  Google Scholar 

  12. Atkinson, C., Kühne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20(5), 36–41 (2003)

    Article  Google Scholar 

  13. Atkinson, C., Kühne, T.: Reducing accidental complexity in domain models. Softw. Syst. Model. 7(3), 345–359 (2008)

    Article  Google Scholar 

  14. Balaban, M., Kifer, M.: Logic-based model-level software development with F-OML. In: Whittle, J., Clark, T., Kühne, T. (eds.) Model Driven Engineering Languages and Systems, pp. 517–532. Springer (2011)

  15. Bock, J., Haase, P., Ji, Q., Volz, R.: Benchmarking OWL reasoners. In: Proceedings of the ARea2008 Workshop, Tenerife, Spain (June 2008)

  16. Burgstaller, F., Steiner, D., Schrefl, M., Gringinger, E., Wilson, S., van der Stricht, S.: AIRM-based, fine-grained semantic filtering of notices to airmen. In: Integrated Communication, Navigation, and Surveillance Conference (ICNS), 2015, pp. D3–D1. IEEE (2015)

  17. Cabot, J., Clarisó, R., Riera, D.: UMLtoCSP: A tool for the formal verification of UML/OCL models using constraint programming. In: Proceedings of the Twenty-Second IEEE/ACM International Conference on Automated Software Engineering, ASE ’07, pp. 547–548, New York, NY, USA, 2007. ACM (2007)

  18. Cabot, J., Clarisó, R., Riera, D.: On the verification of UML/OCL class diagrams using constraint programming. J. Syst. Softw. 93, 1–23 (2014)

    Article  Google Scholar 

  19. Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: Information integration: conceptual modeling and reasoning support. In: Cooperative Information Systems, 1998, pp. 280–289. IEEE (1998)

  20. Clark, T., Gonzalez-Perez, C., Henderson-Sellers, B.: A foundation for multi-level modelling. In: MULTI 2014–Multi-Level Modelling Workshop Proceedings, p. 43 (2014)

  21. Daclin, Ni., Mallek-Daclin, S.: Towards a sustainable implementation of interoperability solutions: Bridging the gap between interoperability requirements and solutions. In: Enterprise Interoperability, volume 213 of Lecture Notes in Business Information Processing, pp. 73–82. Springer Berlin Heidelberg, (2015)

  22. de Lara, J., Guerra, E., Cobos, R., Llorena, J.M.: Extending deep meta-modelling for practical model-driven engineering. Comput. J. 57(1), 36–58 (2014)

    Article  Google Scholar 

  23. De Lara, J., Guerra, E., Cuadrado, J.S.: When and how to use multilevel modelling. ACM TOSEM 24(2), 12 (2014)

    Article  Google Scholar 

  24. Demuth, A., Riedl-Ehrenleitner, M., Egyed, A.: Towards flexible, incremental, and paradigm-agnostic consistency checking in multi-level modeling environments. In: MULTI 2014–Multi-Level Modelling Workshop Proceedings, p. 73 (2014)

  25. Egyed, A.: Automatically detecting and tracking inconsistencies in software design models. IEEE Trans. Softw. Eng. 37(2), 188–204 (2011)

    Article  Google Scholar 

  26. Fiatech. Advancing Interoperability for the Capital Projects Industry: A Vision Paper. Technical report, Fiatech (February 2012)

  27. Gallaher, M.P., O’Connor, A.C. Jr. Dettbarn, J.L., Gilday, L.T: Cost Analysis of Inadequate Interoperability in the U.S. Capital Facilities Industry. Technical report, NIST (2004)

  28. Giachetti, G., Valverde, F., Marín, B.: Interoperability for model-driven development: current state and future challenges. In: Sixth International Conference on Research Challenges in Information Science (RCIS), 2012, pp. 1–10. IEEE (2012)

  29. Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based metamodelling framework. Softw. Syst. Model. 5(1), 72–90 (2006)

    Article  Google Scholar 

  30. González, C.A., Cabot, J.: Formal verification of static software models in MDE: a systematic review. Inf. Softw. Technol. 56, 821–838 (2014)

    Article  Google Scholar 

  31. Guerra, E., de Lara, J.: Towards automating the analysis of integrity constraints in multi-level models. In: MULTI 2014—Multi-Level Modelling Workshop Proceedings, p. 63 (2014)

  32. Haraty, R.A., Naous, M.F., Mourad, A.: Assuring consistency in mixed models. J. Comput. Sci. 5(4), 653–663 (2014)

    Article  Google Scholar 

  33. Horridge, M., Bechhofer, S.: The OWL API: a Java API for OWL ontologies. Semant. Web 2(1), 11–21 (2011)

    Google Scholar 

  34. Igamberdiev, M., Grossmann, G., Stumptner, M.: An implementation of multi-level modelling in F-logic. In: Proceedings of the Workshop on Multi-Level Modelling (MULTI14) Co-Located with MoDELS 2014, volume 1286 of CEUR, pp. 33–42 (2014)

  35. ISO. ISO 15926: Industrial automation systems and integration–Integration of life-cycle data for process plants including oil and gas production facilities. Technical report, ISO (2004)

  36. Jordan, A., Grossmann, G., Mayer, W., Selway, M., Stumptner, M.: On the application of software modelling principles on ISO 15926. In: Proceedings of the Modelling of the Physical World (MOTPW) Workshop at MODELS 2012. ACM (2012)

  37. Kantner, D.: Specification and Implementation of a Deep OCL Dialect. Master’s thesis, Department of Business Informatics and Mathematics Chair of Software Engineering (2014)

  38. Kennel, B.: A unified framework for multi-level modeling. PhD thesis, University of Mannheim (2012)

  39. Kifer, M., Yang, G., Wan, H., Zhao, C., Kuznetsova, P., Liang, S.: Flora-2: user’s manual. Flora 2, 4 (2013)

    Google Scholar 

  40. Kim, S.-K., Carrington, D.: A formal mapping between uml models and object-z specifications. In: ZB 2000: Formal Specification and Development in Z and B, pp. 2–21. Springer (2000)

  41. Kleiner, M., Albert, P., Bézivin, J.: Parsing sbvr-based controlled languages. In: Proceedings 12th International Conference on Model Driven Engineering Languages and Systems MODELS 2009, pp. 122–136, Denver, CO, October (2009)

  42. Klokkhammer, O.: A diagrammatic approach to deep metamodelling. Master’s thesis, Department of Informatics University of Bergen (2014)

  43. Lara, J., Guerra, E.: Deep meta-modelling with MetaDepth. In: TOOLS 2010, volume LNCS 6141, pp. 1–20. Springer (2010)

  44. Lara, J., Guerra, E., Cuadrado, J.S.: Model-driven engineering with domain-specific meta-modelling languages. Springer SoSyM, Berlin (2013)

    Google Scholar 

  45. Lucas, F.J., Molina, F., Toval, A.: A systematic review of uml model consistency management. Inf. Softw. Technol. 51(12), 1631–1645 (2009)

    Article  Google Scholar 

  46. Mayer, W., Killisperger, P., Stumptner, M., Grossmann, G.: A declarative framework for work process configuration. Artif. Intell. Eng. Design Anal. Manuf. 25(2), 145–165 (2011)

    Google Scholar 

  47. Lucas, F.J., Molina, F., Toval, A.: A systematic review of uml model consistency management. Inf. Softw. Technol. 51(12), 1631–1645 (2009)

    Article  Google Scholar 

  48. Mayer, W., Stumptner, M., Grossmann, G., Jordan, A.: Semantic interoperability in the oil and gas industry: a challengingtestbed for semantic technologies. In: AAAI 2013 Fall Symposium on Semantics for Big Data (2013)

  49. MIMOSA. Open Systems Architecture for Enterprise Application Integration (OSA-EAI) 3.2.3. Technical report, MIMOSA, (2012)

  50. Segura A.M., Cuadrado, J.S., De Lara, J.: ODaaS: towards the model-driven engineering of open data applications as data services. In: Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), 2014 IEEE 18th International, pp. 335–339 (2014)

  51. Neumayr, B., Jeusfeld, M.A., Schrefl, M., Schätz, C.: Dual deep instantiation and its ConceptBase implementation. In: Proceedings of CAiSE 2014, LNCS 8484, pp. 503–517. Springer (2014)

  52. Neumayr, B., Schrefl, M., Thalheim, B.: Modeling techniques for multi-level abstraction. In: The Evolution of Conceptual Modeling, pp. 68–92. Springer (2011)

  53. Rossini, A., de Lara, J., Guerra, E., Rutle, A., Wolter, U.: A formalisation of deep metamodelling. Formal Asp. Comput. 26(6), 1115–1152 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  54. Schönböck, J., Kusel, A., Etzlstorfer, J., Kapsammer, E., Schwinger, W., Wimmer, M., Wischenbart, M.: CARE—a constraint-based approach for re-establishing conformance relationships. In APCCM 2014, CRPIT vol. 154, pp. 19–28. ACS (2014)

  55. Selway, M., Mayer, W., Stumptner, M.: Semantic interpretation of requirements through cognitive grammar and configuration. In: Proceedings of Pacific Rim Conference on Artificial Intelligence (PRICAI) 2014, volume LNCS 8862, pp. 496–510. Springer (2014)

  56. Soeken, M., Wille, R., Kuhlmann, M., Gogolla, M., Drechsler, R.: Verifying uml/ocl models using boolean satisfiability. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE ’10, pp. 1341–1344, 3001 Leuven, Belgium, Belgium, 2010. European Design and Automation Association (2010)

  57. Stumptner, M., Friedrich, G., Haselböck, A.: Generative constraint-based configuration of large technical systems. Artif. Intell. Eng. Design Anal. Manuf. 12(4), 307–320 (1998)

Download references

Acknowledgments

This research was supported by the South Australian Premier’s Research and Industry Fund.

Author information

Authors and Affiliations

  1. Advanced Computing Research Centre, School of IT and Mathematical Sciences, University of South Australia, Mawson Lakes, SA, 5095, Australia

    Muzaffar Igamberdiev, Georg Grossmann, Matt Selway & Markus Stumptner

Authors
  1. Muzaffar Igamberdiev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Georg Grossmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Matt Selway
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Markus Stumptner
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Georg Grossmann.

Additional information

Communicated by Prof. Colin Atkinson, Thomas Kühne, and Juan de Lara.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Igamberdiev, M., Grossmann, G., Selway, M. et al. An integrated multi-level modeling approach for industrial-scale data interoperability. Softw Syst Model 17, 269–294 (2018). https://doi.org/10.1007/s10270-016-0520-6

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-016-0520-6

Keywords

Search

Navigation