Retour à la liste des ateliers
Retour à la thématique
Retour au programme
Retour à la liste des thématiques

Jérémie Tatibouet et Florian Noyrit

• Date : Mercredi 1 Juillet
• Heure : 14h00
• Salle : P164
• Durée : 2h00
• Nombre maximum de participants: 15

• Débutant et intermédiaire

• Tous

• Prise en main de l'outil Moka
• Initiation à la définition de modèles exécutables
• Exécution des modèles spécifiés sur un simulateur

Moka est un module de Papyrus dédié à l’exécution de modèles UML. Ce composant inclut par défaut les moteurs d’exécution implantant les standards de l’OMG « foundational UML » (fUML) et « Precise Semantics of Composite Structures » (PSCS) qui formalisent de manière opérationnelle la sémantique d’un sous-ensemble d’UML. Moka donne la possibilité aux utilisateurs de :

• Contrôler l’exécution de leurs modèles via son intégration au framework de débogage de la plateforme Eclipse (arrêt/reprise de l’exécution, pas à pas, accès aux valeurs des variables)
• D’observer l’exécution grâce au mécanisme d’animation de diagrammes

Moka est un framework générique. Les moteurs d’exécutions fournis par l’outil peuvent être étendus facilement pour supporter des sémantiques d’exécutions alternatives. Cette session est une introduction à la spécification de modèles exécutables dans Papyrus. Nous traiterons ici deux exemples :

1. Le premier sera un cas d’étude académique permettant de prendre en main l’outillage et de comprendre comment fonctionne l’exécution de modèles.
2. Le second vous permettra de spécifier un modèle exécutable décrivant le contrôle d’un robot (rover construit en Lego Mindstorm). Ce modèle sera exécuté sur un simulateur afin de valider que le comportement décrit est celui attendu. Finalement le même modèle sera utilisé pour contrôler le vrai système (c.à.d. le robot).

• OS: windows 32/64 bits (requis pour le simulateur)
• JRE version 7
• Logiciels:
  • Windows: un RCP Papyrus sera distribué en début de scéance.
  • Linux/Macintosh: Papyrus et Moka doivent être installés sur votre plateforme Eclipse (version Mars ou Luna). Les update sites a utiliser pour l'installation sont référencés au bas de la page.

• Papyrus (CEA LIST)
• Papyrus update sites