MT

Imprimer

MT : Modèles et Transformations

Responsable : Jean-Philippe Babau (mail)

Équipe pédagogique : Jean-Philippe Babau, Joël Champeau, Alain Plantec, Mickael Kerboeuf (mail)

Description

La notion de modèle est fondamentale en science et en informatique. En s'appuyant sur une utilisation intensive de la modélisation, l'Ingénierie Dirigée par les Modèles est de plus en plus présente dans l'industrie, mais également dans les projets de recherche.

Après l'introduction à la notion de modèle réalisée dans le module CMP, ce module va approfondir l'exploration et l'exploitation d’UML (« Unified Modeling Language ») et des DSML (« Domain Specific Modeling Language »). Au cours de cette UE, les principaux diagrammes d'UML seront étudiés et le méta-modèle d'UML présenté. Un travail d'analyse critique sera réalisé sur la mise en place des DSML.

Pour manipuler ces modèles, des langages de transformation de modèle sont créés et utilisés (tels ATL et Kermeta). Ces langages apportent une nouveauté fondamentale ; contrairement aux langages de programmation (ou de modélisation) classiques, ils permettent de décrire, non pas le produit (le système), mais le processus de construction du produit. La seconde partie de ce module sera consacrée à l'étude et l'utilisation de ces langages.

Comme application des approches modèles et transformations, nous étudierons la modélisation d'architectures logicielles pour les systèmes embarqués temps réel et les techniques de transformations adaptées à des déploiements sur des plate-formes à base de composants.

Mots clé : modèles, transformations de modèles, temps-réel, architectures à composants

Pré-requis : module CMP

Savoir et savoir faire associés

Aptitude à modéliser et transformer des modèles d'architectures logicielles, en particulier dans le domaine de l'embarqué temps-réel.

Structure générale et contenu

  • Modélisation et méta-modélisation (UML, MOF, EMOF, Ecore) (présentation - critique)
  • Transformations et langages de transformation (ATL, Kermeta, ...) (présentation - critique )
  • Modélisation d'architectures logicielles pour les systèmes embarqués temps réel
  • Transformations adaptées sur plate-formes à base de composants
  • Conclusion et perspectives

Références bibliographiques

  • A. Beugnard, J.-M. Jézéquel, N. Plouzeau, and D. Watkins “Making component contract aware” IEEE computer, 32(7), pages 38–45, 1999.
  • I. Crnkovic “Building Reliable Component-Based Software Systems” Artech House, Inc., Norwood, MA, USA, 2002.
  • D. Emery and R. Hilliard “Updating IEEE 1471: architecture frameworks and other topics” Seventh Working IEEE/IFIP Conference on Software Architecture WICSA, 2008
  • D. Garlan, R. Allen, and J. Ockerbloom “Exploiting style in architectural design environments” In SIGSOFT ’94: Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, pages 175–188, New York, NY, USA, 1994. ACM Press.
  • A. Gerber, M. Lawley, K. Raymond., J. Steel, A. Wood “Transformation: The Missing Link of MDA”, Graph Transformation, vol. 2505 of Lecture Notes in Computer Science, Springer-Verlag, p. 90–105, 2002, Proc. 1st Int’l Conf. Graph Transformation 2002, Barcelona, Spain.
  • Ghezzi C., Jazayeri M., Mandrioli D., « Software Architecture: a Roadmap », In A. Finkelstein editeur, International Conference on Software Engineering, ACM press, 2000.
  • J. Gray, J.-P. Tolvanen, S. Kelly, A. Gokhale, S. Neema, J. Sprinkle “Domain-Specific Modeling”, in CRC Handbook of Dynamic System Modeling, Paul A. Fishwick (ed.), CRC Press, 2007.
  • A. Kleppe, J. Warmer, W. Bast “MDA Explained, The Model-Driven Architecture: Practice and Promise” Addison Wesley, 2003.
  • Kermeta “Triskell Metamodeling Kernel” http://www.kermeta.org/
  • OMG, Unified Modeling Language, UML™ Superstructure, V2.1.2
  • OMG, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Beta 2
  • OMG-MDA. Model driven architecture guide v1.0.1. http://www.omg.org/mda, 2003.
  • S. Sendall, W. Kozaczynski, “Model Transformation: The heart and soul of model-driven software development”, IEEE Software, vol. 20, num. 5, p. 42–45, September October 2003, Special Issue on Model-Driven Software Development.

Modalités d'évaluation

Contrôle continu :

  • 1 exposé d'article individuel : 50%
  • 1 travail personnel individuel : 50%
Buy cheap web hosting service where fatcow web hosting review will give you advices and please read bluehost review for more hosting information.