Introduction
This entry presents the eXtreme Model-Driven Development approach as a low-code approach to collaborative application design and development that uses formal, executable models as the central asset for the prototype-based design and development. It introduces the concept and practice of low-code approaches in section “Low-Code Application Development,” in particular its potential as a large-scale paradigm for future IT. It then introduces XMDD in sections “XMDD: eXtreme Model-Driven Development” and “Experience in the Educational Context”; it summarizes over a decade of teaching and learning experience at different levels, on different aspects of software design, and with different tools. It then discusses some aspects relevant to the educational...
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Airò Farulla G, Indaco M, Legay A, Margaria T (2016) Model driven design of secure properties for vision-based applications: a case study. In: The 2016 international conference on Security and Management (SAM 2016). Special track “End-to-end security and cybersecurity: from the hardware to application”, pp 159–167
Al-areqi S, Kriewald S, Lamprecht A-L, Reusser D, Wrobel M, Margaria T (2014) Agile workflows for climate impact risk assessment based on the ci:grasp platform and the jABC modeling framework. In International Environmental Modelling and Software Society (iEMSs), 7th International Congress on Environmental Modelling and Software
Bainczyk A, Schieweck A, Isberner M, Margaria T, Neubauer J, Steffen B (2016) ALEX: mixed-mode learning of web applications at ease. ISoLA 2:655–671
Bainczyk A, Schieweck A, Steffen B, Howar F (2017) Model-based testing without models: the TodoMVC case study. ModelEd, TestEd, TrustEd, pp 125–144
Bajohr M, Margaria T (2005) MaTRICS: A service- based management tool for remote intelligent configuration of systems. Innov Syst Softw Eng (ISSE) 2(2):99–111
Bakera M, Margaria T, Renner C, Steffen B (2009) Tool-supported enhancement of diagnosis in model-driven verification. Innov Syst Softw Eng 5:211–228
Beck K, Andres C (2004) Extreme programming explained: embrace change. Addison-Wesley Professional, Boston
Bordihn H, Lamprecht A-L, Margaria T (2015) Foundations of semantics and model checking in a software engineering course. In Bollin A, Margaria T, Perseil I (eds) Proceedings of the first workshop on Formal Methods in Software Engineering Education and Training (FMSEE&T ’15), CEUR workshop proceedings, vol 1385, pp 19–26
Bosselmann S, Frohme MT, Steffen B (2016) DIME: a programming-less modeling environment for web applications. ISoLA, pp 809–832. https://doi.org/10.1007/978-3-319-47169-3_60
Clarke EM, Grumberg O, Peled DA (1999) Model checking. The MIT Press, Cambridge, MA
Curbera F (2007) Component contracts in service-oriented architectures. IEEE Computer, 40(11):74–80. https://doi.org/10.1109/MC.2007.376
Gossen F, Neubauer J, Steffen B (2017) Securing C/C++ applications with a SEcube™-based model-driven approach. In: 12th international conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). IEEE, Palma de Mallorca, pp 1–7
Gossen F, Kühn D, Margaria T, Lamprecht A-L (2018) Computational thinking: learning by doing with the Cinco adventure game tool. COMPSAC 1:990–999
Gossen F, Margaria T, Neubauer J, Steffen B (2019) A model-driven and generative approach to holistic security, in resilience of cyber-physical systems: from risk modeling to threat counteraction. In: Advanced Sciences and Technologies for Security Applications, Springer V., pp 123–147. ISBN 978-3-319-95597-1
Hörmann M, Margaria T, Mender T, Nagel R, Steffen B, Trinh H (2008) The jABC approach to rigorous collaborative development of SCM applications. ISoLA 2008, CCIS 17. Springer, Berlin, pp 724–737
Isberner M, Howar F, Steffen B (2014) The TTT algorithm: a redundancy-free approach to active automata learning. RV, pp 307–322
Isberner M, Howar F, Steffen B (2015) The open-source LearnLib – a framework for active automata learning. CAV 1:487–495
Jörges S (2013) Construction and evolution of code genera- tors – a model-driven and service-oriented approach. Lecture notes in computer science, vol 7747. Springer, Berlin
Jörges S, Kubczak C, Pageau F, Margaria T (2007) Model driven design of reliable robot control programs using the jABC. In: Proceedings of 4th IEEE international workshop on Engineering of Autonomic and Autonomous Systems (EASe 2007), pp 137–148
Jörges S, Margaria T, Steffen B (2008) Genesys: service-oriented construction of property conform code generators. Innov Syst Softw Eng 4(4):361–384
Jung G, Margaria T, Nagel R, Schubert W, Steffen B, Voigt H (2008) SCA and jABC: bringing a service-oriented paradigm to web-service construction. In: ISoLA‘08, proceedings of the 3rd international symposium on leveraging applications of formal methods, verification, and validation. Springer, Chalkidiki, CCIS N. 017
Kruchten P (2004) The rational unified process: an introduction. Addison-Wesley, New York
Kubczak C, Margaria T, Fritsch A, Steffen B (2006) Biological LC/MS preprocessing and analysis with jABC, jETI and xcms. ISoLA, pp 303–308
Lamprecht AL, Margaria T (2014) Process design for natural scientists: an agile model-driven approach. CCIS, Springer. https://www.springer.com/cn/book/9783662450055
Lamprecht A-L, Margaria T, Steffen B (2008) Seven variations of an alignment workflow – an illustration of agile process design and management in Bio-jETI. In: Proceedings of the Bioinformatics Research and Applications, Lecture Notes in Bioinformatics 4983, Springer, pp 445–456
Lamprecht A-L, Naujokat S, Margaria T, Steffen B (2010) Synthesis-based loose programming. In: Proceedings of the 7th international conference on the Quality of Information and Communications Technology (QUATIC 2010), Porto, IEEE, pp 262–267
Lamprecht A-L, Margaria T, Neubauer J (2015) On the use of XMDD in software development education. COMPSAC 2:835–844
Lamprecht A-L, Steffen B, Margaria T (2016a) Scientific workflows with the jABC framework – a review after a decade in the field. Int J Softw Tools Technol Transfer 18(6):629–651. https://doi.org/10.1007/s10009-016-0427-0
Lamprecht AL, Margaria T, McInerney C (2016b) A summer computing camp using ChainReaction and jABC. In: 2016 IEEE 40th annual Computer Software and Applications Conference (COMPSAC)
Lybecait M, Kopetzki D, Zweihoff P, Fuhge A, Naujokat S, Steffen B (2018) A tutorial introduction to graphical modeling and metamodeling with CINCO. ISoLA 1:519–538
Magedanz T, Blum N, Dutkowski S (2007) Evolution of SOA concepts in telecommunications. IEEE Computer, 40(11):46–50. https://doi.org/10.1109/MC.2007.384
Margaria T, Karusseit M (2002) Community usage of the online conference service: an experience report from three CS conferences. In: The second IFIP conference on E-Commerce, E-Business, E-Government, I3E: IFIP conference proceedings 233, Kluwer, pp 497–511. ISBN 1-4020-7239-2
Margaria T, Schieweck A (2019) The digital thread in industry 4.0. Proc. iFM. LNCS, Springer, Bergen
Margaria T, Steffen B (1998) Backtracking-free design planning by automatic synthesis in METAFrame. In: Proceedings of 1st international conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon, pp 188–204
Margaria T, Steffen B (2008) Agile IT: thinking in user-centric models, ISoLA ’08. In: Proceedings of the 3rd international symposium on leveraging applications of formal methods, verification, and validation. Springer, Chalkidiki, CCIS N. 017, pp 490–502
Margaria T, Steffen B (2009a) Business process modeling in the jABC: the one-thing approach. In: Handbook of research on business process modeling. IGI Global. https://www.igi-global.com/chapter/business-process-modeling-jabc/19685
Margaria T, Steffen B (2009b) Continuous model-driven engineering. IEEE Comput 42(10):106–109. https://doi.org/10.1109/MC.2009.315
Margaria T, Steffen B, Reitenspieß M (2005a) Service-oriented design: the roots. In: ICSOC 2005: 3rd ACM SIG-SOFT/SIGWEB international conference on service-oriented computing, LNCS N. 3826. Springer, Amsterdam, pp 450–464
Margaria T, Nagel R, Steffen B (2005b) jETI: a tool for remote tool integration. In Tools and algorithms for the construction and analysis of systems, volume 3440/2005 of LNCS. Springer, Berlin, pp 557–562
Margaria T, Kubczak C, Njoku M, Steffen B (2006) Model-based design of distributed collaborative bioinformatics processes in the jABC. In: Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS‘06), IEEE Computer Society, pp 169–176
McInerney C, Lamprecht AL, Margaria T (2017) Computing camps for girls–a first-time experience at the University of Limerick IFIP World Conference on Computers in Education, pp 494–505
Müller-Olm M, Schmidt D, Steffen B (1999) Model-checking – a tutorial introduction. In: Proceedings of the 6th international Symposium on Static Analysis (SAS ‘99), pp 330–354
Naujokat S, Lamprecht A-L, Steffen B (2012) Loose programming with PROPHETS. In: Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering (FASE), Tallinn, Estonia, 2012, LNCS 7212. Springer, Heidelberg, pp 94–98
Naujokat S, Traonouez L-M, Isberner M, Steffen B, Legay A (2014) Domain-specific code generator modeling: a case study for multi-faceted concurrent systems. In: Proceedings of the 6th international symposium on leveraging applications of formal methods, verification and validation, part I (ISoLA 2014), volume 8802 of LNCS, Springer, pp 463–480
Naujokat S, Lybecait M, Kopetzki D, Steffen B (2018) CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Softw Tools Technol Trans 20(3):327–354
Neubauer J, Margaria T, Steffen B (2013) Design for verifiability: the OCS case study, Chapter 8. In: Formal methods for industrial critical systems: a survey of applications. Wiley-IEEE Computer Society Press, pp 153–178. https://onlinelibrary.wiley.com/doi/abs/10.1002/9781118459898.ch8
Neubauer J, Frohme M, Steffen B, Margaria T (2014) Prototype-driven development of Web Applications with DyWA. In: Proceedings of the 6th international symposium on leveraging applications of formal methods, verification and validation, part I (ISoLA 2014), number 8802 in LNCS, Springer, pp 56–72
Niese O, Steffen B, Margaria T, Hagerer A, Brune G, Ide H-D (2001) Library-based design and consistency checking of system-level industrial test cases. In: Proceedings of the FASE, Fundamental Approaches to Software Engineering, LNCS 2029, Springer, pp 233–248
OASIS: Service Component Architecture Website (2019) Retrieved Oct 2019, from http://www.oasis-opencsa.org/sca
Ståhl D, Bosch J (2014) Modeling continuous integration practice differences in industry software development. J Syst Softw 87:48–59
Steffen B, Margaria T, Freitag B (1993) Module configuration by minimal model construction, Technical Report Fakultät für Mathematik und Informatik, Universität Passau, Passau
Steffen B, Margaria T, Claßen A, Braun V (1996a) Incremental formalization: a key to industrial success. Softw – Concepts Tools 17(2):78–95 Springer
Steffen B, Margaria T, Classen A, Braun V, Reitenspieß M (1996b) An environment for the creation of intelligent network services. In: Intelligent networks: IN/AIN technologies, operations, services and applications – a comprehensive report, IEC: International Engineering Consortium, Chicago, pp 287–300
Steffen B, Margaria T, Braun V (1997) The electronic tool integration platform: concepts and design. Int J Softw Tools Technol Trans (STTT) 1(1–2):9–30
Steffen B, Howar F, Merten M (2011) Introduction to active automata learning from a practical perspective. SFM, pp 256–296
UML 2.5.1 specification (2017) Omg.org. https://www.omg.org/spec/UML/2.5.1. Retrieved 30 Oct 2019
van der Aalst WMP, Weijters AJMM, Maruster L (2004) Workflow mining: discovering process models from event logs. IEEE Trans Knowl Data Eng 16(9):1128–1142
Vincent P, Iijima K, Driver M, Wong J, Natis Y (2019) Magic quadrant for enterprise low- code application platforms. Gartner report G00361584 – Published 8 Aug 2019
Wortmann N, Michel M, Naujokat S (2016) A fully model-based approach to software development for industrial centrifuges. ISoLA 2:774–783
Acknowledgments
This work was supported in part with the financial support of the Science Foundation Ireland grants 13/RC/2094 and 16-RC-3918 and co-funded under the European Regional Development Fund through the Southern & Eastern Regional Operational Programme to Lero – the Irish Software Research Centre (www.lero.ie) and Confirm, the Smart Manufacturing SFI Research Centre (www.confirm.ie).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Section Editor information
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this entry
Cite this entry
Margaria, T., Steffen, B. (2020). eXtreme Model-Driven Development (XMDD) Technologies as a Hands-On Approach to Software Development Without Coding. In: Tatnall, A. (eds) Encyclopedia of Education and Information Technologies. Springer, Cham. https://doi.org/10.1007/978-3-030-10576-1_208
Download citation
DOI: https://doi.org/10.1007/978-3-030-10576-1_208
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-10575-4
Online ISBN: 978-3-030-10576-1
eBook Packages: Computer ScienceReference Module Computer Science and Engineering