ED STIC - Proposition de Sujets de Thèse pour la campagne d'allocation de thèses 2013 Axe Sophi@Stic : Titre du sujet : aucun Composition de systèmes d information dirigée par les modèles : une démarche orientée lignes de produits Mention de thèse : Informatique HDR Directeur de thèse inscrit à l'ed STIC : Blay-fornarino Mireille Co-encadrant de thèse éventuel : Nom : Cavarero Authosserre Prénom : Email : Annie Annie.Authosserre@unice.fr Téléphone : Email de contact pour ce sujet : Laboratoire d'accueil : blay@unice.fr I3S Description du sujet : Les systèmes d'information (SI) sont une brique essentielle à l'organisation des entreprises. Ils sont aujourd'hui de plus en plus souvent construits à partir de la composition de systèmes informatiques.[caseau, 11]. Face à la complexité de chacun des systèmes, la composition des SI reste difficile à la fois aux niveaux conceptuels et techniques. Or, la maîtrise du système d'information et son évolution pour intégrer les systèmes issus de différents partenaires ou les services issus du web constitue un axe stratégique de développement de l'entreprise. Les changements doivent alors être appréhendés selon une démarche globale prenant en compte à la fois la modification des processus métier, le partage des données, la sécurité, les utilisateurs... Alors que cette gestion du changement est essentielle à la valeur de l entreprise, la multiplicité des services, les ré- Page 1/5
organisations d entreprises, les possibilités portées par les infrastructures du Cloud, la multiplicité des supports mobiles accroissent les besoins d adaptation et d évolutions des SI. Comment supporter la construction et l évolution de tels systèmes, telle est la thématique générale de ce sujet de thèse. Dans [Authoserre et al., 12], les auteurs présentent différentes approches aujourd hui suivies pour pallier les difficultés pour gérer l interopérabilité des SI. En particulier, les architectures à base de services mettent en avant des standards de développement et de communication visant à favoriser les intégrations de systèmes et une meilleure «agilité» par l'adaptation des systèmes[bonnet et al.,2008]. L IDM en supportant une montée en abstraction permet de raisonner sur les assemblages, de diriger les compositions et de mettre en oeuvre par génération la composition effective des systèmes[favre et al., 2006]. Les lignes de produits logiciels sont un support à la maîtrise de la complexité des systèmes qui présentent une très grande variabilité et pour lesquels des générations sont souhaitées en fonction des besoins utilisateurs[pohl et al., 05]. Les récents travaux sur le cloud prennent en charge la gestion des ressources et des déploiements en fonction des besoins qu il s agisse de très gros systèmes ou au contraire de multiples services comme ceux associés aux objets communicants[brandtzæg et al., 12b]. A l intersection entre le monde des Systèmes d informations et de l ingénierie du logiciel, ce travail de thèse s intéressera plus spécifiquement à la cohérence des compositions des sous-systèmes et à l automatisation de leur mise en œuvre. Cette thèse s ancrera dans les travaux relatifs à la modélisation des systèmes d information en appréhendant plus spécifiquement la complexité de ces systèmes et de leurs compositions sous la forme d une composition de lignes de produits permettant d appréhender les différentes facettes des systèmes : propriétés non fonctionnelles, infrastructures de déploiement, processus métiers, gestion de la cohérence [Blanc et al., 08]... Ce travail de thèse sera étayé par l étude d exemples concrets issus du monde industriel. Une des pistes originale pour aborder la construction de SI reposera sur la modélisation par lignes de produits multiples[holl et al., 12][Urli et al., 13]. Elle sera étayée par les travaux sur la modélisation et la composition de business process [Mosser, 10], la composition de feature models [Acher et al., 13], la modélisation des infrastructures [Brandtzæg et al, 12][Clavreul et al., 2011], la composition dirigée par les exigences [Mosser, et al. 11][Cerezo et al., 11]. Bibliographie Acher, M. et al., 2013. FAMILIAR: A Domain-Specific Language for Large Scale Management of Feature Models. Science of Computer Programming (SCP) Special issue on programming languages, p.22. Authoserre, A. et al., 2012. Interopérabilité des Systèmes d Information : approches dirigées par les modèles. In 30ème congrès INFORSID(INFORSID 2012). Montpellier (France), p. 16. Blanc, X. et al., 2008. Detecting model inconsistency through operation-based model construction. In ICSE 08: Proceedings of the 30th international conference on Software Page 2/5
engineering. New York, NY, USA: ACM, pp. 511 520. Bonnet, P., Detavernier, J.-M. & Vauquier, D., 2008. Le système d information durable~: la refonte progressive du SI avec SOA, Hermes Lavoisier. Brandtzæg, E., Mosser, S. & Mohagheghi, P., 2012. Towards CloudML, a Model-based Approach to Provision Resources in the Clouds. In Model-Driven Engineering for and on the Cloud workshop (co-located with ECMFA 12)(CloudMDE'12), workshop. Copenhaghen, Danemark: DTU, pp. 18 27. Brandtzæg, E., Parastoo, M. & Mosser, S., 2012b. Towards a Domain-Specific Language to Deploy Applications in the Clouds. In Third International Conference on Cloud Computing, GRIDs, and Virtualization(CLOUD COMPUTING 12). Nice: IARIA, pp. 213 218. Caseau, Y., 2011. Urbanisation, SOA et BPM - Le point de vue d un DSI Dunod., Cerezo, N. & Montagnat, J., 2011. Scientific Workflow Reuse through Conceptual Workflows. In Proceedings of the 6th Workshop on Workflows in Support of Large-Scale Science. Seattle, WA, USA: ACM, pp. 1 10. Clavreul, M. et al., 2011. Service-oriented Architecture Modeling: Bridging the Gap Between Structure and Behavior. In 14th International Conference on Model Driven Engineering Languages and Systems(MODELS 11), long paper. Wellington, New Zealand, pp. 1 10. Favre, J.-M., Establier, J. & Blay-Fornarino, M. eds., 2006. L ingénierie dirigée par les modèles : au-delà du MDA, Cachan, France: Hermes-Lavoisier. Holl, G., Grünbacher, P. & Rabiser, R., 2012. A systematic review and an expert survey on capabilities supporting multi product lines. Information and Software Technology, 54(0), pp.828 852. Mosser, S., 2010. Behavioral Compositions in Service-Oriented Architecture. Nice. Mosser, S. et al., 2011. From aspect-oriented requirements models to aspect-oriented business process design models: an iterative and concern-driven approach for software engineering. In Proceedings of the tenth international conference on Aspectoriented software development. ACM, pp. 31 42. Mosser, S. et al., 2012. Using Domain Features to Handle Feature Interactions. In Sixth International Workshop on Variability Modelling of Software-intensive Systems(VAMOS 12), workshop. Leipzig, Germany. Pohl, K., Böckle, G. & Van der Linden, F.J., 2005. Software Product Line Engineering: Foundations, Principles and Techniques, Springer-Verlag. Urli, S. et al., 2013. How to Exploit Domain Knowledge in Multiple Software Product Lines? In Fourth International Workshop on Product LinE Approaches in Software Engineering at ICSE 2013 (PLEASE 2013). San Francisco, USA, p. 4. Urli, S. et al., 2012. Using Composite Feature Models to Support Agile Software Product Line Evolution. In Models and Evolution 2012(ME 12), workshop. URL : https://modalis.polytech.unice.fr/positions/phdthesis/composition-of-is English version: Information systems (IS) are a key component to a company s organization. Nowadays they are increasingly often built using computer systems.[caseau, 11]. Due to the Page 3/5
complexity of each system, the creation of the IS remains difficult both on a conceptual and technical level. However, the mastery of information systems and their evolution to integrate systems coming from different partners or web services constitutes strategic development for the industry. The changes therefore have to be approached globally, at the same time taking into account the modification of business process, data sharing, security, users Even though this change management is essential to the company s value, the multiplicity of services, the company s rearrangements, the possibilities carried by the Cloud s infrastructure, the multiplicity of mobile support increases the need for the adaptation and evolution of IS. How to support this construction and the evolution of such systems is the overarching theme of this thesis. In [Authoserre et al., 12], the authors present various approaches that are currently used to reduce the difficulties that go with managing the interoperability of the IS. In particular, the architectures based on services emphasize development and communication standards aiming to favor the integration of systems and a better agility due to the adaptation of systems [Bonnet et al.,2008]. The MDE by supporting an increase in abstraction allows to reason on the assemblies, steer the compositions and to implement, by generation, the effective composition of the systems [Favre et al.,2006]. Software product lines are a support to the mastery of the systems complexity that present a great variability and for which the generations are whished depending on the users needs [Pohl et al.,05] The recent works on the cloud take into account the management of resources and deployments depending on the needs whether they be of very big systems or on the contrary of multiple services like the ones associated with communicating objects [Brandtzæg et al., 12b]. At the intersection between the world of Information Systems and software engineering, this thesis will focus more specifically on the coherence of the compositions of subsystems and the automation of their implementation. This thesis will ground itself in works related to the modeling of information systems by apprehending more specifically the complexity of those systems and the composition in the form of a product line composition allowing to apprehend the various aspects of the systems: non-functional properties, deployment infrastructures, job process, coherence management [Blanc et al.,08] This thesis work will be supported by the study of concrete examples from the industry. One of the original tracks to approach the construction of IS will rest on modeling using multiple product lines [Holl et al.,12][urli et al.,13]. It will be supported by the modeling and composition of the business process [Mosser, 10], the composition of feature models [Archer et al., 12], the modeling of the infrastructures [Brandtzæg et al., 12] [Clavreul et al. 2011], and the composition directed by requirements [Mosser et al.,11][cerezo et al.,11]. Bibliographie Acher, M. et al., 2013. FAMILIAR: A Domain-Specific Language for Large Scale Management of Feature Models. Science of Computer Programming (SCP) Special issue on programming languages, p.22. Authoserre, A. et al., 2012. Interopérabilité des Systèmes d Information : approches dirigées par Page 4/5
les modèles. In 30ème congrès INFORSID(INFORSID 2012). Montpellier (France), p. 16. Blanc, X. et al., 2008. Detecting model inconsistency through operation-based model construction. In ICSE 08: Proceedings of the 30th international conference on Software engineering. New York, NY, USA: ACM, pp. 511 520. Bonnet, P., Detavernier, J.-M. & Vauquier, D., 2008. Le système d information durable~: la refonte progressive du SI avec SOA, Hermes Lavoisier. Brandtzæg, E., Mosser, S. & Mohagheghi, P., 2012. Towards CloudML, a Model-based Approach to Provision Resources in the Clouds. In Model-Driven Engineering for and on the Cloud workshop (co-located with ECMFA 12)(CloudMDE'12), workshop. Copenhaghen, Danemark: DTU, pp. 18 27. Brandtzæg, E., Parastoo, M. & Mosser, S., 2012b. Towards a Domain-Specific Language to Deploy Applications in the Clouds. In Third International Conference on Cloud Computing, GRIDs, and Virtualization(CLOUD COMPUTING 12). Nice: IARIA, pp. 213 218. Caseau, Y., 2011. Urbanisation, SOA et BPM - Le point de vue d un DSI Dunod., Cerezo, N. & Montagnat, J., 2011. Scientific Workflow Reuse through Conceptual Workflows. In Proceedings of the 6th Workshop on Workflows in Support of Large-Scale Science. Seattle, WA, USA: ACM, pp. 1 10. Clavreul, M. et al., 2011. Service-oriented Architecture Modeling: Bridging the Gap Between Structure and Behavior. In 14th International Conference on Model Driven Engineering Languages and Systems(MODELS 11), long paper. Wellington, New Zealand, pp. 1 10. Favre, J.-M., Establier, J. & Blay-Fornarino, M. eds., 2006. L ingénierie dirigée par les modèles : au-delà du MDA, Cachan, France: Hermes-Lavoisier. Holl, G., Grünbacher, P. & Rabiser, R., 2012. A systematic review and an expert survey on capabilities supporting multi product lines. Information and Software Technology, 54(0), pp.828 852. Mosser, S., 2010. Behavioral Compositions in Service-Oriented Architecture. Nice. Mosser, S. et al., 2011. From aspect-oriented requirements models to aspect-oriented business process design models: an iterative and concern-driven approach for software engineering. In Proceedings of the tenth international conference on Aspectoriented software development. ACM, pp. 31 42. Mosser, S. et al., 2012. Using Domain Features to Handle Feature Interactions. In Sixth International Workshop on Variability Modelling of Software-intensive Systems(VAMOS 12), workshop. Leipzig, Germany. Pohl, K., Böckle, G. & Van der Linden, F.J., 2005. Software Product Line Engineering: Foundations, Principles and Techniques, Springer-Verlag. Urli, S. et al., 2013. How to Exploit Domain Knowledge in Multiple Software Product Lines? In Fourth International Workshop on Product LinE Approaches in Software Engineering at ICSE 2013 (PLEASE 2013). San Francisco, USA, p. 4. Urli, S. et al., 2012. Using Composite Feature Models to Support Agile Software Product Line Evolution. In Models and Evolution 2012(ME 12), workshop. URL : https://modalis.polytech.unice.fr/positions/phdthesis/composition-of-is Page 5/5