Introduction

Sur cette page, les étudiants du Master en informatique ont accès aux supports de cours et à la documentation utilisés dans les deux cours sur la spécification et l'implémentation de langages de contraintes d'architecture et de leurs méthodes de traduction.

Supports de cours

• Partie 1 : Généralités sur les composants et architectures logicielles à base de composants
• Partie 2 : Spécification des contraintes architecturales
• Partie 3 : Un modèle de composants pour les contraintes architecturales
• Partie 4 : Transformation des contraintes architecturales
• Partie 5 : Génération de code à objets à partir de contraintes architecturales
• Partie 6 : Génération de composants à partir des contraintes

Documentation

• Chouki Tibermacine. Software Architecture: Architecture Constraints. A book chapter in "Software Architecture: principles, techniques and tools", edited by Mourad Oussalah and published by John Wiley & Sons 2014. ISBN 9781848216884, New York, USA. Une version en français est disponible ici
• Chouki Tibermacine, Régis Fleurquin and Salah Sadou. A Family of Languages for Architecture Constraint Specification. In Journal of Systems and Software (JSS), Volume 83, Number 5, Elsevier. 2010.
• Chouki Tibermacine, Salah Sadou, Christophe Dony and Luc Fabresse. Component-based Specification of Software Architecture Constraints. In proc. of the 14th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'11), Boulder, Colorado, USA, June 2011. ACM Press.
• Petr Spacek, Christophe Dony, and Chouki Tibermacine. A Component-based meta-level architecture and prototypical implementation of a Reflective Component-based Programming and Modeling language. In Proc. of ACM CBSE’14 - the 17th Int. ACM SIGSOFT Conf. on Component Based Software Engineering, pages 13–23. July 2014.
• Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony and Ahmed Hadj Kacem. Automatic Translation of OCL Meta-Level Constraints into Java Meta-programs. In Proceedings of the 14th International Conference on Software Engineering Research, Management and Applications (SERA'15), Hammamet, Tunisia, May 2015.
• Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony and Ahmed Hadj Kacem. Automatic Translation of Architecture Constraint Specifications into Components. In Proceedings of the 9th European Conference on Software Architecture (ECSA'15), Dubrovnik/Cavtat, Croatia, September 2015. Springer.
• Ivica Crnkovic, Séverine Sentilles, Aneta Vulgarakis et Michel R. V. Chaudron. A Classication Framework for Software Component Models. IEEE TSE, vol. 37, num. 5 IEEE Computer Society (2011)
• Kung-Kiu Lau et Zheng Wang. Software Component Models. IEEE TSE, vol. 33, num. 10 IEEE Computer Society (2007)
• N. Medvidovic et N. R. Taylor. A Classification and Comparison Framework for Software Architecture Description Languages. IEEE TSE, vol. 26, num. 1 (2000) 70–93
• Article à lire, à analyser et à préparer pour l'examen :
  Ralf Mitschke, Michael Eichberg, Mira Mezini, Alessandro Garcia et Isela Macia. Modular Specification and Checking of Structural Dependencies. Dans les actes de la conférence AOSD (Modularity) 2013, Fukuoka, Japon 24-29 mars 2013. ACM. Pages 85-96.