Prise en compte des contraintes sur un modèle métier dans la spécification et l’exécution des systèmes interactifs

Mots-clés

modèles, IHM, contraintes, liens IHM / modèle métier, opérations actives

Description

Le développement des systèmes interactifs (SI) est presque toujours basé sur une décomposition du système en un modèle métier décrivant les données métier manipulées par le système, et différentes présentations (ou vues) permettant à l’utilisateur   d’interagir sur ces données. Les boites à outils modernes de conception de SI intègrent une telle décomposition en offrant des mécanismes de “data binding” qui permettent de connecter un modèle métier à ses différentes présentations. Il a été récemment démontré que l’usage des “opérations actives” permet de repousser les limites actuelles de tels mécanismes. Cependant, il n’a pas encore été démontré dans quelle mesure l’usage de ces mêmes opérations actives permet de spécifier et d’exécuter un ensemble de contraintes mathématiques projetables sur le modèle métier.

L’objectif de ce stage est ainsi d’étudier comment les opérations actives peuvent être utilisées ou/et étendues de manière à permettre la conception de SI intégrant un modèle métier sur lequel il est possible de projeter des contraintes. Cette étude devra déterminer comment il est possible de présenter à l’utilisateur le résultat de la projection des contraintes, ainsi que les modifications que l’utilisateur pourrait apporter sur les données métier pour que les contraintes soient satisfaites.

Bibliography

1. Conception des IHM
(a) A. Blouin , O. Beaudoux - Improving modularity and usability of interactive systems with Malai, Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2010), ACM, 2010.
(b) G. E. Krasner and S. T. Pope. A description of the model-view-controller user interface paradigm in smalltalk80 system. Journal of Object Oriented Programming, 1 :26–49, 1988.

2. Mécanismes de “data-binding” :
(a) Eclipse Foundation. JFace data binding. http ://wiki.eclipse.org/index.php/JFace_Data_Binding.
(b) R. Field. JavaFX language reference (chapter 7 - Data binding). http ://openjfx.java.sun.com/ current-build/doc/reference/ch07s01.html.
(c) C. Kazoun and J. Lott. Programming Flex 2. O’Reilly, 2007.

3. Opérations actives :
(a) O. Beaudoux , A. Blouin , O. Barais , J.M. Jézéquel - Specifying and implementing UI Data Bindings with Active Operations, EICS’11 : Proceedings of the 3rd ACM SIGCHI symposium on Engineering Interactive Computing Systems, 2011.
(b) O. Beaudoux, A. Blouin, O. Barais, and J. M. Jezequel. Active operations on collections. In MoDELS ’10 : Proceedings of the 13th ACM/IEEE International Conference on on Model Driven Engineering Languages and Systems (LNCS 6394), pages 91–105. Springer, 2010.
(c) O. Beaudoux and A. Blouin. Linking data and presentations : from mapping to active transformations. In DocEng ’10 : Proceedings of the 2010 ACM symposium on Document engineering, pages 107–110. ACM, 2010.

4. Contraintes :
(a) J. B. Warmer and A. G. Kleppe. The object constraint language : getting your models ready for MDA. Addison-Wesley.
(b) Cabot, J., Teniente, E. : Incremental evaluation of OCL constraints. In : CAiSE 2006, LNCS 4001. (2006) 81–95
(c) ObeoDesigner : http ://www.obeodesigner.com/
(d) Timothy Heron Programming with Dependency. MSc thesis, Department of Computer Science, University of Warwick, UK (September 2002).

Environnement de Travail

• Laboratoire :
• GRI / ESEO Angers ou Triskell - Rennes au choix.
  

• Encadrant :
• Olivier Beaudoux, olivier.beaudoux _at__ eseo.fr
• Arnaud Blouin, arnaud.blouin _at__ irisa.fr