Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Dependability of Model-Driven Executable DSLs

Critical Review and Solutions

  • Conference paper
  • First Online:
Software Architecture (ECSA 2020)

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

Included in the following conference series:

Abstract

One of the promising techniques to address the dependability of a system is to apply, at early design stages, domain specific languages (DSLs) with execution semantics. Indeed, an executable DSL would not only represent the expected system’s structure but it is intended to itself behave as the system should run. However, in order to make executable DSLs a powerful asset in the development of safety-critical systems, not only a rigorous development process is required but the domain expert should also have confidence in the execution semantics provided by the DSL developer. The challenge addressed in this paper is then to verify whether execution semantics provided by Model-Driven Engineering (MDE) tools comply with the expected behaviour of a given DSL. We experimented existing MDE approaches with associated implementations (QVT, Kermeta, fUML), in order to debug a safety-critical system. This paper presents the lessons learned from this study and provides formal alternatives, based on the B method and CSP process algebra, which are well-established techniques allowing interactive animation on the one hand and reasoning on the behaviour correctness, on the other hand.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Similar content being viewed by others

Notes

  1. 1.

    https://www.eclipse.org/modeling/emf/.

  2. 2.

    https://www.eclipse.org/Xtext/.

  3. 3.

    http://www.eclipse.org/atl/.

  4. 4.

    http://gemoc.org/.

  5. 5.

    CSP: Communicating Sequential Processes.

  6. 6.

    The ecore file can be found at: https://github.com/gemoc/petrinet/blob/master/petrinetv1/fr.inria.diverse.sample.petrinetv1.model/model/petrinetv1.ecore.

  7. 7.

    OMG: Object Management Group (https://www.omg.org).

  8. 8.

    HashSet is an implementation of interface Set in Java.

  9. 9.

    Meeduse: http://vasco.imag.fr/tools/meeduse/.

  10. 10.

    CSP: Communicating Sequential Processes [5].

References

  1. Bousse, E., Leroy, D., Combemale, B., Wimmer, M., Baudry, B.: Omniscient debugging for executable DSLs. J. Syst. Softw. 137, 261–288 (2018)

    Article  Google Scholar 

  2. Butler, M., Leuschel, M.: Combining CSP and B for specification and property verification. In: Fitzgerald, J., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 221–236. Springer, Heidelberg (2005). https://doi.org/10.1007/11526841_16

    Chapter  Google Scholar 

  3. Object Management Group: Object Constraint Language (OCL) 2.4 Core Specification (2014). https://www.omg.org/spec/OCL/

  4. Object Management Group: Meta Object Facility (MOF) 2.5.1 Core Specification (2015). https://www.omg.org/spec/MOF/2.5.1/

  5. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall Inc., Upper Saddle River (1985)

    MATH  Google Scholar 

  6. Idani, A., Ledru, Y., Vega, G.: Alliance of model-driven engineering with a proof-based formal approach. Innov. Syst. Softw. Eng. 1–19 (2020). https://doi.org/10.1007/s11334-020-00366-3

  7. Jézéquel, J.M., Combemale, B., Barais, O., Monperrus, M., Fouquet, F.: Mashup of meta-languages and its implementation in the Kermeta language workbench. Softw. Syst. Model. 14, 905–920 (2015)

    Article  Google Scholar 

  8. Langer, P., Mayerhofer, T., Kappel, G.: Semantic model differencing utilizing behavioral semantics specifications. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds.) MODELS 2014. LNCS, vol. 8767, pp. 116–132. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11653-2_8

    Chapter  Google Scholar 

  9. Leuschel, M., Butler, M.: ProB: a model checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855–874. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-45236-2_46

    Chapter  Google Scholar 

  10. Mayerhofer, T., Langer, P., Wimmer, M., Kappel, G.: xMOF: executable DSMLs based on fUML. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds.) SLE 2013. LNCS, vol. 8225, pp. 56–75. Springer, Cham (2013). https://doi.org/10.1007/978-3-319-02654-1_4

    Chapter  Google Scholar 

  11. Wachsmuth, G.: Modelling the operational semantics of domain-specific modelling languages. In: Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2007. LNCS, vol. 5235, pp. 506–520. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-88643-3_16

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Univ. Grenoble Alpes, CNRS, LIG, 38000, Grenoble, France

    Akram Idani

Authors
  1. Akram Idani
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Akram Idani .

Editor information

Editors and Affiliations

  1. University of L’Aquila, L’Aquila, Italy

    Henry Muccini

  2. University of Groningen, Groningen, The Netherlands

    Paris Avgeriou

  3. Faculty of Informatics, Masaryk University, Brno, Czech Republic

    Barbora Buhnova

  4. Department of Computer Science, University of York, York, UK

    Javier Camara

  5. Department of Computer Science, Linnaeus University, Växjö, Sweden

    Mauro Caporuscio

  6. University of L’Aquila, L’Aquila, Italy

    Mirco Franzago

  7. Karlsruhe Institute of Technology, Karlsruhe, Germany

    Anne Koziolek

  8. University of Bergamo, Dalmine, Italy

    Patrizia Scandurra

  9. Gran Sasso Science Institute, L’Aquila, Italy

    Catia Trubiani

  10. Department of Computer Science, KU Leuven, Leuven, Belgium

    Danny Weyns

  11. Faculty of Computer Science, University of Vienna, Vienna, Austria

    Uwe Zdun

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Idani, A. (2020). Dependability of Model-Driven Executable DSLs. In: Muccini, H., et al. Software Architecture. ECSA 2020. Communications in Computer and Information Science, vol 1269. Springer, Cham. https://doi.org/10.1007/978-3-030-59155-7_27

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-59155-7_27

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-59154-0

  • Online ISBN: 978-3-030-59155-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation