Skip to main content
SpringerLink
Log in

A Model Driven Engineering Approach for Heterogeneous Model Composition

  • Conference paper
  • First Online:
Model-Driven Engineering and Software Development (MODELSWARD 2017)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 880))

  • 613 Accesses

Abstract

Diagrammatic modeling plays an important role in model driven software engineering as it can be used to define domain-specific modeling languages. During the modeling phase, software designers encode domain knowledge into models. Complex models of software systems often consist of heterogeneous models representing various aspects of a system such as structure, behavior, security, and resources. In this paper, we present a formal modeling approach for the composition of heterogeneous models. We apply the technique for modeling the optimization of distributed resources using game theory.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Bagdasaryan, A.: Systems theoretic techniques for modeling, control, and decision support in complex dynamic systems. CoRR abs/1008.0775 (2010)

    Google Scholar 

  2. Erdweg, S., Giarrusso, P.G., Rendel, T.: Language composition untangled. In: Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, LDTA 2012, pp. 7:1–7:8. ACM, New York (2012)

    Google Scholar 

  3. Haber, A., Look, M., Perez, A.N., Nazari, P.M.S., Rumpe, B., Völkel, S., Wortmann, A.: Integration of heterogeneous modeling languages via extensible and composable language components. In: Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development. MODELSWARD 2015, Portugal, pp. 19–31. SCITEPRESS - Science and Technology Publications, Lda (2015)

    Google Scholar 

  4. Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Brckner, B., Mosses, P.D., Sannella, D., Tarlecki, A.: CASL: the common algebraic specification language. Theor. Comput. Sci. 286, 153–196 (2002)

    Article  MathSciNet  Google Scholar 

  5. Mossakowski, T.: Relating CASL with other specification languages: the institution level. Theor. Comput. Sci. 286, 367–475 (2002)

    Article  MathSciNet  Google Scholar 

  6. Rabbi, F., Kristensen, L.M., Lamo, Y.: Optimizing distributed resource allocation using epistemic game theory: a model-driven engineering approach. In: Pires, L.F., Hammoudi, S., Selic, B. (eds.): Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, 19–21 February 2017, Porto, Portugal, pp. 41–52. SciTePress (2017)

    Google Scholar 

  7. Rutle, A.: Diagram predicate framework: a formal approach to MDE. Ph.D. thesis, Department of Informatics, University of Bergen, Norway (2010)

    Google Scholar 

  8. Lamo, Y., Wang, X., Mantz, F., MacCaull, W., Rutle, A.: Computer and information science 2012. In: Lee, R. (ed.) DPF Workbench: A Diagrammatic Multi-layer Domain Specific (Meta-)Modelling Environment. Studies in Computational Intelligence, vol. 429, pp. 37–52. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-30454-5_3

    Chapter  Google Scholar 

  9. Herrmann, C., Krahn, H., Rumpe, B., Schindler, M., Völkel, S.: An algebraic view on the semantics of model composition. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA 2007. LNCS, vol. 4530, pp. 99–113. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-72901-3_8

    Chapter  Google Scholar 

  10. Wang, X.: Towards correct modelling and model transformation in DPF. Ph.D. thesis, Department of Informatics, University of Bergen, Norway (2016)

    Google Scholar 

  11. Sabetzadeh, M., Easterbrook, S.: An algebraic framework for merging incomplete and inconsistent views. In: 13th International Requirements Engineering Conference, RE 2005, pp. 306–315 (2005)

    Google Scholar 

  12. Favre, J.: Foundations of model (driven) (reverse) engineering: models - episode I: stories of the fidus papyrus and of the solarus. In: Bézivin, J., Heckel, R. (eds.) Language Engineering for Model-Driven Software Development, Dagstuhl Seminar Proceedings, 29 February–5 March 2004, vol. 04101. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany (2004)

    Google Scholar 

  13. Favre, J.M.: Foundations of meta-pyramids: languages vs. metamodels - episode ii: story of thotus the baboon1. In: Bezivin, J., Heckel, R. (eds.) Language Engineering for Model-Driven Software Development, Dagstuhl Seminar Proceedings, no. 04101. Dagstuhl, Germany, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany (2005)

    Google Scholar 

  14. Favre, J.M., NGuyen, T.: Towards a megamodel to model software evolution through transformations. In: Electronic Notes in Theoretical Computer Science, vol. 127, pp. 59–74 (2005). Proceedings of the Workshop on Software Evolution through Transformations: Model-Based vs. Implementation-Level Solutions (SETra 2004) (2004)

    Google Scholar 

  15. Diskin, Z., Xiong, Y., Czarnecki, K.: Specifying overlaps of heterogeneous models for global consistency checking. In: Proceedings of the First International Workshop on Model-Driven Interoperability. MDI 2010, pp. 42–51. ACM, New York (2010)

    Google Scholar 

  16. Diskin, Z.: Model synchronization: mappings, tiles, and categories. In: Fernandes, J.M., Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol. 6491, pp. 92–165. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-18023-1_3

    Chapter  Google Scholar 

  17. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. Springer, Heidelberg (2006). https://doi.org/10.1007/3-540-31188-2

    Book  MATH  Google Scholar 

  18. Lambers, L., Ehrig, H., Prange, U., Orejas, F.: Embedding and confluence of graph transformations with negative application conditions. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 162–177. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-87405-8_12

    Chapter  MATH  Google Scholar 

  19. Rabbi, F., Lamo, Y., Yu, I.C.: Towards a categorical approach for meta-modelling epistemic game theory. In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. MODELS 2016, pp. 57–64. ACM, New York (2016)

    Google Scholar 

  20. Han, P.K.J., Klein, W.M.P., Arora, N.K.: Varieties of uncertainty in health care. Med. Decis. Making 31, 828–838 (2011). PMID: 22067431

    Article  Google Scholar 

  21. Perea, A.: Epistemic Game Theory: Reasoning and Choice. Cambridge University Press, Cambridge (2012)

    Book  Google Scholar 

  22. Belnap, N.D.: Modern uses of multiple-valued logic. In: Dunn, J.M., Epstein, G. (eds.) A Useful Four-Valued Logic, vol. 2, pp. 5–37. Springer, Netherlands, Dordrecht (1977). https://doi.org/10.1007/978-94-010-1161-7_2

    Chapter  MATH  Google Scholar 

  23. Ginsberg, M.L.: Bilattices and modal operators. J. Log. Comput. 1, 41–69 (1990)

    Article  MathSciNet  Google Scholar 

  24. Sabetzadeh, M., Easterbrook, S.: iVuBlender: a tool for merging incomplete and inconsistent views. In: 13th IEEE International Conference on Requirements Engineering (RE 2005), pp. 453–454 (2005)

    Google Scholar 

  25. Diskin, Z., Xiong, Y., Czarnecki, K.: Specifying overlaps of heterogeneous models for global consistency checking. In: Proceedings of the First International Workshop on Model-Driven Interoperability. MDI 2010, pp. 42–51. ACM, New York (2010)

    Google Scholar 

  26. Diskin, Z., König, H.: Incremental consistency checking of heterogeneous multimodels. In: Milazzo, P., Varró, D., Wimmer, M. (eds.) STAF 2016. LNCS, vol. 9946, pp. 274–288. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-50230-4_21

    Chapter  Google Scholar 

  27. Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S., Chechik, M.: Consistency checking of conceptual models via model merging. In: 15th IEEE International Requirements Engineering Conference (RE 2007), pp. 221–230 (2007)

    Google Scholar 

  28. König, H., Diskin, Z.: Advanced local checking of global consistency in heterogeneous multimodeling. In: Wasowski, A., Lönn, H. (eds.) ECMFA 2016. LNCS, vol. 9764, pp. 19–35. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42061-5_2

  29. Diskin, Z., Kokaly, S., Maibaum, T.: Mapping-aware megamodeling: design patterns and laws. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds.) SLE 2013. LNCS, vol. 8225, pp. 322–343. Springer, Cham (2013). https://doi.org/10.1007/978-3-319-02654-1_18

    Chapter  Google Scholar 

  30. Favre, J.-M., Lämmel, R., Varanovich, A.: Modeling the linguistic architecture of software products. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 151–167. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33666-9_11

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Western Norway University of Applied Sciences, Bergen, Norway

    Fazle Rabbi, Yngve Lamo & Lars Michael Kristensen

  2. University of Oslo, Oslo, Norway

    Fazle Rabbi

Authors
  1. Fazle Rabbi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yngve Lamo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Lars Michael Kristensen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Fazle Rabbi .

Editor information

Editors and Affiliations

  1. University of Twente, Enschede, The Netherlands

    Luís Ferreira Pires

  2. Siège du Groupe ESEO, Angers, France

    Slimane Hammoudi

  3. Malina Software Corp., Nepean, Ontario, Canada

    Bran Selic

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Rabbi, F., Lamo, Y., Kristensen, L.M. (2018). A Model Driven Engineering Approach for Heterogeneous Model Composition. In: Pires, L., Hammoudi, S., Selic, B. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2017. Communications in Computer and Information Science, vol 880. Springer, Cham. https://doi.org/10.1007/978-3-319-94764-8_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-94764-8_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-94763-1

  • Online ISBN: 978-3-319-94764-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation