Baligand, Fabien (2008) A Declarative Approach for Quality of Service Management in Service Compositions. PhD thesis Informatique temps réel, robotique et automatique, CMA - Centre de Mathématiques Appliquées, ENSMP p.142.

Full text available as: - These_Fabien_Baligand.pdf ( 2785 Kb )

Licence: Copyright

Alternative Locations: http://tel.archives-ouvertes.fr/tel-00308934/fr/

Abstract

The advent of Service Oriented Architectures tends to promote a new kind of software architecture where services, exposing features accessible through highly standardized protocols, are composed in aloosely coupled way. In such a context, where services are likely to be replaced or used by a large numberof clients, the notion of Quality of Service (QoS), which focuses on the quality of the relationship between a service and its customers, becomes a key challenge. QoS deals with multiple concerns suchas security, reliability, performance (response time or availability), or even the cost of the service. Although much work has been carried out in the field of service composition, in particular leading to the elaboration of the BPEL4WS standard, the challenge of QoS management in service compositions still lacks flexible and reusable solutions offering a suitable level of abstraction.This thesis aims to ease QoS management in service compositions through a better separation of concerns. For this purpose, we designed QoSL4BP, a domain-specific language which allows QoS policy specification on service compositions. Such policies handle QoS constraints and mechanisms, both at pre-deployment time and runtime, by use of a limited set of high level primitives. By encapsulating the expertise of QoS management domain and by offering a high level expressivity, the QoSL4BP language enables an easy, flexible and reusable specification of both QoS contracts management and QoS related mechanisms implementation. This language is executed by our ORQOS platform, which cooperates ina non-intrusive way with orchestration engines. Thus, at pre-deployment time, the ORQOS platform performs service planning depending on services QoS offers and on the QoS requirements in QoSL4BPpolicies. At runtime, the QoSL4BP policies make it possible to react to QoS variations and to enact QoS management related mechanisms. Two scenarii, belonging to telecommunications and medical domains, validate our approach.

References

[ACD+07] Alain Andrieux, Karl Czajkowski, Asit Dan, Kate Keahey, Heiko Ludwig, Toshiyuki Nakata, Jim Pruyne, John Rofrano, Steve Tuecke, and Ming Xu. Web services agreement specification (wsagreement), 2007. https://forge.gridforum.org/sf/docman/do/downloadDocument/projects.graap-wg/docman.root.published_documents.web_services_agreement_specifica/doc14574

[Aks96] Mehmet Aksit. Separation and composition of concerns in the objectoriented model. ACM Comput. Surv., page 148, 1996.

[Apa06a] Apache. Apache sandesha, 2006. http://ws.apache.org/sandesha/

[Apa06b] Apache. Apache wss4j, 2006. http://ws.apache.org/wss4j/

[AVMM04] Rohit Aggarwal, Kunal Verma, John Miller, and William Milnor. Constraint driven web service composition in meteor-s. In SCC ’04 : Proceedings of the 2004 IEEE International Conference on Services Computing, pages 23–30, Washington, DC, USA, 2004. IEEE Computer Society.

[BG07] Luciano Baresi and Sam Guinea. Dynamo and self-healing bpel compositions. In ICSE COMPANION ’07 : Companion to the proceedings of the 29th International Conference on Software Engineering, pages 69–70, Washington, DC, USA, 2007. IEEE Computer Society.

[BGP05] Luciano Baresi, Sam Guinea, and Pierluigi Plebani. Ws-policy for service monitoring. In TES : Technologies for E-Services, volume 3811 of LNCS, pages 72–83. Springer, 2005.

[BGP07] Luciano Baresi, Sam Guinea, and Pierluigi Plebani. Policies and aspects for the supervision of bpel processes. In CAiSE : International Conference on Advanced Information Systems Engineering, volume 4495 of LNCS, pages 340–354. Springer, 2007.

[BM02] Luciano Porto Barreto and Gilles Muller. Bossa : a language-based approach to the design of real-time schedulers. In 10th International Conference on Real-Time Systems (RTS’2002), pages 19–31, Paris, France, mar 2002.

[BRL07] Fabien Baligand, Nicolas Rivierre, and Thomas Ledoux. A declarative approach for qos-aware web service compositions. In Bernd J. Kraemer, Kwei-Jay Lin, and Priya Narasimhan, editors, Fifth International Conference on Service-Oriented Computing (ICSOC), volume 4749 of LNCS, pages 422–428. Springer, 2007.

[CIjJ+00] Fabio Casati, Ski Ilnicki, Li jie Jin, Vasudev Krishnamoorthy, and Ming-Chien Shan. eflow : A platform for developing and managing composite e-services. In AIWoRC, pages 341–348, 2000.

[CM04] Anis Charfi and Mira Mezini. Aspect-oriented web service composition with AO4BPEL. In Proceedings of the 2nd European Conference on Web Services (ECOWS), volume 3250 of LNCS, pages 168–182. Springer, September 2004.

[CMSA02] Jorge Cardoso, John Miller, Amit Sheth, and Jonathan Arnold. Modeling quality of service for workflows and web service processes. Technical Report UGACS-TR-02-002, Computer Science Department, University of Georgia, 2002.

[Coi06] Pierre Cointe. Les langages a objets. Vuibert, October 2006.

[Con04] Charles Consel. Domain-Specific Program Generation ; International Seminar, Dagstuhl Castle, chapter From A Program Family To A Domain-Specific Language, pages 19–29. Number 3016 in Lecture Notes in Computer Science, State-of-the-Art Survey. Springer-Verlag, 2004.

[CPE+06] Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Francesco Perfetto, and Maria Luisa Villani. Service composition (re)binding driven by application-specific qos. In Asit Dan and Winfried Lamersdorf, editors, ICSOC, volume 4294 of LNCS, pages 141–152. Springer, 2006.

[CPEV05] Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, and Maria Luisa Villani. An approach for qos-aware service composition based on genetic algorithms. In GECCO, pages 1069–1075. ACM, 2005.

[CS01] Fabio Casati and Ming-Chien Shan. Dynamic and adaptive composition of e-services. Information Systems, 26(3) :143–163, May 2001.

[CSHM06] Anis Charfi, Benjamin Schmeling, Andreas Heizenreder, and Mira Mezini. Reliable, secure, and transacted web service compositions with ao4bpel. In Proceedings of the 4th IEEE European Conference on Web Services (ECOWS), December 2006.

[CSM+04] Jorge Cardoso, Amit Sheth, John Miller, Jonathan Arnold, and Krys Kochut. Quality of service for workflows and web service processes. Web Semantics : Science, Services and Agents on the World Wide Web, 1(3) :281–308, April 2004.

[Dec03] Rina Dechter. Constraint Processing. Morgan Kaufmann Publishers, 2003.

[Dij82] Edsger W. Dijkstra. On the role of scientific thought. In Selected Writings on Computing : A Personal Perspective, pages 60–66. Springer-Verlag, 1982.

[DLBS01] Pierre-Charles David, Thomas Ledoux, and Noury M. Bouraqadi-Saadani. Two-step weaving with reflection using aspectj. oct 2001.

[Dub02] Jean-Jacques Dubray. Bpel metamodel, 2002. http://www.ebpml.org/bpel4ws.htm

[EFB01] Tzilla Elrad, Robert E. Filman, and Atef Bader. Aspect-oriented programming. CACM : Communications of the ACM, 44(10) :29–32, 2001.

[EMT06] Abdelkarim Erradi, Piyush Maheshwari, and Vladimir Tosic. Policy-driven middleware for self-adaptation of web services compositions. In Middleware, volume 4290 of LNCS, pages 62–80. Springer, 2006.

[ES06] Onyeka Ezenwoye and Seyed Masoud Sadjadi. Trap/bpel : A framework for dynamic adaptation of composite services. Technical Report FIU-SCIS-2006-06-02, 2006.

[ETM07] Abdelkarim Erradi, Vladimir Tosic, and Piyush Maheshwari. Masc - .netbased middleware for adaptive composite web services. In ICWS International Conference on Web Services, pages 727–734. IEEE Computer Society, 2007.

[HL95] Walter L. Hursch and Cristina Videira Lopes. Separation of concerns. Technical Report NU-CCS-95-03, College of Computer Science, Northeastern University, Boston, MA, USA, February 1995.

[HS05] Michael N. Huhns and Munindar P. Singh. Service-oriented computing : Key concepts and principles. IEEE Internet Computing, 9(1) :75–81, 2005.

[Hug89] John Hughes. Why functional programming matters. Computer Journal, 32(2) :98–107, 1989.

[IBM04] IBM. Web services security, 2004. http://www.ibm.com/developerworks/library/specification/ws-secure/

[IBM05] IBM. Web services reliable messaging, 2005. http://www.ibm.com/developerworks/library/specification/ws-rm/

[ISO] ISO/IEC. Cd 15935 information technology : Open distributed processing - reference model - quality of service. (cd ballo), october 1998.

[ISO98] ISO/IEC. Itu-t recommandation x.641 – iso/iec 13236 : Information technology – quality of service : Framework, 1998.

[Jae07] Michael C. Jaeger. Optimising Quality-of-Service for the Composition of Electronic Services. PhD thesis, Berlin University of Technology, jan 2007.

[jJMS02] Li jie Jin, Vijay Machiraju, and Akhil Sahai. Analysis of service-level agreement for web services. Technical Report HPL-2002-180, 2002.

[JRGM04] Michael C. Jaeger, Gregor Rojec-Goldmann, and Gero Muhl. Qos aggregation for web service composition using workflow patterns. In EDOC ’04 : Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International (EDOC’04), pages 149–159, Washington, DC, USA, 2004. IEEE Computer Society.

[KdRB91] Gregor Kiczales, Jim des Rivières, and Daniel G. Bobrow. The art of metaobject protocol. MIT Press, Cambridge, MA, USA, 1991.

[KFY+06] Pranam Kolari, Tim Finin, Yelena Yesha, Kelly Lyons, Jen Hawkins, and Stephen Perelgut. Policy management of enterprise systems : A requirements study. In POLICY ’06 : Proceedings of the Seventh IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY’ 06), pages 231–234, Washington, DC, USA, 2006. IEEE Computer Society.

[KHH+01] Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. An overview of aspectj. In ECOOP ’01 : Proceedings of the 15th European Conference on Object-Oriented Programming, pages 327–353, London, UK, 2001. Springer-Verlag.

[KL03] Alexander Keller and Heiko Ludwig. The wsla framework : Specifying and monitoring service level agreements for web services. J. Netw. Syst. Manage., 11(1) :57–81, 2003.

[KLM+97] Gregor Kiczales, John Lamping, Anurag Menhdhekar, Chris Maeda, Cristina Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In Mehmet Aksit and Satoshi Matsuoka, editors, Proceedings European Conference on Object-Oriented Programming, volume 1241, pages 220–242. Springer-Verlag, Berlin, Heidelberg, and New York, 1997.

[LDK04] Heiko Ludwig, Asit Dan, and Robert Kearney. Cremona : an architecture and library for creation and monitoring of ws-agreements. In ICSOC’04 : Proceedings of the 2nd international conference on Service oriented computing, pages 65–74, New York, NY, USA, 2004. ACM Press.

[LSE03] D.Davide Lamanna, James Skene, and Wolfgang Emmerich. Slang : A language for defining service level agreements. In 9th IEEE Workshop on Future Trends in Computing Systems, pages 100–106, San Juan, Puerto Rico, 2003. IEEE Computer Society Press.

[Mae87] Pattie Maes. Concepts and experiments in computational reflection. SIGPLAN Not., 22(12) :147–155, 1987.

[MC96] Jacques Malenfant and Pierre Cointe. Aspect-oriented programming versus reflection : a first draft, 1996.

[MHS05] Marjan Mernik, Jan Heering, and Anthony M. Sloane. When and how to develop domain-specific languages. ACM Comput. Surv., 37(4) :316–344, 2005.

[MK03] Hidehiko Masuhara and Gregor Kiczales. A modeling framework for aspectoriented mechanisms. In ECOOP ’03 : Proceedings of the 17th European Conference on Object-Oriented Programming, volume 2734, pages 2–28. Springer-Verlag, July 2003.

[MRC+00] Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, and Gilles Muller. Devil : an idl for hardware programming. In OSDI’00 : Proceedings of the 4th conference on Symposium on Operating System Design & Implementation, pages 2–2, Berkeley, CA, USA, 2000. USENIX Association.

[OT99] Harold Ossher and Peri Tarr. Multi-dimensional separation of concerns in hyperspace. Technical Report RC 21452(96717)16APR99, 1999.

