Stage essaim 3 ème année Stage DRT 1 ère année P ROTOTYPING S UITE Intégration à P ROTOTYPING S UITE O BJECT C ONSTRAINT L ANGAGE Développement d’un Interpréteur OCL pour une Machine Virtuelle UML
ObjeXion Prototyping Suite POUR:Prototyper des Modèles INTERET:Test des modèles en phase d’analyse Technique du Round-Trip Engineering Modèle (diagramme de classes UML) Prototyping Suite Pour créer, modifier ou détruire des instances de classe persistantes Analyse Incrémentale Modifications
Fichier de Stockage Application Fichier d’échanges Flux d’informations significatives Modèle sous Rational ROSE Fichier XMI ObjeXionPrototypingsuite Model Prototyper ObjeXion Link FacSimile Base de données relationnelle (mdb) Formatage Alimentation ObjeXion Prototyping Suite
Object Constraint Language Langage formel pour la définition des contraintes d’un modèle Sans effet de bord: le prototype ne peut être modifié Principaux types de contraintes: ~ Invariantes ~ Pré opératoires ~ Post opératoires Construit pour UML
Object Constraint Language Langage fortement typé, à la manière de Smalltalk Les contraintes s’appliquent: ~ à des Classes ~ à des Méthodes
Intégration à FacSimile