Top

Service Oriented Computing and Applications

Published in:

29-03-2018 | Original Research Paper

Declarative Web services composition using proofs

Authors: Sana Baccar, Mohsen Rouached, Ruben Verborgh, Mohamed Abid

Published in: Service Oriented Computing and Applications | Issue 3-4/2018

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

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.

previous article An approach for business process model registration based on ISO/IEC 19763-5

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

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

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

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):311CrossRef

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–46CrossRef

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

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

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

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

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

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

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–269MathSciNetCrossRef

10.

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

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

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–459CrossRef

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

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

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–1569MathSciNetMATH

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):89CrossRef

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:62CrossRef

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–45CrossRef

31.

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

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

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–238CrossRef

36.

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

37.

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

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

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–858MathSciNetMATH

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–81CrossRef

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

Title: Declarative Web services composition using proofs
Authors: Sana Baccar
Mohsen Rouached
Ruben Verborgh
Mohamed Abid
Publication date: 29-03-2018
Publisher: Springer London
Published in: Service Oriented Computing and Applications / Issue 3-4/2018
Print ISSN: 1863-2386
Electronic ISSN: 1863-2394
DOI: https://doi.org/10.1007/s11761-018-0234-4

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 3-4/2018

Privacy preservation for recommendation databases

Recruiting the K-most influential prospective workers for crowdsourcing platforms

Efficient privacy-preserving fault tolerance aggregation for people-centric sensing system

Multi-Authority-Based File Hierarchy Hidden CP-ABE Scheme for Cloud Security

Provision and consumption of linked open data: a define–produce–invoke approach

From inter-organizational business process models to service-oriented architecture models

Premium Partner