[Pap03] Mike P. Papazoglou. Service -oriented computing : Concepts, characteristics and directions. In WISE ’03 : Proceedings of the Fourth International Conference on Web Information Systems Engineering, page 3, Washington, DC, USA, 2003. IEEE Computer Society.

[PCW07] Noel Plouzeau, Franck Chauvel, and Guillaume Waignier. Specification du meta-modele pivot. Technical Report F.2.1, RNTL Faros, jul 2007.

[PEV+06] Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani, Roberto Codato, Massimiliano Colombo, and Elisabetta Di Nitto. Ws binder : a framework to enable dynamic binding of composite web services. In SOSE’06 : Proceedings of the 2006 international workshop on Service-oriented software engineering, pages 74–80, New York, NY, USA, 2006. ACM.

[PSDF01] Renaud Pawlak, Lionel Seinturier, Laurence Duchien, and Gerard Florin. Jac : A flexible solution for aspect-oriented programming in java. In REFLECTION’01 : Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, pages 1–24, London, UK, 2001. Springer-Verlag.

[SCA08] Fraunhofer Institute SCAI. wsag4j organizational pom, 2008. http://packcs-e0.scai.fraunhofer.de/mss-project/wsag4j/project-info.html

[Slo94] Morris Sloman. Policy driven management for distributed systems. Journal of Network and Systems Management, 2 :333–360, 1994.

[SM05] Seyed Masoud Sadjadi and Philip K. McKinley. Using transparent shaping and web services to support self-management of composite systems. In ICAC ’05 : Proceedings of the Second International Conference on Automatic Computing, pages 76–87, Washington, DC, USA, 2005. IEEE Computer Society.

[SMCS04] Seyed Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng, and R. E. Kurt Stirewalt. Trap/j : Transparent generation of adaptable java programs. In CoopIS : International Conference on Cooperative Information Systems, volume 3291 of LNCS, pages 1243–1261. Springer, 2004.

[Smi84] Brian Cantwell Smith. Reflection and semantics in lisp. In POPL ’84 : Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 23–35, New York, NY, USA, 1984. ACM.

[SN98] Roy W. Schulte and Yefim V. Natis. Service oriented architectures, part 1 and 2, 1998. http://www.gartner.com/

[SOA] Soap specifications. http://www.w3.org/TR/soap/

[Szy98] Clemens Szyperski. Component software : beyond object-oriented programming. ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 1998.

[TEM07] Vladimir Tosic, Abdelkarim Erradi, and Piyush Maheshwari. Wspolicy4masc - a ws-policy extension used in the masc middleware. In IEEE SCC, pages 458–465. IEEE Computer Society, 2007.

[Tho02] Dave A. Thomas. Reflective software engineering - from mops to aosd. Journal of Object Technology, 1(4) :17–26, 2002.

[TPP02] Vladimir Tosic, Kruti Patel, and Bernard Pagurek. Wsol - web service offerings language. In CAiSE ’02/ WES ’02 : Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web, pages 57–67, London, UK, 2002. Springer-Verlag.

[Tsa93] Edward Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993.

[vDKV00] Arie van Deursen, Paul Klint, and Joost Visser. Domain-specific languages : An annotated bibliography. SIGPLAN Notices, 35(6) :26–36, 2000.

[W3C03] W3C. Qos for web services – requirements and possible approaches, 2003. http://www.w3c.or.kr/kr-office/TR/2003/ws-qos/

[Wes01] Andrea Westerinen. Rfc 3198 : Terminology for policy-based management, Nov 2001.

[WSA] Web service architecture. http://www.w3.org/TR/ws-arch/

[WSD] Wsdl specifications. http://www.w3.org/TR/wsdl/

[YL05a] Tao Yu and Kwei-Jay Lin. A broker-based framework for qos-aware web service composition. In EEE ’05 : Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, pages 22–29, Washington, DC, USA, 2005.

[YL05b] Tao Yu and Kwei-Jay Lin. Service selection algorithms for composing complex services with multiple qos constraints. pages 130–143. 2005.

[ZBD+03] Liangzhao Zeng, Boualem Benatallah, Marlon Dumas, Jayant Kalagnanam, and Quan Z. Sheng. Quality driven web services composition. In WWW’03 : Proceedings of the 12th international conference on World Wide Web, pages 411–421, New York, NY, USA, 2003. ACM.

[ZBN+04] Liangzhao Zeng, Boualem Benatallah, Anne H.H. Ngu, Marlon Dumas, Jayant Kalagnanam, and Henry Chang. Qos-aware middleware for web servicescomposition. IEEE Transactions on Software Engineering, 30(5) :311–327, 2004.

Table of content

1 Introduction

1.1 Evolution des architectures logicielles

1.2 Motivations liées à la gestion de la Qualité de Service

1.3 Limitations actuelles

1.4 Objectifs de la thèse

1.5 Contributions

1.6 Organisation du document

1.7 Liste des publications liées à cette thèse

I Contexte de l’Étude

2 Contexte logiciel spécifique à la thèse

2.1 Architecture Orientée Service

2.1.1 Objet, composant et service

2.1.2 Services Web

2.1.3 Composition de services

2.2 Séparation des préoccupations

2.2.1 Principes

2.2.2 Réflexion et méta-programmation

2.2.3 Programmation par aspects

2.2.4 Langages dédiés

2.3 Qualité de Service

2.3.1 Caractéristiques de Qualité de Service des Services Web

2.3.2 Contrats de service

2.3.3 Politiques

3 Travaux sur la gestion de la Qualité de Service

3.1 Introduction

3.2 Plateformes adaptatives pour la composition de services

3.2.1 AO4BPEL

3.2.2 DYNAMO

3.2.3 MASC

3.2.4 Trap/BPEL

3.2.5 eFlow

3.3 Plateformes de traitement spécifique de la QdS dans les compositions

3.3.1 AgFlow

3.3.2 ORBWork

3.3.3 WS-Binder

3.3.4 QoS-Optimised Web Service Compositions

3.3.5 Broker-based Framework

3.4 Conclusion

II Contribution

4 Orientation de la thèse

4.1 Mise en perspective

4.2 Positionnement de la contribution

4.2.1 Vers une meilleure séparation des préoccupations

4.2.2 Etude du domaine de la QdS

4.2.3 Approche langage dédié

4.2.4 Mise en oeuvre non intrusive

4.3 Orientation générale

4.3.1 Vue globale

4.3.2 Scenario fil conducteur

4.4 Conclusion

5 QoSL4BP : Un langage dédié pour la gestion de la Qualité de Service dans les compositions de services

5.1 Présentation générale du langage

5.2 Modèle de données

5.2.1 Vue globale

5.2.2 Données Activités BPEL

5.2.3 Données SLA

5.3 Traitements

5.3.1 Gestion des accords

5.3.2 Observation de la QdS

5.3.3 Gestion des mécanismes liés à la QdS

5.4 Modèle des politiques QoSL4BP

5.4.1 Structure

5.4.2 Cible des politiques

5.4.3 Traitements statiques

5.4.4 Traitements dynamiques

5.5 Propriétés du langage

5.6 Conclusion

6 Modèle d’exécution du langage QoSL4BP 97

6.1 Introduction

6.2 Etape de recherche des services de la composition

6.2.1 Transcription de la composition de services en arbre

6.2.2 Stratégie de décomposition

6.2.3 Planification des services

6.3 Etape de transformation de la composition de services

6.3.1 Tissage d’indirections dans la composition

6.3.2 Redirection des messages échangés entre partenaires

6.4 Etape de mise en oeuvre des règles

6.4.1 Synchronisation des règles QoSL4BP avec l’exécution du BPEL

6.4.2 Algorithme de traitement de la section RULES

6.5 Mise en oeuvre avec la plateforme ORQOS

6.5.1 Présentation fonctionnelle

6.5.2 Présentation des traitements

6.6 Bilan

7 Développement de compositions de services avec ORQOS

7.1 Introduction

7.2 Présentation du scénario « Dossier Médical Personnalisé »

7.2.1 Composition de services

7.2.2 Exigences liées à la gestion de la QdS

7.3 Développement de la composition DMP

7.3.1 Composition BPEL

7.3.2 Politiques QoSL4BP

7.3.3 Projet de composition

7.4 Etapes de mise en oeuvre de la composition DMP

7.4.1 Etape de mise en oeuvre statique

7.4.2 Etape de transformation

7.4.3 Etape de mise en oeuvre dynamique

7.5 Evaluation

7.6 Conclusion

8 Conclusion et perspectives

Bibliographie

Statistiques de consultation

Repository Staff Only: edit this item