Modeling and Verification of Response Time of QoS-aware Web Service Composition by Timed CSP-Reference-Cited by-同舟云学术

Modeling and Verification of Response Time of QoS-aware Web Service Composition by Timed CSP

Published:2018 Issue: Volume:141 Page:48-55
ISSN:1877-0509
Container-title:Procedia Computer Science
language:en
Short-container-title:Procedia Computer Science

Author:

Zhu Ming,Li Jing,Fan Guodong,Zhao Kunsheng

Publisher

Elsevier BV

Subject

General Engineering

Reference16 articles.

1. Web Services: Principles and Technology;Papazoglou,2011

2. Glaucia Melissa Medeiros Campos, Nelson Souto Rosa, and Luis Ferreira Pires. A survey of formalization approaches to service composition. In Services Computing (SCC), 2014 IEEE International Conference on, pages 179–186, June 2014.

3. The web service challenge - a review on semantic web service composition;Bleul;Electronic Communications of the EASST,2008

4. W. Jiang, C. Zhang, Z. Huang, M. Chen, S. Hu, and Z. Liu. QSynth: A tool for QoS-aware automatic service composition. In Web Services (ICWS), 2010 IEEE International Conference on, pages 42–49, July 2010.

5. A dynamic QoS-aware semantic web service composition algorithm;Rodriguez-Mier,2012

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

1. IoT Capabilities Composition and Decomposition: A Systematic Review;IEEE Access;2023

2. Modeling and Verification of Temporal Constraints for Web Service Composition;Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops;2021

3. Security Enforcement on Web Services Compositions;2019 IEEE Symposium on Computers and Communications (ISCC);2019-06

4. Formal modeling and verification of cloud‐based web service composition;Concurrency and Computation: Practice and Experience;2019-04-02