nach oben

Software and Systems Modeling

Erschienen in:

05.04.2016 | Theme Section Paper

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

verfasst von: Muzaffar Igamberdiev, Georg Grossmann, Matt Selway, Markus Stumptner

Erschienen in: Software and Systems Modeling | Ausgabe 1/2018

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Vorheriger Artikel Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic

Nächster Artikel Scenario-based system design with colored Petri nets: an application to train control systems

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

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

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

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/.

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)

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

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)

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

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

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

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)

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)

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)CrossRef

12.

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

13.

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

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)CrossRef

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)CrossRef

23.

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

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)CrossRef

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)CrossRef

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)CrossRef

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)CrossRef

33.

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

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)

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)

45.

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

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)

47.

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

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)MathSciNetCrossRefMATH

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)

Titel: An integrated multi-level modeling approach for industrial-scale data interoperability
verfasst von: Muzaffar Igamberdiev
Georg Grossmann
Matt Selway
Markus Stumptner
Publikationsdatum: 05.04.2016
Verlag: Springer Berlin Heidelberg
Erschienen in: Software and Systems Modeling / Ausgabe 1/2018
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI: https://doi.org/10.1007/s10270-016-0520-6

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Weitere Artikel der Ausgabe 1/2018

Model-driven development of mobile applications for Android and iOS supporting role-based app variability

Model-based engineering in the embedded systems domain: an industrial survey on the state-of-practice

Scenario-based system design with colored Petri nets: an application to train control systems

Foundations for Streaming Model Transformations by Complex Event Processing

On the impact of size to the understanding of UML diagrams

Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic