Réalisé avec le soutien de Pied de page fixe Pied de page 1 Titre Sous titre.

Slides:



Advertisements
Présentations similaires
Validation sémantique d’objets à l’aide d’un modèle de référence et de contraintes • appliquée aux expressions temporelles • Cyril Faucher, Samnang Chea,
Advertisements

Applications N-Tiers Rappels: architecture et méthodologie
C#3 et le projet Linq Mitsuru FURUTA
Branche Développement Cnet La communication de ce document est soumise à autorisation du Cnet © France Télécom - (Nom du fichier) - D1 - 11/01/2014 Diffusion.
Transformation de documents XML
Ingénierie des Modèles
Thème 3 : plate-forme de modélisation et de gestion de référentiels XML étapes modélisation des structures (UML) gestion du référentiel de modélisation.
19 septembre 2006 Tendances Logicielles IBM Rational Data Architect Un outil complet de modélisation et de conception pour SGBD Isabelle Claverie-Berge.
Object Management Architecture (OMA)
UML - Présentation.
Les méthodes formelles en ingénierie des connaissances Damien Lhomme-Desages Jérémie Barlet.
Understanding, building and using ontologies. Understanding Ontologie : la définition des concepts utilisés dans un langage donné Première approche (Gruber)
Approches formelles en syntaxe et sémantique Alain Lecomte UMR 7023 Structures Formelles de la Langue.
Méta-modélisation et Référentiels d’Entreprise
UML (Unified Modeling Langage)
Alain Le Guennec Jean-Marc Jézéquel Action Triskell
UML : GENERALITES Rappel Diagrammes Niveaux de visions
le profil UML en temps réel MARTE
MDA en action Ingénierie logicielle guidée par les modèles
Programmation par Aspect
Ecole Supérieure Privée de ingénierie et de technologie année universitaire :2013/2014 Cross-Plateform Cours JavaScript.
Spécification et Vérification de Modèles de Procédés de Développement
Complément Le diagramme des classes
OIL & UPML DREVET - HUMBERT Introduction OIL : un langage de description dontologies UPML : un langage de description de systèmes à base.
MOT Éditeur de modèles de connaissances par objets typés
Unified Modeling Langage
Design Patterns Factory Method – Pattern de construction [DANT] Génie Logiciel 1.
LIFI-Java 2004 Séance du Jeudi 9 sept. Cours 1. La notion de langage Décrire une tâche à effectuer –programme Écrire à un haut niveau –facile pour lutilisateur.
Partie II Sémantique.
Pr ZEGOUR DJAMEL EDDINE Ecole Supérieure dInformatique (ESI) Plate-forme.NET.
CSI 1502 Principes fondamentaux de conception de logiciels
Programmation non procédurale Le projet ECOLE 2000
Processus d'un projet F.Pfister
Sensibilisation a la modelisation
Transformation de modèles Kick Off Motor Jean Marc Jézéquel & Didier Vojtisek La vision Triskell : Umlaut NG.
Objectifs À la fin de ce cours, vous serez capables de :
Factory Design Patterns. Contents Factory patterns: principesFactory patterns: principes The Factory Method patternThe Factory Method pattern The Abstract.
Approches Formelles en Systèmes d'information
Laboratoire des outils informatiques pour la conception et la production en mécanique (LICP) ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE 1 Petri nets for.
La formation et l’usage
Le contenu est basé aux transparents du 7 ème édition de «Software Engineering» de Ian Sommerville«Software Engineering» de Ian Sommerville B.Shishedjiev.
Le contenu est basé aux transparents du 7 ème édition de «Software Engineering» de Ian Sommerville«Software Engineering» de Ian Sommerville B.Shishedjiev.
« Validation Formelle de Systèmes Interactifs »
Dyalog.Net Peter Donnelly Managing Director Dyadic Systems Toronto 30/10/2002.
J. Cardoso — C. Sibertin-Blanc — C
Sujet Objet Les pronoms interrogatifs et relatifs
IFT 232 Méthodes de Conception Orientées Objets Introduction.
Méta-modélisation Olivier Barais kezaqo (Univ. Rennes 1 & INRIA)
Le polymorphisme.
Reveal-This Ou comment générer des métadonnées utiles automatiquement.
1 Programmation en C++ Marianne Morris. 2 Intro générale à la programmation On a déjà étudié le langage assembleur Langage de bas niveau Meilleur que.
LIFI-Java 2004 Séance du Mercredi 29 sept. Cours 4.
Warm up What activities you must (devoir) do every day, every week, or every year in your life. Then write a sentence like: chaque jour, je dois respirer.
1 de 24 Cours 11 - synchronisationMGL Witold Suryn Cours 11 – SQIM - synchronisation et gestion de changements 1 Ingénierie de la qualité du système.
Nous avons une grande famille.
Hiver 2004SEG2501 Chapître 41 Chapître 4 SDL – structure d’un système et son comportement.
Séminaire Service Interoperability on Context Level in Ubiquitous Computing Environments Pasinelli Paolo IIUF Étude de l’article: Service Interoperability.
IHM Modèle d’architecture et liens avec les outils de production d’interface IHM Dirrigé par : Catherine RECANATI Présenté par : Youssef OUDGHIRI YOUSFI.
(UML) Unified Modeling Language
UML support à la COO 2ème année IUT Calais-Boulogne Bénédicte Talon
Français 1 Aller and Venir Chapter 5, Etape 2. Aller – To go Je vais Tu vas Il/elle/on va Nous allons Vous allez Ils/elles vont.
Ahmed Sfayhi, Houari Sahraoui
EDHEC OPEN INNOVATION 2016 #OpenInno 2016 [Bus. Case title – Company] Company LOGO.
Le verbe Venir Les normes: – Communications 1.2: Understanding the written and spoken language – Comparisons 4.1: Understanding language through comparisons.
Dániel Darvas (CERN BE-ICS-PCS) Spécification formelle pour les API CERN-ESTEREL séminaire 21/01/2016, CERN Travail conjoint avec B. Fernández, E. Blanco,
Template Method Design Pattern. But Définir le squelette d’un algorithme tout en déléguant certaines étapes aux sous-classes. Les sous-classes peuvent.
De la modélisation objet des logiciels à la metamodélisation des langages informatiques 20 novembre 2006.
Réalisé avec le soutien de OpenEmbeDD: Les technologies d’ingénierie des modèles Christian Brunette
La VBM, aspects pratiques. Soft :FSL/ Free/ FSL –Free : segmente, notion de mesure? –FSL : pas de substance blanche disponible –SPM 2 / 5.
Transcription de la présentation:

Réalisé avec le soutien de Pied de page fixe Pied de page 1 Titre Sous titre

Réalisé avec le soutien de Pied de page fixe Pied de page 2 Plan Topcased ATL Kermeta  Qu'est ce que Kermeta  Cas d'utilisation  Un aperçu du fonctionnement  Exemple de développement (robot tortue logo) Breathe life into your metamodels

Réalisé avec le soutien de Qu'est ce que Kermeta Un langage pour construire et spécifier des métamodèles Un environnement pour toutes les étapes de développement basées sur l'utilisation de métamodèles  De la production des MM jusqu'à leur exploitation  Intégration et/ou interopérabilité avec les autres outils du domaine  Adapté pour construire des DSL (Domain Specific Language) (Ingénierie des langages) Approche OO permettant de simplifier les tâches des développeurs de DSL grâce à des mécanismes dédiés:  Manipulation intuitive des éléments de modèle  Tissage, patron de conception,  Clôtures lexicales,  Type modèle, généricité, … Opensource (

Réalisé avec le soutien de Cas d'utilisation Pour définir la structure, le comportement et les contraintes d'un métamodèle (compatible avec EMOF et Ecore),  Spécification de la sémantique abstraite, des contraintes statiques ( OCL) et de la sémantique dynamique (comportement)  Conserve une liaison avec la syntaxe concrète Pour vérifier des modèles Pour animer/simuler des modèles  Prototypage de métamodèle et simulation des modèles qu'ils définissent Pour manipuler/transformer/tisser des modèles  Modulable et expressif grace à une approche Orientée Objet étendue

Réalisé avec le soutien de Un aperçu du fonctionnement Breathing life into Meta-Models // MyKermetaProgram.kmt // An E-MOF metamodel is an OO program that does nothing require "StateMachine.ecore" // to import it in Kermeta // Kermeta lets you weave in aspects // Contracts (OCL WFR) require “StaticSemantics.ocl” // Method bodies (Dynamic semantics) require “DynamicSemantics.kmt” // Transformations Context FSM inv: ownedState->forAll(s1,s2| s1.name=s2.name implies s1=s2) aspect class FSM { operation reset() : Void { currentState := initialState }} class Minimizer { operation minimize (source: FSM):FSM {…} }

Réalisé avec le soutien de Aperçu du tissage interne Par exemple pour bien séparer la syntaxe abstraite du domaine sémantique require "FSM.ecore" aspect class FSM { reference currentState : State operation run() : Void is do … end operation reset() : Void is do … end } … aspect class Transition { operation fire() : String is do // update FSM current state source.owningFSM.currentState := target result := output end }

Réalisé avec le soutien de Le workbench

Réalisé avec le soutien de Exemple de développement (Robot tortue logo) Static constraints in OCL Simulator in Kermeta Result of a simulation interpreted with Kermeta Input scenario Embedded source code inside the robot Result of a real execution Transformation written in Kermeta Interaction between the current simulation (Kermeta) and the GUI (Java) Logo Semantic in Kermeta AS VM Semantic mapping Venez voir la démo en live sur le stand OpenEmbedd !