Skip to main content
SpringerLink
Log in

DIME Days (ISoLA 2022 Track Introduction)

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering (ISoLA 2022)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13702))

Included in the following conference series:

  • 500 Accesses

Abstract

This article provides an introduction to the Dime Days, organized by Tiziana Margaria and Bernhard Steffen as part of ISoLA 2022. Dime is in active development since 2015 and from that time on, the tool has been applied successfully in educational contexts, international workshops and multiple industrial projects. Since then, the tool grew continuously and it is now a centerpiece of our Language-Driven Engineering ecosystem and an integral part of how we approach the development and delivery of web applications. For that reason, we dedicate Dime a special track within ISoLA 2022, where we present contributions that deal with experience gathered from using graphical modeling environments, quality assurance in our ecosystem and the shift to the cloud.

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

Similar content being viewed by others

Notes

  1. 1.

    https://equinocs.springernature.com/.

References

  1. Bainczyk, A., Boßelmann, S., Krause, M., Krumrey, M., Steffen, B., Wirkner, D.: Towards continuous quality control in the context of language-driven engineering. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 389–406. Springer, Heidelberg (2022)

    Google Scholar 

  2. Bainczyk, A., et al.: Cinco Ccloud: a holistic approach for web-based language-driven engineering. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 407–425. Springer, Heidelberg (2022)

    Google Scholar 

  3. Boßelmann, S.: DIME: a programming-less modeling environment for web applications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 809–832. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47169-3_60

    Chapter  Google Scholar 

  4. Labouardy, M.: Pipeline as Code: Continuous Delivery with Jenkins, Kubernetes, and Terraform. Manning (2021). https://books.google.de/books?id=Lt9EEAAAQBAJ

  5. Margaria, T., Steffen, B.: Business process modelling in the jABC: the one-thing-approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling. IGI Global (2009)

    Google Scholar 

  6. Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, 10–14 October 2016, Proceedings, Part II, Lecture Notes in Computer Science, vol. 9953. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-319-47169-3. https://books.google.de/books?id=9-IyDQAAQBAJ

  7. Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, 5–9 November 2018, Proceedings, Part II, Lecture Notes in Computer Science, vol. 11245. Springer, Heidelberg (2018)

    Google Scholar 

  8. Margaria, T., Steffen, B. (eds.): Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, 17–29 October 2021, Proceedings, Lecture Notes in Computer Science, vol. 13036. Springer (2021). https://doi.org/10.1007/978-3-030-89159-6

  9. Margaria, T., Steffen, B., Reitenspieß, M.: Service-oriented design: the roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 450–464. Springer, Heidelberg (2005). https://doi.org/10.1007/11596141_34

    Chapter  Google Scholar 

  10. Margaria, T., Steffen, B., Reitenspieß, M.: Service-oriented design: the jABC approach. In: Cubera, F., Krämer, B.J., Papazoglou, M.P. (eds.) Service Oriented Computing (SOC). No. 05462 in Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany (2006). https://drops.dagstuhl.de/opus/volltexte/2006/521

  11. Naujokat, S.: Heavy Meta. Model-Driven Domain-Specific Generation of Generative Domain-Specific Modeling Tools. Dissertation, TU Dortmund University, Dortmund, Germany (2017). https://doi.org/10.17877/DE290R-18076. https://hdl.handle.net/2003/36060

  12. Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Softw. Tools Technol. Transfer 20(3), 327–354 (2017). https://doi.org/10.1007/s10009-017-0453-6

    Article  Google Scholar 

  13. Shahin, M., Babar, M.A., Zhu, L.: Continuous integration, delivery and deployment: a systematic review on approaches, tools, challenges and practices. IEEE Access 5, 3909–3943 (2017). https://doi.org/10.1109/ACCESS.2017.2685629

    Article  Google Scholar 

  14. Steffen, B.: Data flow analysis as model checking. In: Proceedings of the International Conference on Theoretical Aspects of Computer Software, pp. 346–365. Springer, Heidelberg (1991). https://doi.org/10.1007/3-540-54415-1_54. https://www.springerlink.com/content/y5p607674g6q1482/

  15. Steffen, B.: Generating data flow analysis algorithms from modal specifications. Sci. Comput. Program. 21(2), 115–139 (1993)

    Article  MATH  Google Scholar 

  16. Steffen, B., Gossen, F., Naujokat, S., Margaria, T.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 311–344. Springer, Cham (2019). https://doi.org/10.1007/978-3-319-91908-9_17

    Chapter  Google Scholar 

  17. Steffen, B., Margaria, T., Claßen, A., Braun, V., Nisius, R., Reitenspieß, M.: A constraint-oriented service creation environment. In: TACAS, pp. 418–421 (1996)

    Google Scholar 

  18. Steffen, B., Margaria, T., Claßen, A., Braun, V., Reitenspieß, M.: An environment for the creation of intelligent network services. In: Intelligent Networks: IN/AIN Technologies, Operations, Services and Applications - A Comprehensive Report, pp. 287–300. IEC: International Engineering Consortium (1996)

    Google Scholar 

  19. Tegeler, T., Gossen, F., Steffen, B.: A model-driven approach to continuous practices for modern cloud-based web applications. In: 2019 9th International Conference on Cloud Computing, Data Science Engineering (Confluence), pp. 1–6 (2019). https://doi.org/10.1109/CONFLUENCE.2019.8776962

  20. Tegeler, T., Teumert, S., Schürmann, J., Bainczyk, A., Busch, D., Steffen, B.: An introduction to graphical modeling of CI/CD workflows with rig. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 3–17. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-89159-6_1

    Chapter  Google Scholar 

  21. Teumert, S.: Visual Authoring of CI/CD Pipeline Configurations. Bachelor’s thesis, TU Dortmund University (2021). https://archive.org/details/visual-authoring-of-cicd-pipeline-configurations

  22. Teumert, S., Tegeler, T., Schürmann, J., Busch, D., Wirkner, D., Steffen, B.: Evaluation of graphical modeling of ci/cd workflows with rig. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13702, pp. 374–388. Springer, Heidelberg (2022)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Limerick, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund University, Dortmund, Germany

    Dominic Wirkner, Daniel Busch, Alexander Bainczyk, Tim Tegeler & Bernhard Steffen

Authors
  1. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dominic Wirkner
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Daniel Busch
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Alexander Bainczyk
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Tim Tegeler
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Bernhard Steffen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tim Tegeler .

Editor information

Editors and Affiliations

  1. University of Limerick, CSIS and Lero, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Margaria, T., Wirkner, D., Busch, D., Bainczyk, A., Tegeler, T., Steffen, B. (2022). DIME Days (ISoLA 2022 Track Introduction). In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering. ISoLA 2022. Lecture Notes in Computer Science, vol 13702. Springer, Cham. https://doi.org/10.1007/978-3-031-19756-7_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-19756-7_20

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-19755-0

  • Online ISBN: 978-3-031-19756-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation