Thông tin tài liệu
Institut de la Francophonie pour l’Informatique Institut de Recherche en Informatique et Système Aléatoire MODEL DRIVEN OPERATIONAL SEMANTICS Rapport de Stage PHAM Quang-Hieu Sous la direction de Jean-Marc JEZEQUEL Directeur de Recherche Projet TRISKELL Mars – Août 2008 TIEU LUAN MOI download : skknchat@gmail.com Remerciements Je tiens remercier tout particulièrement Jean-Marc JEZEQUEL, responsable de l’équipe TRISKELL l’IRISA, de m’avoir accueilli dans ce équipe et de m’avoir aidé durant ce stage Je remercie Cyril FAUCHER, Gilles PERROUIN, Didier VOJTISEK et Vincent MAHE pour les conseils précieux qu’ils m’ont fournis pendant les mois de stage Je tiens également remercier tous les enseignants-chercheurs, doctorants et stagiaires de l’équipe TRISKELL, avec qui j’ai eu le plaisir de travailler, pour les discussions scientifiques fructueuses que j’ai pu avoir avec eux TIEU LUAN MOI download : skknchat@gmail.com Table des matières INTRODUCTION PRESENTATION DE L’IRISA 2.1 L’IRISA 2.2 L’EQUIPE TRISKELL CONTEXTE DU STAGE 11 3.1 MODEL-DRIVEN ENGINEERING 11 3.1.1 Développement logiciel 12 3.1.2 Activité de modélisation 13 3.1.3 Transformation de modèles 15 3.2 DOMAIN-SPECIFIC LANGUAGES 17 3.2.1 Introduction 17 3.2.2 Domain-Specific Modelling Languages 18 3.3 CONCLUSION 20 L’ETAT DE L’ART 21 4.1 STRUCTURES MODULAIRES DE SEMANTIQUE OPERATIONNELLE (MODULAR SOS) 21 4.1.1 Structural Operational Semantics (SOS) 22 4.1.2 Problème de modularité dans la SOS 23 4.1.3 Modular SOS – a variant of SOS 25 4.2 LANGAGE DE META-MODELISATION KERMETA 27 4.2.1 Contexte 27 4.2.2 Processus de construction de Kermeta 27 4.2.3 Architecture de Kermeta 28 4.2.4 Utilisation du langage Kermeta 29 4.3 LE TYPAGE DES MODELES (MODEL TYPING) 30 4.3.1 Contexte 30 4.3.2 Système de types 31 4.3.3 Type de modèles 32 4.3.4 Typage de modèles 32 4.4 CONCLUSION 36 ETUDE DE CAS : MODULAR SOS DE WREN 37 5.1 INTRODUCTION LE LANGAGE WREN 37 5.2 SPECIFICATION DE SOS 39 5.2.1 Syntaxe Abstraite de Wren 39 5.2.2 SOS règles pour l’évaluation des expressions 39 5.2.3 SOS règles pour des commandes 41 5.3 SPECIFICATION DE MSOS 42 5.3.1 Définition la structure de Label 42 5.3.2 MSOS règles pour l’évaluation des expressions 43 5.3.3 MSOS règles pour les commandes 44 IMPLEMENTATION DE WREN SOUS KERMETA 45 6.1 ABSTRACT SYNTAXIQUE MODEL 45 6.2 SEMANTIQUES DYNAMIQUES 46 TIEU LUAN MOI download : skknchat@gmail.com 6.3 IMPLEMENTATION DE L’INTERPRETEUR 47 6.3.1 Charger des modèles 48 6.3.2 Exécuter les modèles 49 6.3.3 Résultat 49 6.4 EVOLUTION DU LANGAGE WREN 50 6.4.1 Ligne de produit Wren 50 6.4.2 Extensions de données 51 6.4.3 Extensions d’opération 52 6.4.4 Combinaison les extensions 55 6.5 CONCLUSION 56 CONCLUSION ET PERSPECTIVE 58 7.1 CONCLUSION 58 7.2 PERSPECTIVE 59 RÉFÉRENCES 62 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS Chapitre Introduction Aujourd’hui, la taille et la complexité des logicielles développés augmentent de plus en plus rapidement alors que les contraintes de temps de développement, de qualité, de maintenance et d’évolution sont toujours plus fortes, les systèmes d’information deviennent être distribués plus en plus largement Dans ce contexte, les techniques de génie logiciel sont contraintes évoluer sans cesse pour permettre de gérer la complexité et d’assurer la qualité du logiciel produit Pour faire face cette évolution rapide et croissante des applications logicielles, l’Ingénierie Dirigée par des Modèles (IDM) ou Model-Driven Engineering (MDE) ouvre de nouvelles voies d’investigation Les grandes tendances actuelles de l’IDM sont l’utilisation de langages dédiés (DomainSpecific Languages), les approches orientées aspects et les approches base de composants Un des points communs ces approches est l’utilisation de modèles pour permettre une montée en abstraction par rapport aux langages de programmation Dans ce cadre, un modèle n’est plus une simple image ou un élément de conception ou de documentation, mais bien un élément productif qui doit pouvoir être traité automatiquement L’idée de l’IDM est de les traiter comme des entités centrales dans le développement logiciel Ce nouveau processus de développement procède par des transformations de modèles pour compéter, enrichir, préciser un modèle métier initial avec les nombreux aspects plus directement liés l’environnement, la plateforme, les performances,… Ainsi les modèles simplifient TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS la vision d’un système en permettant de représenter, de manière abstraite, un aspect du logiciel, et une transformation permet ensuite d’intégrer cet aspect dans le modèle global du logiciel en développement La combinaison de ces deux entités permet le développement simplifié de systèmes fiables, mêmes complexes D’ailleurs, la définition des langages dédiés entrne l’application des technologies de meta-modélisation générer et intégrer sémantiquement des langages riches et outils destinés des exigences de modélisation spécifique Le but est de fournir aux développeurs les abstractions raisonnables de modélisation pour que ils puissent isoler le problème de domaine spécifique partir les détails d’implémentation Actuellement, le développement des langages variétés nécessite la réutilisation et l’augmentation de la modularité dans la conception et la spécification des langages Tandis que les méta-modèles sont utilisés bien définir la syntaxe abstraite et sémantiques statiques des langages dédiés, la pratique courant de la spécification de sémantique opérationnelle n’augmente pas encore bien la modularité Pour cette étude, nous nous intéressons la technique de définition de la spécification de sémantiques opérationnelle pour augmenter la modularité Le but du stage que j’effectue dans l’équipe Triskell (IRISA/INRIA) est d’étudier la modularité dans la définition des sémantiques des langages dédiés, l’emprunt des idées de structures modulaires de sémantique opérationnelle (Modular Structural Operational Semantics) et puis de s’appuyer sur les progrès récents de Typage des Modèles (Model Typing) La démarche devrait permettre de définir des constructions individuelles de la sémantique opérationnelle comme les petits blocs qui pourraient facilement être étendu et combinés pour construire non triviales familles de langues dans le domaine des logiciels embarqués La suite de ce rapport est organisộe de la faỗon suivante Tout dabord, le chapitre présente brièvement l’IRISA et l’équipe Triskell où je travaille durant mon stage Le chapitre rappelle le contexte dans lequel se place mon stage L’objectif de ce chapitre est d’introduire les langages dédiés, l’ingénierie des modèles et d’exprimer le rôle des modèles dans le développement des langages dédies En suite, dans le chapitre 4, je présente un travail bibliographique sur les structures modulaires de sémantique opérationnelle, les langages de métamodélisation en présentant le langage KERMETA et l’idée principale du typage des modèles Le chapitre présente le langage simple WREN comme mon étude de cas et illustre comment spécifier des structures modulaires de sémantique opérationnelle pour le WREN Et puis, dans le chapitre 6, je présente l’implémentation d’un interpréteur du WREN sous KERMETA Ce chapitre exprime comment construire des composants individuels de la sémantique opérationnelle de WREN en utilisant KERMETA pour qu’on puisse faciliter les TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS étendre et les réutiliser pour construire une famille des langages associés au WREN En fin, le chapitre conclut ce travail et propose quelques perspectives Les documents que je les consulte durant le stage sont énumérés dans la section de référence la fin de ce rapport TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS MSOS sont spécifiées pour les évaluations de expressions et les exécutions de commandes En outre, le langage de méta-modélisation exécutable Kermeta permet non seulement de définir les métamodèles de syntaxe abstraite mais aussi de définir les comportements de métamodèles ou les sémantiques opérationnelles de langages spécifiés Kermeta est aussi un langage orienté-aspects, il permet de développer les métamodèles distingués qui représentent les aspects de langages En fin, ces métamodèles sont tissés par le Weaver de Kermeta pour obtenir un métamodèle unique qui représente entièrement le langage spécifié Avec ces avantages, en utilisant Kermeta, on peut définir des constructions de sémantique opérationnelle comme les petits blocs qui pourraient facilement être étendu et combinés pour construire une famille de langages associés Dans ce mémoire, j’ai définit le langage Wren, implémenté son interpréteur et développé une évolution de Wren en utilisant Kermeta Trois extensions de Wren sont effectuées, d’abord j’ai fait une extension de données WrenRepeat qui définit un nouveau concept Repeat, en suite j’ai fait une extension d’opérations WrenPrint qui ajoute une nouvelle opération print() aux concepts de Wren Enfin, une combinaison des deux extensions est déjà mise en œuvre pour obtenir une nouvelle version WrenRepeatPrint D’ailleurs, l’idée du typage de modốles reỗoit plus en plus dattention ce jour Un mécanisme de traiter les modèles comme les premières classes va levier la puissance des modèles dans l’IDM et permettre de définir des artefacts de manière qu’ils soient robuste des variations et l’évolution des métamodèles 7.2 Perspective L’une des caractéristiques des systèmes de types est que, en plus de fournir une technique de vérification statique, ils formalisent des mécanismes d’abstraction Ici, les modèles et les types de modèles ont été formalisés comme les constructions d’abstraction pour composer des systèmes rédigés par les modèles Les constructions peuvent être appropriées pour encapsuler la réutilisation lorsqu’on développe un système dans l’IDM Sur les avances récents du typage de modèles, il porte une nouvelle approche de l’utilisation de types de modèle comme une structuration des concepts pour la définition de la sémantique opérationnelle modulaire pour les langages spécifiques en utilisant métamodèles Les métamodèles qui représentent les sémantiques pourraient être codés comme les modules de sémantique opérationnelle et les types de modèles dont ils dépendent syntaxiquement Ceux-ci pourraient alors être appliquées pour les familles avec des standardisations structurelles et sémantiques 59 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS Dans le cas de l’évaluation du langage Wren, une fois les aspects tissées, WrenRepeat et WrenPrint formeront des sous-types (au sens de typage de modèles) de WrenBasic, et que WrenRepeatPrint sera un sous-type des deux extensions WrenRepeat et WrenPrint Cette idée est démontrée simplement l’aide du formalisme de Jim Steel [Ste07, SJ07b] comme la suite Le métamodèle de WrenBasic se compose des structures basiques, il forme aussi un type basique de Wren : WrenBasicT package WrenBasic{ aspect class Instruction { operation eval(label : Label) : Integer is abstract } } modeltype WrenBasicT {WrenBasic::Instruction} Figure 7.2.1 : Le type basique de Wren Deux variétés WrenPrint et WrenRepeat sont des extensions de WrenBasic, ils forment les sous-types de WrenBasicT Le mot-clé merges indique qu’on va réutiliser des ressources du métamodèle WrenBasic chez WrenPrint et WrenRepeat package WrenPrint merges WrenBasic{ aspect class Instruction { operation print(label : Label) is abstract } } modeltype WrenPrintT {WrenPrint::Instruction} package WrenRepeat merges WrenBasic{ aspect class Repeat { method eval(label : Label) : Integer is var cond : Integer from cond := until cond == loop result := block.eval(label) cond := condition.eval(label) end end } } modeltype WrenRepeatT {WrenRepeat::Instruction, WrenRepeat::Repeat} Figure 7.2.2 : Les deux sous-type WrenPrint et WrenRepeat 60 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS package WrenRepeatPrint merges WrenRepeat, WrenPrint{ aspect class Repeat { // for updating the method print() method print(label : Label) is label.alignLevel() stdio.writeln("repeat ") label.incLevel() block.print(label) label.decLevel() label.alignLevel() stdio.write("until ") condition.print(label) stdio.writeln(";") end } } modeltype WrenRepeatPrintT {WrenRepeatPrint::Instruction, WrenRepeatPrint::Repeat} Figure 7.2.3 : Le sous-type WrenRepeatPrint Au tour de WrenRepeatPrint, il forme un sous-type de WrenRepeat et WrenPrint Son métamodèle est formé en réutilisant les deux métamodèle de WrenRepeat et de WrenPrint Et puis on ajoute l’opérateur de PrettyPrinter la définition de la structure Repeat 61 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS Références [AFV01] Luca Aceto, Wan Fokkink, Chris Verhoef, “Structural Operational Semantics”, 2001 [AK07] Colin Atkinson, Thomas Kühne, “Model-Driven Development: A Metamodeling Foundation”, 2003 [BBB+04] Bézivin, J., M Blay, M Bouzhegoud, J Estublier, J.-M Favre, S Gérard, and J.-M Jézéquel, Rapport de Synthèse de l'AS CNRS sur le MDA (Model Driven Architecture) 2004, CNRS [Béz01] Bézivin, J From Object Composition to Model Transformation with the MDA in 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS39) 2001 Santa Barbara, California p 350-354 [BGS05] Xavier Blan, Marie-Pierre Gervais, Prazee Sriplakich, “Model Bus : Towards the Interoperability of Modelling Tools”, 2005 [BHMM03] C de O.Braga, E Hermann Haeusler, José Meseguer, and Peter D Mosses, “Mapping Modular SOS to Rewriting Logic”, PhD thesis, 2003 [Bra01] C de O.Braga, “Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics”, PhD thesis, 2001 [BV05] Matteo Bordin, Tullio Vardanega, “A Domain-specific Metamodel for Reusable Object-Oriented High-Integrity Components”, 2005 [BV07] Christiano Braga, Alberto Verdejo, “Modular Structural Operational Semantics with Strategies”, Electronics Notes in Theoretical Computer Science 2007 [CB05] Fabricio Chalub, Christiano Braga, “MAUDE MSOS Tool Manual”, 2005 [CCGT07] Bent Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, Expérimentation pour la définition d’une sémantique dans l’IDM, IDM 2007 [CES+a] Tony Clark, Andy Evans, Paul Sammut, James Willans, “An eXecutable Metamodelling Facility for Domain Specific Language Design” [CES+b] Tony Clark, Andy Evans, Paul Sammut, James Willans, “Language Driven Development and MDA” [CESW08a] Tony Clark, Andy Evans, Paul Sammut, and James Willans Applied metamodelling : A foundation for language driven development Second edition 2008 62 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS [CESW08b] Tony Clark, Andy Evans, Paul Sammut, and James Willans Superlanguages : Developing languages and Application with XMF First edition 2008 [Coo04] Steve Cook, Domain-Specific Modeling and Model Driven Architecture, MDA Journal, January 2004 [CRC+06] Bent Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel, Expériences pour décrire la sémantique en ingénierie des modèles, IDM’06, Lille – Secondes Journées sur l’ingénierie des modèles [Dan03] Oliver Danvy, “A Rational Deconstruction of Landin’s SECD Machine”, BRICS Report Series, 2003 [DE07] Cédric Dumoulin, Anne Etien, “Morphing de métamodèles”, 2007 [DK01] Arie van Deursen and Paul Klint, Domain-Specific Language Design Requires Feature Descriptions Journal of Computing and Information Technology, 2001 [DSMC] Domain Specific Modeling Community, www.dsmforum.org [ESS] Hajo Eichler, Markus Scheidgen, Michael Soden, “A Meta-Modeling Framework for Modeling Semantics in the Context of Existing Domain Platforms” [ESS06] Hajo Eichler, Markus Scheidgen, and Michae Soden, “A MetaModelling Framework for Modelling Semantics in the Context of Existing Domain Platforms”, 2006 [Fav04a] [Fav04b] [Fei06] [FFR06] [Fle06] [FR03] [Gan85] J.M.Favre Foundations of model (driven) (reverse) engineering : Models - episode i, stories of the fidus papyrus and of the solarus Seminar 04101 on ’Language Engineering for Model-Driven Software Development’, March 2004 J.M.Favre Foundations of the meta-pyramids : Languages and metamodels - episode ii, story of thotus the baboon Seminar 04101 on ’Language Engineering for Model-Driven Software Development’, March 2004 Martin Feilkas, “How to represent Models, Languages and Transformations ?”, 2006 Robert France, Franck Fleurey, Raghu Reddy, “Providing Support for Model Composition in Metamodels”, 2006 Franck Fleurey, “Langage et méthode pour une ingénierie des modèles fiable”, Thèse 2006 Robert France and Bernhard Rumpe Editorial model engineering Sosym, 2003 Harald Ganzinger, “Modular First-Order Specification of Operational Semantics”, 1985 63 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS [GBNG02] Jeff Gray, Ted Bapty, Sandeep Neema, An iruddha Gokhale, “Aspect-Oriented Domain-Specific Modeling”, 2002 [Har06] Robert Harper, “Practical Foundations for Programming Languages”, 2006 David Harel, Bernhard Rumpe, “Meaningful Modeling : What’s the Semantics of ‘Semantics’ ?”, IEEE 2004 Mirijana Ivanovic, “Modular Executable Langage Specification in Haskell”, 1998 Jean-Marc Jézéquel, “Modeling and Aspect Weaving”, Journal of Software and Systems Modeling (SoSyM), 7(2):209 218, may 2008 [HR04] [Iva98] [Jéz08] [JGH08] [Jon96] [Kar07] [KCA07] [Ken02] [Kle07] [LBC05] [LC06] [MCF03] [MFF+05] [MOF97] [Mos99] [Mos00] Mauro Jaskelioff, Neil Ghani, Graham Hutton, “Modularity and Implementation of Mathematical Operational Semantics”, 2008 Capers Jones Programming Languages Table, Software Productivity Research Inc., 1996 Martin Karlsch, “A model-driven framework for domain specific languages”, Thesis 2007 Ali Koudri, Joël Champeau, Denis Aulagnier, “Une sémantique opérationnelle pour une meilleure méta-modélisation”, SéMo 2007 Stuart Kent Model driven engineering In Proc of the 3rd Intl Conf on Integrated Formal Method—IFM 2002, volume 2335, page 286, 2002 Anneke Kleppe, “A Language Description is More than a Metamodel”, ATEM 2007 Roberto E Lopez-Herrejon, Don Batory, William Cook, “Evaluating Support for Features in Advanced Modularization Technologies”, 2005 Keunwoo Lee, Craig Chambers, “Parameterized Modules for Classes and Extensible Function”, 2006 Stephen J Mellor, Anthony N Clark, and Takao Futagami Modeldriven development pages 14–18, September 2003 Pierre-Alain Muller, Franck Fleurey, Frédéric Fondement, Michel Hassenforder, Rémi Schneckenburger, Sébastien Gérard, Jean-Marc Jézéquel, “Model-Driven Analysis and Synthesis of Concrete Syntax”, 2005 OMG, Meta Object Facility (MOF) Specification, in OMG Document 1997 Peter D Mosses, “Foundations of Modular SOS”, BRICS Report Series, 1999 Peter D Mosses, “Modularity in Meta-Language” , BRICS Report Series, 2000 64 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS [Mos02] [Mos03] [Mos04] [Mos05] [Mou05] [Mul06] [Plo81a] [Plo81b] [RPR+06] [RRDV07] [Sad07] [Ste07] [SJ04] [SJ05] [SJ07a] Peter D Mosses, “Pragmatics of Modular SOS”, BRICS Article, 2002 Peter D Mosses, “Modular SOS: Differences from SOS”, APPSEMII Workshop, 2003 Peter D Mosses, “Exploiting Labels in Structural Operational Semantics”, ACM Symposium on Applied Computing, 2004 Peter D Mosses, “Modular Structural Operational Semantics”, BRICS Report Series, 2005 MohammadReza Mousavi, “Structuring Structural Operational Semantics”, Technische Universiteit Eindhoven, 2005 Pierre-Alain Muller, De la modélisation objet des logiciels la metamodélisation des langages informatiques, Habilitation diriger des recherches 2006 Gordon D Plotkin, “The Origins of Structural Operational Semantics”, Journal of Logic and Algebraic Programming, 1981 Gordon D Plotkin, “A Structural Approach to Operational Semantics”, Technical Report, DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, 1981 N Rinetzky, A Poetzsch-Heffter, G Ramalingam, M Sagiv, E Yahav, “Modular Shape Analysis for Dynamically Encapsulated Programs”, 2006 J Raul Romero, José E Rivera, Francisco Duran, Antonio Vallecillo “Formal and Tool Support for Model Driven Engineering with Maude”, 2007 Daniel A Sadilek, “Prototyping Domain-Specific Languages for Wireless Sensor Networks”, 2007 Jim Steel, “Typage de modèles”, Thèse 2007 Jim Steel, Jean-Marc Jézéquel, “Typing Relationships in MDA”, 2004 Jim Steel, Jean-Marc Jézéquel, “Model Typing for Improving Reuse in Model-Driven Engineering”, 2005 Jim Steel, Jean-Marc Jézéquel, “On model typing”, 2007 65 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS (LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS(LUAN.van.THAC.si).MODEL.DRIVEN.OPERATIONAL.SEMANTICS
Ngày đăng: 18/12/2023, 02:17
Xem thêm:
