T2.A07 Modéliser, exécuter et simuler des Statecharts UML et SCXML

Animateur(s) :

Franck Barbier - LIUPPA, Univ. Pau

  • Autre(s) Thématique(s) :

Niveau

  • Intermédiaire, avancé

Pré-requis (intra et extra programme) :

  • Bonnes connaissances de Java
  • Quelques notions en modélisation UML et sur les automates à états finis

PUBLIC VISE

  • Informaticien, électronicien, project manager, business analyst
  • Nombre maximum de personnes : 12

OBJECTIF

L'objectif est de découvrir et manipuler l'API et la bibliothèque logicielle Java PauWare (PauWare.com) permettant l'implémentation rapide et sûre de Statecharts. Cette technique de modélisation est native dans UML (State Machine Diagrams) et fait l'objet d'une autre norme du W3C appelée State Chart XML (SCXML). Le caractère générique des Statecharts et de PauWare rend possible l'utilisation de ce dernier outil pour d'autres langages à vocation exécutable comme BPMN ou encore FUML (non illustré dans l'atelier).

DESCRIPTION

L'atelier consiste à une formation concise sur la technique de modélisation des Statecharts. Une étude de cas primitive est implémentée intuitivement en PauWare afin de familiariser l'auditoire avec l'API. Des simulations des statecharts sont ensuite opérées avec l'outil connexe PauWare view de manière à rendre totalement interactif le résultat. Une étude de cas plus consistante (Barbados Crisis Management System, franckbarbier.com/PauWare/BCMS/) est ensuite abordée (modélisation amont avec ou sans outil UML/SCXML puis implémentation PauWare). Une correction complète de l'étude cas est discutée et fournie (modèles SCXML et code PauWare packagé).

INSTALLER SON ORDINATEUR

  • Machine virtuelle Java SE 7.x et plus
  • Atelier de développement (IDE) NetBeans d'Oracle (netbeans.org/downloads/) version Java SE (version la plus petite)
  • PauWare view (franckbarbier.com/PauWare/PauWare_view/) qui suppose aussi l'installation du logiciel Graphviz (graphviz.org) et du logiciel jWebSocket version “Server” (jwebsocket.org/downloads/jwebsocket-latest-versions)
  • De manière optionnelle, un atelier de modélisation UML (cf. autres événements de la thématique T2 : devlog.cnrs.fr/jdev2015/t2) ou éditeur SCXML (ce dernier sera fourni)
  • Afin d'éviter de perdre du temps, les participants, avant d'arriver à l'atelier, peuvent tester leur installation en essayant de faire tourner l'étude de cas My stack (franckbarbier.com/PauWare/My_stack/)

DOCUMENTS/RESSOURCES

  • Tous les cas d'étude traités durant l'atelier sont disponibles et téléchargeables sur Internet (PauWare.com)
  • PDF des transparents
  • PDF du texte du cahier des charges des cas d'étude traités (en français ou en anglais)
 
jdev2015/t2.a07.txt · Dernière modification: 2015/04/22 23:43 par pascal.dayre@enseeiht.fr
 
Recent changes RSS feed Powered by PHP Powered by Pxxo Driven by DokuWiki