Means for Quality Implementation and Assurance of Context-Aware Semantic Web Service Composition

P.I. Andon, O.O. Slabospitskaya


Author’s Method for Adaptive Semantic Web Service dynamic composition is enriched with the algorithms for both its Context dedicated OWL-S-specification consistent using over its Life Cycle and Cyclic Dependencies at the function level solving with the Formalisms proposed of Knot-service, Proxy-service and Simplification – for sustain Quality implementing of Web Service being formed. Quality assurance for stakeholders is proposed through dynamic verification, in particular meeting the specified context and liveness, with the process Calculus of Context-aware Ambients. The algorithms proposed increase correspondence of Web Service being formed with Customers’ expectations and enable its sustain context-aware tailoring for unified support of both modern organizations’ variable and distributed Business Processes and some problem field Customers’ needs.

Prombles in programming 2021; 4: 03-18


OWL-S; Semantic Web service dynamic context-aware Web service composition; cyclic dependency; quality assurance; composition graph; ambient calculus


Andon P.I. Assembly programming component and service-oriented applied software systems / P.I Andon, О.O. Slabospitska // Problems in Programming. - 2017. - № 3 - P. 31-51.

Weyns D. et al. Perpetual Assurances for Self-Adaptive Systems. [Electronic resourse]. Mode of access: ftp/arxiv/pa- pers/1903/1903.04771.pdf.

De Lemos R. Software engineering for self- adaptive systems: Research challenges in the provision of assurances / R De Lemos, D Garlan, C Ghezzi et al. (Eds.) // Self-Adaptive Systems III LNCS 9640. - 2017. - P. 3-30.

Slabospitska O.O. Reference model for Semantic Web adaptive composite service / O.O Slabospitska // Problems in Programming. - 2017. - № 4 - P. 51-65.

Slabospitska O.O. Unified process for adaptive Semantic Web service composition / O.O Slabospitska // Problems in Programming. - 2018. - № 1. - P. 65-76.

Rodriguez Mier P. An Integrated Semantic Web Service Discovery and Composition Framework / P Rodriguez Mier, C Pedrinaci, M Lama et al. //IEEE Trans. on Services Comp. - 2015. - V.9. - Is.4. - P. 537-555.

Bansal S. Generalized semantic Web service composition / S.Bansal, A.Bansal, G.Gupta, M.Brian Blake// Service Oriented Computing and Applications. - 2016. - V.10. - Is. 2. - P. 111-133.

Ben Lamine R. A Framework for the composition and formal verification of adaptable semantic Web services / R.Ben Lamine, R.Ben Jemaa, I.Amous // Proc. of ACM MoMM conf. (MoMM'18). - ACM, Yogyakarta, Indonesia, 2018. - 9 p.

Ben Lamine R. Formal Specification of Adaptable Semantic Web Services Composition // Int. J. of Information Technology and Web En- gineering. 2018. - N 13(4). - P. 14-34.

Ben Lamine R. Graph Planning Based Composition For Adaptable Semantic Web Services / R.Ben Lamine, R.Ben Jemaa, I.Amous // Proc. of the 2017 Int. Conf. on Knowledge Based and Intelligent Information and Engineering Systems, KES2017. - 2017, Marseille, France. - P. 358-368.

Alférez G.H. Achieving autonomic Web service compositions with models at runtime / G.H.Alférez, V.Pelechano / Computers & Electrical Engineering. - 2017. - V. 63. - P./ 332-352.

Pistore M. A Minimalist Approach to Semantic Annotations for Web Processes Compositions / M.Pistore, L.Spalazzi, P.Traverso // Proc. Eu- ropean Semantic Web Conf. ESWC 2006. - 2006. - P. 620-634.

Bucchiarone A. et al. Domain Objects for Dynamic and Incremental Service Composition / A.Bucchiarone, M. De Sanctis, M. Pistore // In: Villari al. (Eds.) Proc. ESOCC 2014, Man- chester, UK - LNCS 8745, 2014. - P. 62-80.

Yu L. Goal-driven context-aware service composition / L.Yu, A.Glenstrup, Y.Zhang et al. - Pervasive Computing and Applications, ICP- CA 2010. - 2010. - P. 342-347.

