Executable Modeling for Reactive Programming

  • Franck BarbierEmail author
  • Eric Cariou
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 991)


After thirty years, it is reasonably time to critically look at Model Driven Software Development (MDSD). Who may nowadays claim that MDSD has been massively adopted by the software industry? Who may show numbers demonstrating that MDSD allowed/allows massive cost savings in daily software development, but, above all, software maintenance? This paper aims at investigating executable modeling as a balanced articulation between programming and modeling. Models at run-time embody the promising generation of executable models, provided that their usages are thought and intended to cost-effective software development. To envisage this not-yet-come success, this paper emphasizes expectations from the software industry about “reactive programming”. Practically, executable modeling standards like the SCXML W3C standard or the BPMN OMG standard are relevant supports for reactive programming, but success conditions still need to be defined.


Model driven software development Executable modeling Models at run-time Reactive programming 



This work is partially sponsored by the European ECSEL MegaM@Rt2 (MegaModelling at Runtime) project (


  1. 1.
    Harel, D., Gery, E.: Executable object modeling with statecharts. IEEE Comput. 30(7), 31–42 (1997)CrossRefGoogle Scholar
  2. 2.
    Riehle, D., Fraleigh, S., Bucka-Lassen, D., Omorogbe, N.: The architecture of a UML virtual machine. In: Proceedings of the 2001 Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 327–341 (2001)Google Scholar
  3. 3.
    Mellor, S., Balcer, S.: Executable UML – A Foundation for Model-Driven Architecture. Addison-Wesley, Boston (2002)Google Scholar
  4. 4.
    France, R., Rumpe, B.: The evolution of modeling research challenges. Softw. Syst. Model. 12(2), 223–225 (2013)CrossRefGoogle Scholar
  5. 5.
    Barbier, F.: Reactive Internet Programming – State Chart XML in Action. Morgan & Claypool, New York (2016)CrossRefGoogle Scholar
  6. 6.
    Blair, G., Bencomo, N., France, R.: Models@run.time. IEEE Comput. 42(10), 22–27 (2009)CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Univ. of Pau, Av. de L’UniversitéPauFrance

Personalised recommendations