Skip to main content
SpringerLink
Log in

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

  • Living reference work entry
  • First Online:
Book cover Encyclopedia of Education and Information Technologies

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

Access this chapter

Log in via an institution

Institutional subscriptions

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

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • Bainczyk A, Schieweck A, Steffen B, Howar F (2017) Model-based testing without models: the TodoMVC case study. ModelEd, TestEd, TrustEd, pp 125–144

    Chapter  Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Article  Google Scholar 

  • Beck K, Andres C (2004) Extreme programming explained: embrace change. Addison-Wesley Professional, Boston

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Chapter  Google Scholar 

  • Clarke EM, Grumberg O, Peled DA (1999) Model checking. The MIT Press, Cambridge, MA

    MATH  Google Scholar 

  • Curbera F (2007) Component contracts in service-oriented architectures. IEEE Computer, 40(11):74–80. https://doi.org/10.1109/MC.2007.376

    Article  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • Isberner M, Howar F, Steffen B (2014) The TTT algorithm: a redundancy-free approach to active automata learning. RV, pp 307–322

    Google Scholar 

  • Isberner M, Howar F, Steffen B (2015) The open-source LearnLib – a framework for active automata learning. CAV 1:487–495

    MathSciNet  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Google Scholar 

  • Kruchten P (2004) The rational unified process: an introduction. Addison-Wesley, New York

    Google Scholar 

  • Kubczak C, Margaria T, Fritsch A, Steffen B (2006) Biological LC/MS preprocessing and analysis with jABC, jETI and xcms. ISoLA, pp 303–308

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • Lamprecht A-L, Margaria T, Neubauer J (2015) On the use of XMDD in software development education. COMPSAC 2:835–844

    Google Scholar 

  • 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

    Article  Google Scholar 

  • 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 

  • 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

    Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Chapter  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Chapter  Google Scholar 

  • 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

    Chapter  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Chapter  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Chapter  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Chapter  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Article  Google Scholar 

  • Steffen B, Howar F, Merten M (2011) Introduction to active automata learning from a practical perspective. SFM, pp 256–296

    Google Scholar 

  • 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

    Article  Google Scholar 

  • 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

    Google Scholar 

  • Wortmann N, Michel M, Naujokat S (2016) A fully model-based approach to software development for industrial centrifuges. ISoLA 2:774–783

    Google Scholar 

Download references

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

  1. Department of Computer Science and Information Systems, University of Limerick, Limerick, Ireland

    Tiziana Margaria

  2. Lero – The Irish Software Research Centre, Limerick, Ireland

    Tiziana Margaria

  3. Confirm – Centre for Smart Manufacturing, Limerick, Ireland

    Tiziana Margaria

  4. Fakultät für Informatik, Technische Universität Dortmund, Dortmund, Germany

    Bernhard Steffen

Authors
  1. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernhard Steffen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tiziana Margaria .

Editor information

Editors and Affiliations

  1. Victoria University, Melbourne, VIC, Australia

    Arthur Tatnall

Section Editor information

  1. RMIT University, Melbourne, VIC, Australia

    Bill Davey

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this entry

Check for updates. Verify currency and authenticity via CrossMark

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-319-60013-0_208-1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-60013-0_208-1

  • Received:

  • Accepted:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-60013-0

  • Online ISBN: 978-3-319-60013-0

  • eBook Packages: Springer Reference Computer SciencesReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Search

Navigation