Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

contraintes ocl OCL contraintes sur métamodèles Philippe Collet revisité by Sébastien Mosser SI ?? M IFI Domain Speci ?c Languages Novembre CObjectifs r ?? ? Comprendre la nécessité et la portée d ? OCL r ?? ? Apprendre OCL et la manière de spéci ?er avec

OCL contraintes sur métamodèles Philippe Collet revisité by Sébastien Mosser SI ?? M IFI Domain Speci ?c Languages Novembre CObjectifs r ?? ? Comprendre la nécessité et la portée d ? OCL r ?? ? Apprendre OCL et la manière de spéci ?er avec ce langage r ?? ? Mettre en ?uvre OCL dans l'ensemble d'une modélisation UML r ?? ? Appliquer à la spéci ?cation de métamodèles Ph Collet C ère partie r ?? ? Introduction n ? ? OCL et UML n ? ? Motivations n ? ? OCL principes et forme du langage r ?? ? OCL première approche n ? ? Contraintes et contexte n ? ? Commentaires n ? ? Stéréotypes et mots-clés pour structurer les spéci ?cations n ? ? Types de spéci ?cation r ?? ? Types et valeurs de base n ? ? Types du modèle n ? ? Règles de précédence n ? ? Enumérations n ? ? Conformance de type Ph Collet COCL et UML r ?? ? UML est un langage de modélisation essentiellement graphique r ?? ? Dans les diagrammes il est di ?cile voire impossible dans certains cas de préciser de manière complète toutes les subtilités d'un modèle Ph Collet COCL et UML r ?? ? Contourner le problème n ? ? écrire des spéci ?cations plus complètes en langue naturelle n ? ? inconvénient des ambigu? tés restent possibles r ?? ? l'utilisation d'un langage formel avec une sémantique connue s'impose r ?? ? OCL est une réponse à ces attentes n ? ? un langage formel n ? ? pour annoter les diagrammes UML n ? ? permettant notamment l'expression de contraintes Ph Collet COCL objectifs r ?? ? Accompagner les diagrammes UML de descriptions n ? ? précises n ? ? non ambigu? s r ?? ? Eviter les désavantages des langages formels traditionnels n ? ? peu utilisables par les utilisateurs et les concepteurs non matheux ? r ?? ? Rester facile à écrire n ? ? Tout en étant orienté objet r ?? ? Et facile à lire Ph Collet CPetit historique r ?? ? OCL s'inspire de Syntropy n ? ? méthode basée sur une combinaison d'OMT Object Modeling Technique et d'un sous-ensemble de Z r ?? ? Origine n ? ? OCL a été développé à partie de par Jos Warmer IBM n ? ? sur les bases du langage IBEL Integrated Business Engineering Language r ?? ? Première dé ?nition IBM r ?? ? Formellement intégré à UML en r ?? ? OCL intégré dans la dé ?nition d ? UML en n ? ? conforme à UML et au MOF n ? ? fait partie du catalogue de spéci ?cations de l'OMG n ? ? chapitres OCL Language Description et OCL Standard Library Ph Collet COCL principes r ?? ? La notion de contrainte n ? ? Dé ?nition Une contrainte est une expression à valeur booléenne que l'on peut attacher à n'importe quel élément UML n ?