Skip to main content
SpringerLink
Log in

Validation and Verification in Domain-Specific Modeling Method Engineering

  • Conference paper
  • First Online:
The Practice of Enterprise Modeling (PoEM 2021)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 432))

Included in the following conference series:

Abstract

Enterprise models have the potential to constitute a valuable asset for organizations, e.g., in terms of enabling a variety of analyses. A prerequisite for realizing this potential is that an enterprise model is syntactically, semantically and pragmatically valid. To ensure these three types of validity, verification and validation (V&V) mechanisms are required to be in place while designing the enterprise modeling method, e.g., to validate identified requirements, to check created enterprise models against syntactic rules, or to ensure intra- and inter-model consistency. Therefore, the objective of this paper is to systematically embed verification and validation (V&V) techniques into the design of (enterprise) domain-specific modeling methods (DSMMs). To this end, we integrate steps and considerations of well-established DSMM engineering processes, and enrich them with V&V techniques based upon our earlier experiences and a literature analysis.

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 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 79.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

Notes

  1. 1.

    Program derivation means to derive an executable program from a formal specification through mathematical means. The program thus obtained is correct by construction.

References

  1. Antunes, G., Barateiro, J., Caetano, A., Borbinha, J.: Analysis of federated enterprise architecture models. In: ECIS 2015 Completed Research Papers (2015), paper 10

    Google Scholar 

  2. Azevedo, C.L., Almeida, J.P.A., van Sinderen, M., Quartel, D., Guizzardi, G.: An ontology-based semantics for the motivation extension to ArchiMate. In: 2011 IEEE 15th International Enterprise Distributed Object Computing Conference, pp. 25–34. IEEE (2011)

    Google Scholar 

  3. Azevedo, C.L., Iacob, M.E., Almeida, J.P.A., van Sinderen, M., Pires, L.F., Guizzardi, G.: Modeling resources and capabilities in enterprise architecture: a well-founded ontology-based proposal for ArchiMate. Inf. Syst. 54, 235–262 (2015)

    Article  Google Scholar 

  4. Barjis, J.: Collaborative, participative and interactive enterprise modeling. In: Filipe, J., Cordeiro, J. (eds.) ICEIS 2009. LNBIP, vol. 24, pp. 651–662. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-01347-8_54

    Chapter  Google Scholar 

  5. Bork, D.: Metamodel-based analysis of domain-specific conceptual modeling methods. In: Buchmann, R.A., Karagiannis, D., Kirikova, M. (eds.) PoEM 2018. LNBIP, vol. 335, pp. 172–187. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-02302-7_11

    Chapter  Google Scholar 

  6. Bork, D., Roelens, B.: A technique for evaluating and improving the semantic transparency of modeling language notations. Software and Systems Modeling, pp. 1–25 (2021)

    Google Scholar 

  7. Chapurlat, V., Braesch, C.: Verification, validation, qualification and certification of enterprise models: Statements and opportunities. Compu. Industry 59(7), 711–721 (2008). enterprise Integration and Interoperability in Manufacturing Systems

    Google Scholar 

  8. Chapurlat, V., Kamsu-Foguem, B., Prunet, F.: A formal verification framework and associated tools for enterprise modeling: Application to ueml. Comput. Ind. 57(2), 153–166 (2006)

    Article  Google Scholar 

  9. De Kinderen, S., Ma, Q.: Requirements engineering for the design of conceptual modeling languages. Appl. Ontol. 10(1), 7–24 (2015)

    Article  Google Scholar 

  10. Department of Defense: Instruction 5000.61: Dod modeling and simulation (m&s) verification, validation and accreditation (vv&a). Technical report, Department of Defense (2003)

    Google Scholar 

  11. Dijkstra, E.W.: A Discipline of Programming. Pearson (1976)

    Google Scholar 

  12. Dijkstra, E.W., Feijen, W.: A Method of Programming. Addison Wesley Longman (1988)

    Google Scholar 

  13. Efendioglu, N., Woitsch, R.: Modelling method design: an ADOxx realisation. In: 2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW), pp. 1–8. IEEE Computer Society, Los Alamitos, CA, USA, September 2016

    Google Scholar 

  14. Efendioglu, N., Woitsch, R., Karagiannis, D.: Modelling method design: a model-driven approach. In: Anderst-Kotsis, G., Indrawan-Santiago, M. (eds.) Proceedings of the 17th International Conference on Information Integration and Web-based Applications & Services, iiWAS 2015, Brussels, Belgium, 11–13 December, 2015, pp. 59:1–59:10. ACM (2015)

    Google Scholar 

  15. Erdweg, S., van der Storm, T., Völter, M., Tratt, L., Bosman, R., Cook, W.R., Gerritsen, A., Hulshout, A., Kelly, S., Loh, A., Konat, G., Molina, P.J., Palatnik, M., Pohjonen, R., Schindler, E., Schindler, K., Solmi, R., Vergu, V., Visser, E., van der Vlist, K., Wachsmuth, G., van der Woning, J.: Evaluating and comparing language workbenches: Existing results and benchmarks for the future. Computer Languages, Systems & Structures 44, 24–47 (2015), special issue on the 6th and 7th International Conference on Software Language Engineering (SLE 2013 and SLE 2014)

    Google Scholar 

  16. Fill, H., Karagiannis, D.: On the conceptualisation of modelling methods using the ADOxx meta modelling platform. EMISA 8(1), 4–25 (2013)

    Google Scholar 

  17. Fill, H.G., Redmond, T., Karagiannis, D.: Formalizing meta models with FDMM: the ADOxx case. In: Proceedings of the 14th International Conference on Enterprise Information Systems (ICEIS 2012). LNBIP, vol. 141, pp. 429–451 (2013)

    Google Scholar 

  18. Frank, U.: Outline of a method for designing domain-specific modelling languages. ICB Research Report 42, University of Duisburg-Essen, Essen (2010)

    Google Scholar 

  19. Frank, U.: Multi-perspective enterprise modelling: background and terminological foundation. ICB-Research Report 46, University of Duisburg-Essen, Essen (2011)

    Google Scholar 

  20. Frank, U.: Domain-specific modeling languages: Requirements analysis and design guidelines. In: Reinhartz-Berger, I., Sturm, A., Clark, T., Cohen, S., Bettin, J. (eds.) Domain Engineering, pp. 133–157. Springer, Berlin (2013)

    Chapter  Google Scholar 

  21. Gammaitoni, L.: On the Use of Alloy in Engineering Domain Specific Modeling Languages. Ph.d. thesis, University of Luxembourg (2017)

    Google Scholar 

  22. Gammaitoni, L., Kelsen, P.: Domain-specific visualization of alloy instances. In: Proceedings of the 4th International ABZ Conference, ABZ 2014. LNCS, vol. 8477, pp. 324–327 (2014)

    Google Scholar 

  23. Gammaitoni, L., Kelsen, P.: F-alloy: a relational model transformation language based on alloy. Softw. Syst. Model. 18(1), 213–247 (2019)

    Article  Google Scholar 

  24. Gammaitoni, L., Kelsen, P., Glodt, C.: Designing languages using lightning. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015), pp. 77–82 (2015)

    Google Scholar 

  25. Gammaitoni, L., Kelsen, P., Ma, Q.: Agile validation of model transformations using compound F-Alloy specifications. Sci. Comput. Program. 162, 55–75 (2018)

    Article  Google Scholar 

  26. Geeraerts, D.: Theories of Lexical Semantics. Oxford University Press, Oxford (2010)

    Google Scholar 

  27. Gries, D.: The Science of Programming. Springer, Cham (1981)

    Book  Google Scholar 

  28. Iung, A., Carbonell, J., Marchezan, L., Rodrigues, E., Bernardino, M., Basso, F.P., Medeiros, B.: Systematic mapping study on domain-specific language development tools. Empir. Softw. Eng. 25(5), 4205–4249 (2020)

    Article  Google Scholar 

  29. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press (2 2012), revised edition

    Google Scholar 

  30. Jeusfeld, M.A.: SemCheck: Checking Constraints for Multi-perspective Modeling Languages. In: Domain-Specific Conceptual Modeling, pp. 31–53. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39417-6_2

    Chapter  Google Scholar 

  31. Johnson, P., Lagerström, R., Närman, P., Simonsson, M.: Enterprise architecture analysis with extended influence diagrams. Inf. Syst. Front. 9(2–3), 163–180 (2007)

    Article  Google Scholar 

  32. Karagiannis, D.: Agile modeling method engineering. In: Karanikolas, N.N., et al. (eds.) Proceedings of the 19th Panhellenic Conference on Informatics, PCI 2015, Athens, Greece, October 1–3, 2015, pp. 5–10. ACM (2015)

    Google Scholar 

  33. Karagiannis, D.: Conceptual modelling methods: the AMME agile engineering approach. In: Silaghi, G.C., Buchmann, R.A., Boja, C. (eds.) IE 2016. LNBIP, vol. 273, pp. 3–19. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-73459-0_1

    Chapter  Google Scholar 

  34. Karagiannis, D., Burzynski, P., Utz, W., Buchmann, R.A.: A metamodeling approach to support the engineering of modeling method requirements. In: Damian, D.E., Perini, A., Lee, S. (eds.) 27th IEEE International Requirements Engineering Conference, RE 2019, Jeju Island, Korea (South), 23–27 September, 2019, pp. 199–210. IEEE (2019)

    Google Scholar 

  35. Karagiannis, D., Kühn, H.: Metamodelling platforms. In: Bauknecht, K., Tjoa, A.M., Quirchmayr, G. (eds.) EC-Web 2002. LNCS, vol. 2455, pp. 182–182. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45705-4_19

    Chapter  Google Scholar 

  36. Karsai, G., Krahn, H., Pinkernell, C., Rumpe, B., Schindler, M., Völkel, S.: Design guidelines for domain specific languages. arXiv preprint arXiv:1409.2378 (2014)

  37. de Kinderen, S., Ma, Q., Kaczmarek-Heß, M.: Towards extending the validation possibilities of ADOxx with alloy. In: Grabis, J., Bork, D. (eds.) PoEM 2020. LNBIP, vol. 400, pp. 138–152. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-63479-7_10

    Chapter  Google Scholar 

  38. Krogstie, J.: Evaluating UML Using a Generic Quality Framework, pp. 1–22. IGI Global, USA (2003)

    Google Scholar 

  39. Krogstie, J., Sindre, G., Jørgensen, H.: Process models representing knowledge for action: a revised quality framework. Eur. J. Inf. Syst. 15(1), 91–102 (2006)

    Article  Google Scholar 

  40. Krogstie, J., Sindre, G., Lindland, O.I.: 20 years of quality of models. In: Seminal Contributions to Information Systems Engineering, pp. 103–107. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36926-1_8

    Chapter  Google Scholar 

  41. van der Linden, D., Hoppenbrouwers, S., Lartseva, A., Molnar, W.: Beyond terminologies: using psychometrics to validate shared ontologies. Appl. Ontol. 7(4), 471–487 (2012)

    Article  Google Scholar 

  42. Lindland, O.I., Sindre, G., Sølvberg, A.: Understanding quality in conceptual modeling. IEEE Softw. 11(2), 42–49 (1994)

    Article  Google Scholar 

  43. Moody, D.L.: The physics of notations: toward a scientific basis for constructing visual notations in software engineering. IEEE Trans. Software Eng. 35(6), 756–779 (2009)

    Article  Google Scholar 

  44. Negm, E., Makady, S., Salah, A.: Survey on domain specific languages implementation aspects. Int. J. Adv. Comput. Sci. Appl. 10(11) (2019)

    Google Scholar 

  45. Niemann, K.D.: From enterprise architecture to IT governance, vol. 1. Springer (2006)

    Google Scholar 

  46. Pohl, K.: Requirements engineering: fundamentals, principles, and techniques. Springer Publishing Company, Incorporated (2010)

    Book  Google Scholar 

  47. Poletaeva, T., Guizzardi, G., Almeida, J.P.A., Abdulrab, H.: Revisiting the DEMO transaction pattern with the Unified Foundational Ontology (UFO). In: Aveiro, D., Pergl, R., Guizzardi, G., Almeida, J.P., Magalhães, R., Lekkerkerk, H. (eds.) EEWC 2017. LNBIP, vol. 284, pp. 181–195. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-57955-9_14

    Chapter  Google Scholar 

  48. Seligman, E., Schubert, T., Kumar, M.V.A.K.: Formal Verification: An Essential Toolkit for Modern VLSI Design, 1st edn. Morgan Kaufmann (2015)

    Google Scholar 

  49. Vacchi, E., Cazzola, W., Pillay, S., Combemale, B.: Variability support in domain-specific language development. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds.) SLE 2013. LNCS, vol. 8225, pp. 76–95. Springer, Cham (2013). https://doi.org/10.1007/978-3-319-02654-1_5

    Chapter  Google Scholar 

  50. Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: eclipse modeling framework. Pearson Education (2008)

    Google Scholar 

  51. Tolvanen, J.P., Kelly, S.: Metaedit+ defining and using integrated domain-specific modeling languages. In: Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications, pp. 819–820 (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Luxembourg, 2 Avenue de l’Université, 4365, Esch-sur-Alzette, Luxembourg

    Qin Ma

  2. University of Duisburg-Essen, Universitätstrasse 9, 45141, Essen, Germany

    Monika Kaczmarek-Heß & Sybren de Kinderen

Authors
  1. Qin Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Monika Kaczmarek-Heß
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sybren de Kinderen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Qin Ma .

Editor information

Editors and Affiliations

  1. KU Leuven, LIRIS, Leuven, Belgium

    Estefanía Serral

  2. Stockholm University, Kista, Sweden

    Janis Stirna

  3. University of Geneva, Carouge, Switzerland

    Jolita Ralyté

  4. Riga Technical University, Riga, Latvia

    Jānis Grabis

Rights and permissions

Reprints and permissions

Copyright information

© 2021 IFIP International Federation for Information Processing

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Ma, Q., Kaczmarek-Heß, M., de Kinderen, S. (2021). Validation and Verification in Domain-Specific Modeling Method Engineering. In: Serral, E., Stirna, J., Ralyté, J., Grabis, J. (eds) The Practice of Enterprise Modeling. PoEM 2021. Lecture Notes in Business Information Processing, vol 432. Springer, Cham. https://doi.org/10.1007/978-3-030-91279-6_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-91279-6_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-91278-9

  • Online ISBN: 978-3-030-91279-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Societies and partnerships

Search

Navigation