Tutorial ICAASE 2020

Model execution for software development:
a case study with UML state machines in Java

Eric Cariou - ICAASE 2020 - 28/11/20

Resources

Files:

• The support of the presentation : ICAASE20-Cariou-Tutorial.pdf
• The JAR file of PauWare to import in your Java project : PauWare_Java_EE-v2.jar
• The observer Java class FileTrace.java and the link to the interface implemented with Javadoc comments

Online:

• PauWare web site
• PauWare Javadoc
• PauWare code generator
• Instruction for the PauWare viewer

PauWare programs to test

Code of the two PauWare programs presented in the tutorial:

• Microwave oven : MicrowaveBusiness.java and MicrowaveStateMachine.java
• Stack : StackSM.java

Exercice

Implement the state machine of the speed of a car, based on this Car.java business object:

Related publications

• Eric Cariou, Léa Brunschwig, Olivier Le Goaer, and Franck Barbier, A software development process based on UML state machines, The 4th Edition of the International Conference on Advanced Aspects of Software Engineering (ICAASE'20), November 2020
  [paper] [BibTeX]
  
  
  @InProceedings{cariou-icaase20,
      author = {Cariou, Eric and Brunschwig, L{\'e}a and Le Goaer, Olivier and Barbier, Franck},
      title = {{A software development process based on UML state machines}},
      booktitle = {{The 4th Edition of the International Conference on Advanced Aspects of Software Engineering (ICAASE'20)}},
      year = {2020},
  }
• Franck Barbier and Eric Cariou, Executable Modeling for Reactive Programming, Model-Driven Engineering and Software Development. MODELSWARD 2018, volume 991 of CCIS, Springer, February 2019
  [paper] [BibTeX]
  
  
  @InProceedings{barbier-modelsward19,
      author = {Franck Barbier and Eric Cariou},
      title = {{Executable Modeling for Reactive Programming}},
      booktitle = {{Model-Driven Engineering and Software Development (MODELSWARD 2018)}},
      year = {2019},
      volume = {991},
      series = {CCIS},
      publisher = {Springer}
  }
• Eric Cariou, Olivier Le Goaer, Léa Brunschwig and Franck Barbier, A generic solution for weaving business code into executable models, 4th International Workshop on Executable Modeling at MoDELS (EXE 2018), CEUR Workshop Proceedings, vol. 2245, October 2018
  [paper] [slides] [BibTeX]
  @InProceedings{cariou-exe18,
      author = {Cariou, Eric and Le Goaer, Olivier and Brunschwig, L{\'e}a and Barbier, Franck},
      title = {{A generic solution for weaving business code into executable models}},
      booktitle = {{The 4th International Workshop on Executable Modeling at MODELS (EXE 2018)}},
      year = {2018},
      volume = {2245},
      publisher = {CEUR Workshop Proceedings}
  }
  
  
  
• Eric Cariou, Olivier Le Goaer, and Franck Barbier, On the Executable Nature of Models, 2nd International Workshop on Executable Modeling at MoDELS (EXE 2016), CEUR Workshop Proceedings, vol. 1760, October 2016
  [paper] [slides] [abstract] [BibTeX]
  Within the model-driven engineering field, the con- cept of "i-DSML" (interpreted Domain Specific Modeling Language) refers to executable models which are interpreted through an engine. While several works discussed the key ingredients of an i-DSML, few of them answered the original question: What is the class of models that are executable by nature and those that are not? This paper attempts to provide some answers by proposing two discriminating criteria: The possibility of defining execution steps and the reification of the behavior of the running system into the executed model. On this basis, we reconsider some well-known DSML and notice a paradoxical situation with UML diagrams.
  @InProceedings{exe16-bibtex,
      author = {Eric Cariou, Olivier Le Goaer, L\'ea Brunschwig and Franck Barbier},
      title = {{On the Executable Nature of Models}},
      booktitle = {Proceedings of the Workshop at MoDELS 20016},
      year = {2016},
      volume = {1760},
      publisher = {CEUR Workshop Proceedings},
  }
  
  
  
  
• Franck Barbier, Reactive Internet Programming State Chart XML in Action, ACM-Morgan & Claypool, 2016
  [link]