Li L. Semantic based aspect-oriented programming for context-aware Web service composition / L.Li, D.Liu, A.Bouguettaya // Informa-tion Systems - 2011. - V. 36(3). - P. 551-564.

Baidouri H. Towards a Context-Aware Composition of Services / H.Baidouri, H.Hafiddi, M.Nassar et al. // (2012). . Int.J. of Computer Science and Network Security. - 2012. - V. 12(3). - P. 133-140.

Mcheick H. Modele de composition des services Web semantiques par orchestration а la demande / H.Mcheick // Proc. of the 2012 25th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE. 2012), Montreal, Canada. [Electronic resourse]. Mode of access: tion_Des_Services_Web_Semantiques_par_Orchestration_a_la_demande.

Furno A. Context-aware composition of semantic web services / A.Furno, E.Zimeo // Mobile Networks and Applications. - 2014. - V. 19(2) - P. 235-248.

Yan Y. Anytime QoS-aware service composi- tion over the GraphPlan / Y. Yan, M.Chen // Service Oriented Computing and Applications. - 2015. - V. 9(1). - P. 1-19.

Boukadi K. Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets / K.Boukadi, C.Ghedira, Z.Maamar et al. // Proc. of the 9th International Conference on Enterprise Information System, ICEIS 2007. - P. 107-112.

Madkour M. Context-Aware Service Adaptation: An Approach Based on Fuzzy Sets and Service Composition / M.Madkour, I.El Ghanami, A.Maach // J. of Inform. Sci. and Eng. - 2013. - V. 29. - P. 116-126.

Omer A.M. Automatic management of cyclic dependency among web services / A.M.Omer, A.Schill // Proc. of IEEE Int. Conf. on Com- putational Science and Engineering. - 2011. - P. 44-51.

Siewe F. The Calculus of Context-aware Ambients (CCA): How to program: Capabilities and Processes / F.Siewe - 2017. [Electronic resourse]. Mode of access: http://www.cse.dmu.

Сторінка «Calculus of Context-aware Ambients (CCA)» Дослідницької лабораторії технології програмного забезпечення Університету ДеМонфору (Лейчестер, Велика Британія). Електронний ресурс. Режим доступу: fscca.html.

Najar S. Service Discovery Mechanism for an Intentional Pervasive Information System / S.Najar, M.Kirsch-Pinheiro, C.Souveyet et al.

// IEEE 19th Int. Conference on Web Services (ICWS). - 2012. - P. 520-527.

Cherif S. An Integrated context-aware Planning Approach to Self-Adaptation Web Service Composition / S.Cherif, R.Ben Djemaa, I.Amous // Proc. of the 14th Int. Conf. on Advances in Mobile Computing and Multi Media (MoMM '16), 2016. - P. 3-11.

Martin D. Bringing semantics to web services: The OWL-S approach / D. Martin, M.Paolucci et al. // Proc First Int Work Semant Web Serv Web Process Compos SWSWPC 2004. - LNCS, V. 3387, 2005. - P. 26-42.

Kirsch-Pinheiro M. (2008). Context-aware service selection using graph matching / M. Kirsch-Pinheiro // 2nd Non Functional Proper- ties and Service Level Agreements in Service Oriented Computing Workshop. - 2008. [Elec- tronic resourse]. Mode of access: WS/Vol-411/paper7.pdf.

Cherif S. Adaptable Web Service Registry for Publishing Context Aware Service Composition / S.Cherif, R.Ben Djemaa, I.Amous. I. // Proc. of the 17th Int. Conf. on Information Integration and Web-based Applications & Services (IIWAS'15), Brussels, Belgium. - 2015. [Electronic resourse].

Карпов Ю.Г. Model Checking. Верификация параллельных и распределенных программных систем / Ю.Г.Карпов - СПб.:БХВ- Петербург, 2010. - 560 с.

Siewe F. ccaPL: a Programming Language for the Calculus of Context-aware Ambients / F.Siewe - 2012. [Electronic resourse]. Mode of access: doi=

Dinesh R. Spring 5 Design Patterns. / R. Dinesh - Publishing house «Piter», 2018. - 320 p.



  • There are currently no refbacks.