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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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)
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)
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
Labouardy, M.: Pipeline as Code: Continuous Delivery with Jenkins, Kubernetes, and Terraform. Manning (2021). https://books.google.de/books?id=Lt9EEAAAQBAJ
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)
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
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)
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
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
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
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
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
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
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/
Steffen, B.: Generating data flow analysis algorithms from modal specifications. Sci. Comput. Program. 21(2), 115–139 (1993)
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
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)
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)
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
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
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
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
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)