Skip to main content
SpringerLink
Log in

Declarative Web services composition using proofs

  • Original Research Paper
  • Published:
Service Oriented Computing and Applications Aims and scope Submit manuscript

Abstract

Over the last decade, Web services composition has become a thriving area of research and development endeavors for application integration and interoperability. Although Web services composition has been heavily investigated, several issues still need to be addressed. In this paper, we mainly discuss two major bottlenecks in the current process of modeling compositions. The first bottleneck is related to the level of expertise required to achieve a composition process. Typical procedural style of modeling, inspired by workflow/business process paradigm, do not provide the required abstractions. Therefore, they fail to support dynamic and self-managed compositions able to adapt to unpredictable changes. The second bottleneck in current service compositions concerns their life cycle and their management, also called their governance. In this context, we propose a declarative proof-based approach to Web service composition. Based on the three stages of pre-composition, abstraction, and composition, our solution provides an easy way to specify functional and non-functional requirements of composite services in a precise and declarative manner. It guides the user through the composition process while allowing detection and recovery of violations at both design and run-time using proofs and planning. Experiment results clearly show the added value of the proof-based solution as a viable strategy to improve the composition process.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17

Similar content being viewed by others

Notes

  1. http://logging.apache.org/log4j/2.x/.

  2. Available at http://github.com/RubenVerborgh/RESTdesc-Composition-Benchmark.

