Verification of Functional and Non-functional Requirements of Web Service Composition-Reference-Cited by-同舟云学术

Verification of Functional and Non-functional Requirements of Web Service Composition

Published:2013 Issue: Volume: Page:313-328
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Chen Manman,Tan Tian Huat,Sun Jun,Liu Yang,Pang Jun,Li Xiaohong

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-41202-8_21

Reference20 articles.

1. Chinnici, R., Moreau, J.J., Ryman, A., Weerawarana, S.: Web services description language (WSDL) version 2.0, http://www.w3.org/TR/wsdl20/

2. Gudgin, M., Hadley, M., Mendelsohn, N., Moreau, J.J., Nielsen, H.F., Karmarkar, A., Lafon, Y.: Simple object access protocol (SOAP) version 1.2, http://www.w3.org/TR/soap12/

3. OASIS Web Service Business Process Execution Language (WSBPEL) Technical Committee: Web Services Business Process Execution Language Version 2.0 (2007), http://www.oasis-open.org/specs/#wsbpelv2.0

4. Yin, Z., Yuan, D., Zhou, Y., Pasupathy, S., Bairavasundaram, L.: How do fixes become bugs? In: ESEC/FSE 2011, pp. 26–36. ACM (2011)

5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (2000)

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

1. Decision support model for big data analytics tools;SA Journal of Information Management;2023-10-20

2. Modeling Interactions among Cyber-Physical Services;2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2022-09-12

3. Routing Protocol for MANET Based on QoS-Aware Service Composition with Dynamic Secured Broker Selection;Electronics;2022-08-23

4. Hybrid Metaheuristics for QoS-Aware Service Composition: A Systematic Mapping Study;IEEE Access;2022

5. Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net;IEEE Access;2022