Encyclopedia of Education and Information Technologies

Living Edition
| Editors: Arthur Tatnall

eXtreme Model-Driven Development (XMDD) Technologies as a Hands-On Approach to Software Development Without Coding

  • Tiziana MargariaEmail author
  • Bernhard Steffen
Living reference work entry
DOI: https://doi.org/10.1007/978-3-319-60013-0_208-1
  • 12 Downloads

Synonyms

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...

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

Notes

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).

References

  1. 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–167Google Scholar
  2. 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 SoftwareGoogle Scholar
  3. 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–671Google Scholar
  4. Bainczyk A, Schieweck A, Steffen B, Howar F (2017) Model-based testing without models: the TodoMVC case study. ModelEd, TestEd, TrustEd, pp 125–144CrossRefGoogle Scholar
  5. 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–111CrossRefGoogle Scholar
  6. Bakera M, Margaria T, Renner C, Steffen B (2009) Tool-supported enhancement of diagnosis in model-driven verification. Innov Syst Softw Eng 5:211–228CrossRefGoogle Scholar
  7. Beck K, Andres C (2004) Extreme programming explained: embrace change. Addison-Wesley Professional, BostonGoogle Scholar
  8. 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–26Google Scholar
  9. 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_60CrossRefGoogle Scholar
  10. Clarke EM, Grumberg O, Peled DA (1999) Model checking. The MIT Press, Cambridge, MAzbMATHGoogle Scholar
  11. Curbera F (2007) Component contracts in service-oriented architectures. IEEE Computer, 40(11):74–80.  https://doi.org/10.1109/MC.2007.376CrossRefGoogle Scholar
  12. 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–7Google Scholar
  13. 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–999Google Scholar
  14. 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-1Google Scholar
  15. 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–737Google Scholar
  16. Isberner M, Howar F, Steffen B (2014) The TTT algorithm: a redundancy-free approach to active automata learning. RV, pp 307–322Google Scholar
  17. Isberner M, Howar F, Steffen B (2015) The open-source LearnLib – a framework for active automata learning. CAV 1:487–495MathSciNetGoogle Scholar
  18. 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, BerlinGoogle Scholar
  19. 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–148Google Scholar
  20. Jörges S, Margaria T, Steffen B (2008) Genesys: service-oriented construction of property conform code generators. Innov Syst Softw Eng 4(4):361–384CrossRefGoogle Scholar
  21. 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. 017Google Scholar
  22. Kruchten P (2004) The rational unified process: an introduction. Addison-Wesley, New YorkGoogle Scholar
  23. Kubczak C, Margaria T, Fritsch A, Steffen B (2006) Biological LC/MS preprocessing and analysis with jABC, jETI and xcms. ISoLA, pp 303–308Google Scholar
  24. Lamprecht AL, Margaria T (2014) Process design for natural scientists: an agile model-driven approach. CCIS, Springer. https://www.springer.com/cn/book/9783662450055
  25. 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–456Google Scholar
  26. 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–267Google Scholar
  27. Lamprecht A-L, Margaria T, Neubauer J (2015) On the use of XMDD in software development education. COMPSAC 2:835–844Google Scholar
  28. 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-0CrossRefGoogle Scholar
  29. 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)Google Scholar
  30. 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–538Google Scholar
  31. 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.384CrossRefGoogle Scholar
  32. 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
  33. Margaria T, Schieweck A (2019) The digital thread in industry 4.0. Proc. iFM. LNCS, Springer, BergenGoogle Scholar
  34. 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–204CrossRefGoogle Scholar
  35. 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–502Google Scholar
  36. 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
  37. Margaria T, Steffen B (2009b) Continuous model-driven engineering. IEEE Comput 42(10):106–109.  https://doi.org/10.1109/MC.2009.315CrossRefGoogle Scholar
  38. 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–464CrossRefGoogle Scholar
  39. 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–562CrossRefGoogle Scholar
  40. 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–176Google Scholar
  41. 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–505Google Scholar
  42. 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–354CrossRefGoogle Scholar
  43. 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–98Google Scholar
  44. 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–480CrossRefGoogle Scholar
  45. 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–354Google Scholar
  46. 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
  47. 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–72CrossRefGoogle Scholar
  48. 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–248Google Scholar
  49. OASIS: Service Component Architecture Website (2019) Retrieved Oct 2019, from http://www.oasis-opencsa.org/sca
  50. Ståhl D, Bosch J (2014) Modeling continuous integration practice differences in industry software development. J Syst Softw 87:48–59CrossRefGoogle Scholar
  51. 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, PassauGoogle Scholar
  52. Steffen B, Margaria T, Claßen A, Braun V (1996a) Incremental formalization: a key to industrial success. Softw – Concepts Tools 17(2):78–95 SpringerGoogle Scholar
  53. 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–300Google Scholar
  54. 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–30CrossRefGoogle Scholar
  55. Steffen B, Howar F, Merten M (2011) Introduction to active automata learning from a practical perspective. SFM, pp 256–296Google Scholar
  56. UML 2.5.1 specification (2017) Omg.org. https://www.omg.org/spec/UML/2.5.1. Retrieved 30 Oct 2019
  57. 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–1142CrossRefGoogle Scholar
  58. 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 2019Google Scholar
  59. Wortmann N, Michel M, Naujokat S (2016) A fully model-based approach to software development for industrial centrifuges. ISoLA 2:774–783Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.Department of Computer Science and Information SystemsUniversity of LimerickLimerickIreland
  2. 2.Lero – The Irish Software Research CentreLimerickIreland
  3. 3.Confirm – Centre for Smart ManufacturingLimerickIreland
  4. 4.Fakultät für InformatikTechnische Universität DortmundDortmundGermany

Section editors and affiliations

  • Bill Davey
    • 1
  1. 1.RMIT UniversityMelbourneAustralia