References

  1. Agarwal V, Chafle G, Dasgupta K, Karnik N, Kumar A, Mittal S, Srivastava B (2011) Synthy: a system for end to end composition of web services. Web Semant Sci Serv Agents World Wide Web 3(4):311

    Article  Google Scholar 

  2. Ardagna D, Comuzzi M, Mussi E, Pernici B, Plebani P (2007) Paws: a framework for executing adaptive web-service processes. IEEE Software 24(6):39–46

    Article  Google Scholar 

  3. Bansal A, Kona S, Blake MB, Gupta G (2008) An agent-based approach for composition of semantic web services. In: WETICE, pp 12–17

  4. Baresi L, Ghezzi C, Guinea S (2004) Smart monitors for composed services. In: Proceedings of the 2nd international conference on service oriented computing, ICSOC ’04, pp 193–202. ACM, New York, NY, USA

  5. Baryannis G, Danylevych O, Karastoyanova D, Kritikos K, Leitner P, Rosenberg F, Wetzstein B (2010) Service composition. In: Service research challenges and solutions for the future internet- S-cube-towards engineering, managing and adapting service-based systems, pp 55–84

  6. Benbernou S, Meziane H, Li YH, Hacid M-S (2007) A privacy agreement model for web services. In: IEEE SCC, pp 196–203. IEEE Computer Society

  7. Berners-Lee T (2000) CWM-A general purpose data processor for the semantic Web. https://www.w3.org/2000/10/swap/doc/cwm.html. Accessed 15 Nov 2014

  8. Berners-Lee T, Connolly D (2008) Notation3 (n3): A readable RDF syntax. W3c team submission, W3C

  9. Berners-lee T, Connolly D, Kagal L, Scharf Y, Hendler J (2008) N3logic: a logical framework for the world wide web. Theory Pract Log Prog 8(3):249–269

    Article  MathSciNet  Google Scholar 

  10. Berners-Lee T, Hendler J, Lassila O (2001) The semantic web. Sci Am 284(5):34–43

    Article  Google Scholar 

  11. Bhiri S, Derguech W, Zaremba M (2012) Modelling capabilities as attribute-featured entities. In: Cordeiro J, Krempels K-H (eds) WEBIST (selected papers), volume 140 of lecture notes in business information processing. Springer, Berlin, pp 70–85

    Google Scholar 

  12. Bostrom G, Giambiagi P, Olsson T (2010) Quality of service evaluation in virtual organizations using slas. In: Interoperability for enterprise software and applications, pp 211–224. ISTE

  13. Chafle G, Das G, Dasgupta K, Kumar A, Mittal S, Mukherjea S, Srivastava B (2007) An integrated development environment for web service composition. In: ICWS, pp 839–847. IEEE Computer Society

  14. Cheng D, Chao K, Lo C, Tsai C (2011) A user centric service-oriented modeling approach. World Wide Web 14(4):431–459

    Article  Google Scholar 

  15. Chesani F, Mello P, Montali M, Torroni P (2009) Verifying a-priori the composition of declarative specified services. In: 2nd International workshop on agents, web-services and ontologies: integrated methodologies, vol 494

  16. Cugola G, Pinto LS, Tamburrelli G (2012) Qos-aware adaptive service orchestrations. In: 2012 IEEE 19th international conference on web services, Honolulu, HI, USA, June 24–29, 2012, pp 440–447

  17. Dustdar S, Papazoglou MP (2008) Services and service composition: an introduction. Inf Technol 50(2):86–92

    Google Scholar 

  18. Keller U, Lara R, Lausen H, Polleres A, Fensel D (2005) Automatic location of services. In: The semantic web: research and applications, pp 1–16. Springer, Berlin

  19. Kona S, Bansal A, Gupta G (2007) Automatic composition of semantic web services. In: ICWS, pp 150–158

  20. Kwon J, Kim H, Lee D, Lee S (2008) Redundant-free web services composition based on a two-phase algorithm. In: ICWS, pp 361–368

  21. Lemos AL, Daniel F, Benatallah B (2016) Web service composition: a survey of techniques and tools. ACM Comput Surv 48(3):33

    Google Scholar 

  22. Li W, Badr Y, Biennier F (2013) Towards a capability model for web service composition. In: ICWS 2013, pp 609–610

  23. Li Y, Zhang J (2014) Topsis method for hybrid multiple attribute decision making with 2-tuple linguistic information and its application to computer network security evaluation. J Intell Fuzzy Syst 26(3):1563–1569

    MathSciNet  MATH  Google Scholar 

  24. Ma Z, Liu L, Yang H, Mylopoulos J (2011) Adaptive service composition based on runtime requirements monitoring. In: ICWS, pp 339–346

  25. Mahbub K (2004) A framework for requirements monitoring of service based systems. In: Proceedings of the 2nd international conference on service oriented computing, pp 84–93. ACM Press

  26. Marconi A, Pistore M, Poccianti P, Traverso P (2007) Automatedweb service composition at work: the amazon/mps case study. In: ICWS, pp 767–774

  27. Meditskos G, Bassiliades N (2010) Dlejena: a practical forward-chaining owl 2 rl reasoner combining jena and pellet. Web Semant Sci Serv Agents World Wide Web 8(1):89

    Article  Google Scholar 

  28. Montali M, Pesic M, Aalst WMP, Chesani F, Mello P, Storari S (2010) Declarative specification and verification of service choreographiess. ACM Trans Web 4(1):3:1–3:62

    Article  Google Scholar 

  29. Mrissa M, Hacid M-S (2009) Combining configuration and query rewriting for Web service composition. Technical report RR-LIRIS-2009-045, LIRIS UMR 5205 CNRS

  30. Papazoglou MP, Traverso P, Dustdar S, Leymann F (2007) Service-oriented computing: state of the art and research challenges. Computer 40(11):38–45

    Article  Google Scholar 

  31. Rajan H, Hosamani M (2008) Tisa: toward trustworthy services in a service-oriented architecture. IEEE Trans Serv Comput 1(4):201–213

    Article  Google Scholar 

  32. Rash JL, Rouff C, Truszkowski W, Gordon DF, Hinchey MG (eds) (2001) Formal approaches to agent-based systems, first international workshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000, Revised Papers, volume 1871 of lecture notes in computer science. Springer

  33. Riad AR, Hassan QF (2008) Service-oriented architecture: a new alternative to traditional integration methods in b2b applications. JCIT 3(1):31–41

    Google Scholar 

  34. Robinson WN (2003) Monitoring web service requirements, pp 65–74

  35. Sheng QZ, Qiao X, Vasilakos AV, Szabo C, Bourne S, Xu X (2014) Web services composition: a decade’s overview. Inf Sci 280:218–238

    Article  Google Scholar 

  36. Sirin E, Parsia B, Grau BC, Kalyanpur A, Katz Y (2007) Pellet: a practical owl-dl reasoner. Web Semant 5(2):51–53

    Article  Google Scholar 

  37. Skogsrud H, Benatallah B, Casati F (2004) A trust negotiation system for digital library web services. Int J Digit Libr 4(3):185–207

    Article  Google Scholar 

  38. Sohrabi S, McIlraith SA (2009) Optimizing web service composition while enforcing regulations. In: Bernstein A, Karger DR, Heath T, Feigenbaum L, Maynard D, Motta E, Thirunarayan K (eds) International semantic web conference, volume 5823 of lecture notes in computer science. Springer, Berlin, pp 601–617

    Google Scholar 

  39. Tian B, Gu Y (2013) Formal modeling and verification for web service composition, pp 2733–2737

  40. Verborgh R (2014) Serendipitous web applications through semantic hypermedia. PhD thesis, Ghent University, Ghent, Belgium

  41. Verborgh R, Arndt D, Hoecke SV, Roo JD, Mels G, Steiner T, Gabarró J (2015) The pragmatic proof: hypermedia API composition and execution, CoRR. arXiv:abs/1512.07780

  42. Wu G, Wei J, Ye C, Shao X, Zhong H, Huang T (2011) Runtime monitoring of data-centric temporal properties for web services. In: ICWS, pp 161–170

  43. Yousefli A, Deheshvar A, Komijani T (2013) Ranking vague sets using topsis method. J Intell Fuzzy Syst 25(4):853–858

    MathSciNet  MATH  Google Scholar 

  44. Zahoor E, Munir K, Perrin O, Godart C (2013) A bounded model checking approach for the verification of web services composition. Int J Web Serv Res 10(4):62–81

    Article  Google Scholar 

  45. Zahoor E, Perrin O, Godart C (2010) Disc: a declarative framework for self-healing web services composition. In: ICWS, pp 25–33. IEEE Computer Society

  46. Zahoor E, Perrin O, Godart C (2012) Web services composition verification using satisfiability solving. In: 2012 IEEE 19th international conference on web services, Honolulu, HI, USA, June 24–29, 2012, pp 242–249

Download references

Author information

Authors and Affiliations

  1. CES Research Unit, Sfax University, Sfax, Tunisia

    Sana Baccar & Mohamed Abid

  2. Sultan Qaboos University, Muscat, Oman

    Mohsen Rouached

  3. Data Science Lab, Ghent University - iMinds, Ghent, Belgium

    Ruben Verborgh

Authors
  1. Sana Baccar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mohsen Rouached
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ruben Verborgh
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Mohamed Abid
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mohsen Rouached.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Baccar, S., Rouached, M., Verborgh, R. et al. Declarative Web services composition using proofs. SOCA 12, 371–389 (2018). https://doi.org/10.1007/s11761-018-0234-4

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11761-018-0234-4

Keywords

Search

Navigation