VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition-Reference-Cited by-同舟云学术

VeriWS: a tool for verification of combined functional and non-functional requirements of web service composition

Published:2014-05-31 Issue: Volume: Page:
ISSN:
Container-title:Companion Proceedings of the 36th International Conference on Software Engineering
language:
Short-container-title:

Author:

Chen Manman¹,Tan Tian Huat²,Sun Jun²,Liu Yang³,Dong Jin Song¹

Affiliation:

1. National University of Singapore, Singapore

2. Singapore University of Technology and Design, Singapore

3. Nanyang Technological University, Singapore

Publisher

ACM

Link

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

Reference20 articles.

1. Eclipse bpel designer project. http://www.eclipse.org/bpel/. Eclipse bpel designer project. http://www.eclipse.org/bpel/.

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

3. O. W. S. B. P. E. L. W. T. Committee. Web Services Business Process Execution Language Version 2.0. http://www.oasis-open.org/specs/#wsbpelv2.0 Apr 2007. O. W. S. B. P. E. L. W. T. Committee. Web Services Business Process Execution Language Version 2.0. http://www.oasis-open.org/specs/#wsbpelv2.0 Apr 2007.

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

1. Formal Specification of Non-Functional Properties of Context-Aware Systems;International Journal of Organizational and Collective Intelligence;2022-04

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

3. Automated synthesis of local time requirement for service composition;Software and Systems Modeling;2020-03-13

4. Composite Web Services as Dataflow Graphs for Constraint Verification;Proceedings of the 10th International Conference on Cloud Computing and Services Science;2020

5. Non-Programmers Composing Software Services: A Confirmatory Study of the Mental Models and Design Challenges;Applied Sciences;2019-12-17