A systematic literature review of service choreography adaptation

详细信息    查看全文

• 作者：Leonardo A. F. Leite (1)
  Gustavo Ansaldi Oliva (1)
  Guilherme M. Nogueira (1)
  Marco Aur茅lio Gerosa (1)
  Fabio Kon (1)
  Dejan S. Milojicic (2)
  
• 关键词：Service choreography ; Choreographies adaptation ; Choreographies customization ; Service composition ; Systematic review
• 刊名：Service Oriented Computing and Applications
• 出版年：2013
• 出版时间：September 2013
• 年：2013
• 卷：7
• 期：3
• 页码：199-216
• 全文大小：553KB
• 参考文献：1. Abadi M, Gordon AD (1997) A calculus for cryptographic protocols: the SPI calculus. In: Proceedings of the 4th ACM conference on computer and communications security. ACM, pp 36鈥?7
  2. Agostini A, De Michelis G (2000) Improving flexibility of workflow management systems. In: Business process management. Lecture Notes in Computer Science, vol 1806. Springer, pp 289鈥?42
  3. Baeten JCM (2005) A brief history of process algebra. Theor Comput Sci 335:131鈥?46 f="http://dx.doi.org/10.1016/j.tcs.2004.07.036">CrossRef
  4. Barker A, Walton CD, Robertson D (2009) Choreographing web services. IEEE Trans Serv Comput 2(2):152鈥?66 f="http://dx.doi.org/10.1109/TSC.2009.8">CrossRef
  5. Beecham S, Baddoo N, Hall T, Robinson H, Sharp H (2008) Motivation in software engineering: a systematic literature review. Inf Softw Technol 50(9鈥?0):860鈥?78 f="http://dx.doi.org/10.1016/j.infsof.2007.09.004">CrossRef
  6. Ben Hamida A, Kon F, Ansaldi Oliva G, Dos Santos C, Lorr茅 JP, Autili M, De Angelis G, Zarras A, Georgantas N, Issarny V, Bertolino A (2012) An integrated development and runtime environment for the future internet. In: The future internet. Lecture Notes in Computer Science, vol 7281. Springer, pp 81鈥?2
  7. Blanchet W, Elio R, Stroulia E (2005) Conversation errors in web service coordination: Run-time detection and repair. In: Proceedings of the 2005 IEEE/WIC/ACM international conference on web intelligence. IEEE, pp 442鈥?49
  8. Br忙k R, Castej贸n H, Le H, Rosseb酶 J (2005) Policy-based service composition and recommendation. In: Service intelligence and service science: evolutionary technologies and challenges. Addison Wesley, pp 1鈥?0
  9. Casati F, Ceri S, Pernici B, Pozzi G (1998) Workflow evolution. Data Knowl Eng 24(3):211鈥?38 f="http://dx.doi.org/10.1016/S0169-023X(97)00033-5">CrossRef
  10. Cavallaro L, Di Nitto E (2008) An approach to adapt service requests to actual service interfaces. In: Proceedings of the 2008 international workshop on software engineering for adaptive and self-managing systems, SEAMS 鈥?8 ACM, pp 129鈥?36
  11. Cicirelli F, Furfaro A, Nigro L (2010) A service-based architecture for dynamically reconfigurable workflows. J Syst Softw 83(7):1148鈥?164 f="http://dx.doi.org/10.1016/j.jss.2010.01.003">CrossRef
  12. Colman A, Pham L, Han J, Schneider J (2006) Adaptive application-specific middleware. In: Proceedings of the 1st workshop on middleware for service oriented computing. ACM, pp 6鈥?1
  13. Cottenier T, Elrad T (2005) Dynamic and decentralized service composition. In: Proceedings web information systems and technologies. INSTICC Press, pp 56鈥?3
  14. Cottenier T, Elrad T (2005) Engineering distributed service compositions. In: Proceedings of the first international workshop on engineering service compositions, WESC鈥?5. IBM, pp 51鈥?8
  15. Dar K, Taherkordi A, Rouvoy R, Eliassen F (2011) Adaptable service composition for very-large-scale internet of things systems. In: Proceedings of the 8th middleware doctoral symposium, MDS 鈥?1. ACM, pp 2:1鈥?:6
  16. Di Nitto E, Ghezzi C, Metzger A, Papazoglou M, Pohl K (2008) A journey to highly dynamic, self-adaptive service-based applications. Autom Softw Eng 15(3):313鈥?41 f="http://dx.doi.org/10.1007/s10515-008-0032-x">CrossRef
  17. Dyb氓 T, Dings酶yr T (2008) Empirical studies of agile software development: a systematic review. Inf Softw Technol 50(9鈥?0): 833鈥?59 f="http://dx.doi.org/10.1016/j.infsof.2008.01.006">CrossRef
  18. Ezenwoye O, Busi S, Sadjadi SM (2010) Dynamically reconfigurable data-intensive service composition. In: Proceedins of the 6th international conference on web information systems and technologies. Springer, pp 125鈥?30
  19. Ezenwoye O, Tang B (2010) Monitoring decentralized interacting services with a global state choreography model. In: Proceedings of 8th international conference on web services IEEE, pp 671鈥?72
  20. Fabra J, Pe帽a J, Ruiz-Cort茅s A, Ezpeleta J (2008) Enabling the evolution of service-oriented solutions using an UML2 profile and a reference Petrinets execution platform. In: Proceedings of 3rd international conference on internet and web applications and services. IEEE, pp 198鈥?04
  21. Fernandez-Llatas C, Mocholi JB, Moyano A, Meneu T (2010) Semantic process choreography for distributed sensor management. In: Proceedings of the international workshop on semantic sensor web. SciTePress, pp 32鈥?7
  22. Gall M, Borg W, Gall J (1996) Educational research: an introduction. Longman Publishing
  23. Gu Q, Lago P (2009) Exploring service-oriented system engineering challenges: a systematic literature review. Serv Oriented Comput Appl 3(3):171鈥?88 f="http://dx.doi.org/10.1007/s11761-009-0046-7">CrossRef
  24. Hiel M, Aldewereld H, Dignum F (2010) Ensuring conformance in an evolving choreography. In: Proceedings of IEEE 2010 international conference on service-oriented computing and applications. IEEE, pp 1鈥?
  25. Issarny V, Georgantas N, Hachem S, Zarras A, Vassiliadist P, Autili M, Gerosa M, Hamida A (2011) Service-oriented middleware for the future internet: state of the art and research directions. J Internet Serv Appl 2(1):1鈥?3 f="http://dx.doi.org/10.1007/s13174-011-0021-3">CrossRef
  26. Jorgensen M, Shepperd M (2006) A systematic review of software development cost estimation studies. IEEE Trans Softw Eng 33(1):33鈥?3 f="http://dx.doi.org/10.1109/TSE.2007.256943">CrossRef
  27. Jureta I, Faulkner S, Thiran P (2007) Dynamic requirements specification for adaptable and open service-oriented systems. In: Proceedings of the 5th international conference on service-oriented computing. Springer, pp 270鈥?82
  28. Kell S (2008) A survey of practical software adaptation techniques. J Univers Comput Sci 14(13):2110鈥?157
  29. Kitchenham B, Charters S (2007) Guidelines for performing systematic literature reviews in software engineering. Technical Report, EBSE 2007鈥?01, University Joint Report. Keele University and Durham
  30. Kokash N, D鈥橝ndrea V (2005) Service oriented computing and coordination models. In: Proceedings of challenges in collaborative engineering workshop. Citeseer, pp 95鈥?03
  31. Kramer J, Magee J (1990) The evolving philosophers problem: dynamic change management. IEEE Trans Softw Eng 16(11):1293鈥?306
  32. Lesser V (2003) Multi-agent Systems. In: Encyclopedia of computer science, 4th edn. Wiley, pp 1194鈥?196
  33. Liu D, Law KH, Wiederhold G (2002) Analysis of integration models for service composition. In: Proceedings of the 3rd international workshop on software and performance, WOSP 鈥?2. ACM, pp 158鈥?65
  34. Mahfouz A, Barroca L, Laney R, Nuseibeh B (2009) Requirements-driven collaborative choreography customization. In: Proceedings of the 7th international joint conference on service-oriented computing Springer, pp 144鈥?58
  35. McKinley P, Sadjadi S, Kasten E, Cheng B (2004) Composing adaptive software. IEEE Comput 37(7):56鈥?4 f="http://dx.doi.org/10.1109/MC.2004.48">CrossRef
  36. Mellor SJ, Clark AN, Futagami T (2003) Guest editors鈥?introduction: model-driven development. IEEE Softw 20:14鈥?8 f="http://dx.doi.org/10.1109/MS.2003.1231145">CrossRef
  37. Mian P, Conte T, Natali A, Biolchini J, Travassos G (2007) A systematic review process for software engineering. Empir Softw Eng 32(3):1鈥?
  38. Moo-Mena F, Drira K (2007) Modeling architectural level repair in web services. In: Proceedings of the 3rd international conference on web information systems and technologies. Springer, pp 240鈥?45
  39. Morreale V, Bonura S, Francaviglia G, Cossentino M, Gaglio S (2005) PRACTIONIST: a new framework for BDI agents. In: Proceedings of the 3rd European workshop on multi-agent systems, pp 236鈥?47
  40. Morreale V, Puccio M, Cammarata G, Francaviglia G (2007) Dynamic conversations between agents with the PRACTIONIST framework. In: Proceedings of 5th IEEE international conference on industrial informatics. IEEE, pp 1065鈥?070
  41. Nabuco O, Halima R, Drira K, Fugini M, Modafferi S, Mussi E (2008) Model-based QoS-enabled self-healing web services. In: Proceedings of the 19th international conference on database and expert systems application. IEEE, pp 711鈥?15
  42. Nanda MG, Chandra S, Sarkar V (2004) Decentralizing execution of composite web services. In: Proceedings of the 19th annual ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications, OOPSLA 鈥?4 ACM, pp 170鈥?87
  43. OASIS: Web services business process execution language (WS-BPEL), version 2.0 (2007). f="http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html" class="a-plus-plus">http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
  44. OMG: business process model and notation (BPMN), version 2.0 (2011). f="http://www.omg.org/spec/BPMN/2.0" class="a-plus-plus">http://www.omg.org/spec/BPMN/2.0
  45. Papazoglou MP, Traverso P, Dustdar S, Leymann F (2007) Service-oriented computing: state of the art and research challenges. IEEE Comput 40(11):38鈥?5 f="http://dx.doi.org/10.1109/MC.2007.400">CrossRef
  46. Paspallis N, Papadopoulos G (2006) Distributed adaptation reasoning for a mobility and adaptation enabling middleware. In: On the move to meaningful internet systems 2006: OTM 2006 workshops, Springer, pp 17鈥?8
  47. Pedraza G, Estublier J (2009) Distributed orchestration versus choreography: the FOCAS approach. In: Proceedings of the 2009 international conference on software and systems process. Springer, pp 75鈥?6
  48. Poulin M (2011) Collaboration patterns in the SOA ecosystem. In: Proceedings of the 3rd workshop on behavioural modelling. ACM, pp 12鈥?6
  49. Rinderle S, Reichert M, Dadam P (2004) Correctness criteria for dynamic changes in workflow systems鈥攁 survey. Data Knowl Eng 50(1):9鈥?4 f="http://dx.doi.org/10.1016/j.datak.2004.01.002">CrossRef
  50. Rinderle S, Wombacher A, Reichert M (2006) Evolution of process choreographies in DYCHOR. In: On the move to meaningful internet systems 2006: CoopIS, DOA, GADA, and ODBASE. Springer, pp 273鈥?90
  51. Roohi N, Sala眉n G, France V (2011) Realizability and dynamic reconfiguration of Chor specifications. Inf int J Comput Inf 35(1):39鈥?9
  52. Sch枚nberger A (2011) Do we need a refined choreography notion? In: Proceedings of the 3rd central-European workshop on services and their composition, ZEUS, CEUR workshop proceedings, vol 705, pp 16鈥?3. CEUR-WS.org
  53. Stegaru G, Stanescu AM, Sacala I, Moisescu M (2012) Dynamic interoperability model for web service choreographies. In: Enterprise interoperability V. Proceedings of the I-ESA conferences, vol 5. Springer, pp 81鈥?1
  54. Steinmacher I, Chaves AP, Gerosa MA (2010) Awareness support in global software development: a systematic review based on the 3C collaboration model. In: Proceedings of the 16th international conference on Collaboration and technology, Springer, pp 185鈥?01
  55. Svirskas A, Roberts B, Ignatiadis I (2008) Adaptive service choreography support in virtual enterprises. In: Agent and web service technologies in virtual enterprises. IGI Global, pp 66鈥?4
  56. Sycara KP (1998) Multiagent systems. AI Mag 19(2)
  57. Van der Aalst WMP, Dumas M, Ouyang C, Rozinat A, Verbeek E (2008) Conformance checking of service behavior. ACM Trans Internet Technol 8(3):13:1鈥?3:30
  58. Vandewoude Y, Ebraert P, Berbers Y, D鈥橦ondt T (2007) Tranquility: a low disruptive alternative to quiescence for ensuring safe dynamic updates. IEEE Trans Softw Eng 33(12):856鈥?68 f="http://dx.doi.org/10.1109/TSE.2007.70733">CrossRef
  59. W3C: Web service choreography interface (WSCI) (2002) version 1.0. f="http://www.w3.org/TR/2002/NOTE-wsci-20020808" class="a-plus-plus">http://www.w3.org/TR/2002/NOTE-wsci-20020808
  60. W3C: Web services choreography description language (WS-CDL) (2005) Version 1.0. f="http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109" class="a-plus-plus">http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109
  61. Wombacher A (2009) Alignment of choreography changes in BPEL processes. In: Proceedings of IEEE 2009 international conference on services computing. IEEE, pp 1鈥?
  62. Xu D, Qi Y, Di Hou Y, Liu L (2007) A formal model for dynamic web services composition MAS-Based and simple security analysis using SPI calculus. In: Proceedings of the 3rd international conference on next generation web services practices. IEEE, pp 69鈥?2
  63. Yang L, Dai Y, Zhang B (2009) Performance prediction based EX-QoS driven approach for adaptive service composition. J Inf Sci Eng 25(2):345鈥?62
  64. Yau S, Huang D, Gong H, Davulcu H (2005) Situation-awareness for adaptive coordination in service-based systems. In: Proceedings of the 29th annual international computer software and applications conference. IEEE, pp 107鈥?12
  65. Zeng L, Benatallah B, Ngu A, Dumas M, Kalagnanam J, Chang H (2004) QoS-aware middleware for web services composition. IEEE Trans Softw Eng 30(5):311鈥?27 f="http://dx.doi.org/10.1109/TSE.2004.11">CrossRef
  66. Zhang J, Cheng BHC (2006) Model-based development of dynamically adaptive software. In: Proceedings of the 28th international conference on software engineering, ICSE 鈥?6, ACM, pp 371鈥?80
  
• 作者单位：Leonardo A. F. Leite (1)
  Gustavo Ansaldi Oliva (1)
  Guilherme M. Nogueira (1)
  Marco Aur茅lio Gerosa (1)
  Fabio Kon (1)
  Dejan S. Milojicic (2)
  
  1. Computer Science Department, University of S茫o Paulo (USP), S茫o Paulo, Brazil
  2. HP Labs, Palo Alto, CA, USA
  
• ISSN：1863-2394

文摘

A service choreography is a distributed service composition in which services interact without a centralized control. Adequate adaptation strategies are required to face complex and ever-changing business processes, given the collaborative nature of choreographies. Choreographies should also be able to adapt to changes in its non-functional requirements, such as response time, and especially for large-scale choreographies, adaptation strategies need to be automated and scale well. However, the body of knowledge regarding choreography adaptation approaches has not yet been consolidated and systematically evaluated. By means of a systematic literature review, in which we examined seven scientific paper sources, we identified and analyzed the state-of-the-art in choreography adaptation. We found 24 relevant primary studies and grouped them into six categories: model-based, measurement-based, multi-agent-based, formal method-based, semantic reasoning-based, and proxy layer-based. We analyzed (i) how each strategy deals with different types of requirements, (ii) what their required degree of human intervention is, (iii) how the different studies considered scalability, (iv) what implementations are currently available, and (v) which choreography languages are employed. From the selected studies, we extracted key examples of choreography adaptation usage and analyzed the terminology they adopted with respect to dynamic adaptation. We found out that more attention has been devoted to functional requirements and automated adaptation; only one work performs scalability evaluation; and most studies present some sort of implementation and use a specific choreography notation.