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

P.I. Andon, O.O. Slabospitskaya

Abstract


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


Keywords


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

References


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. https://doi.org/10.15407/pp2017.03.031

Weyns D. et al. Perpetual Assurances for Self-Adaptive Systems. [Electronic resourse]. Mode of access: https://arxiv.org/ 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. https://doi.org/10.1007/978-3-319-74183-3

Slabospitska O.O. Reference model for Semantic Web adaptive composite service / O.O Slabospitska // Problems in Programming. - 2017. - № 4 - P. 51-65. https://doi.org/10.15407/pp2017.04.051

Slabospitska O.O. Unified process for adaptive Semantic Web service composition / O.O Slabospitska // Problems in Programming. - 2018. - № 1. - P. 65-76. https://doi.org/10.15407/pp2018.01.065

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.

https://doi.org/10.1109/TSC.2015.2402679

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.

https://doi.org/10.1007/s11761-014-0167-5

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. https://doi.org/10.1145/3282353.3282355

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. https://doi.org/10.4018/IJITWE.2018100102

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. https://doi.org/10.1016/j.procs.2017.08.016

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.

https://doi.org/10.1016/j.compeleceng.2017.08.004

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.

https://doi.org/10.1007/11762256_45

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

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. https://doi.org/10.1109/ICPCA.2010.5704124

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.

https://doi.org/10.1016/j.is.2010.06.003

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: https://www.researchgate.net/publication/257527267_Modele_de_Composi- 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. https://doi.org/10.1007/s11036-014-0494-y

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.

https://doi.org/10.1007/s11761-013-0134-6

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.

https://doi.org/10.1109/CSE.2011.22

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. ac.uk/~fsiewe/ccaPL/ccaPL_processes.pdf.

Сторінка «Calculus of Context-aware Ambients (CCA)» Дослідницької лабораторії технології програмного забезпечення Університету ДеМонфору (Лейчестер, Велика Британія). Електронний ресурс. Режим доступу: http://www.cse.dmu.ac.uk/~fsiewe/ 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.

https://doi.org/10.1145/3007120.3007127

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.

https://doi.org/10.1007/978-3-540-30581-1_4

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: http://ftp.in- formatik.rwth-aachen.de/Publications/CEUR- 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].

https://doi.org/10.1145/2837185.2837189

Карпов Ю.Г. 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: citeseerx.ist.psu.edu/viewdoc/downloa doi=10.1.1.725.7085&rep=rep1&type=pdf.

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




DOI: https://doi.org/10.15407/pp2021.04.003

Refbacks

  • There are currently no refbacks.