A Framework for the composition and formal verification of adaptable semantic Web services-Reference-Cited by-同舟云学术

A Framework for the composition and formal verification of adaptable semantic Web services

Published:2018-11-19 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 16th International Conference on Advances in Mobile Computing and Multimedia
language:
Short-container-title:

Author:

Ben Lamine Rihab¹,Ben Djemaa Raoudha²,Amous Ikram²

Affiliation:

1. MIRACL, ISIMS, Sfax, Tunisia, ISITCom, University of Sousse, Sousse, Tunisia

2. MIRACL, ISIMS, Sfax, Tunisia

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3282353.3282355

Reference15 articles.

1. The Calculus of Context-aware Ambients

2. Li L Liu D Bouguettaya A. Semantic based aspect-oriented programming for context-aware Web service composition. Inf Syst. 2011;36(3):551--564. 10.1016/j.is.2010.06.003 Li L Liu D Bouguettaya A. Semantic based aspect-oriented programming for context-aware Web service composition. Inf Syst. 2011;36(3):551--564. 10.1016/j.is.2010.06.003

3. Baidouri H Hafiddi H Nassar M Kriouile A. Towards a Context-Aware Composition of Services*. 2012;12(3):133--140. Baidouri H Hafiddi H Nassar M Kriouile A. Towards a Context-Aware Composition of Services*. 2012;12(3):133--140.

4. Furno A Zimeo E. Context-aware composition of semantic web services. Mob Networks Appl. 2014;19(2):235--248. 10.1007/s11036-014-0494-y Furno A Zimeo E. Context-aware composition of semantic web services. Mob Networks Appl. 2014;19(2):235--248. 10.1007/s11036-014-0494-y

5. Blum AL Furst ML. Fast planning through planning graph analysis. Artif Intell. 1997; 90(1-2):281--300. 10.1016/S0004-3702(96)00047-1 Blum AL Furst ML. Fast planning through planning graph analysis. Artif Intell. 1997; 90(1-2):281--300. 10.1016/S0004-3702(96)00047-1

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Means for Quality Implementation and Assurance of Context-Aware Semantic Web Service Composition;PROBLEMS IN PROGRAMMING;2021-12

2. Research on Semantic Composition of Smart Government Services Based on Abstract Services;Advances in Intelligent Systems and Computing;2019-11-30