Behavior modeling and automated verification of Web services-Reference-Cited by-同舟云学术

Behavior modeling and automated verification of Web services

Published:2014-02 Issue: Volume:258 Page:416-433
ISSN:0020-0255
Container-title:Information Sciences
language:en
Short-container-title:Information Sciences

Author:

Sheng Quan Z.,Maamar Zakaria,Yao Lina,Szabo Claudia,Bourne Scott

Publisher

Elsevier BV

Subject

Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software

Reference41 articles.

1. A. Arkin, S. Askary, S. Fordin, W. Jekeli, K. Kawaguchi, D. Orchard, S. Pogliani, K. Riemer, S. Struble, P. Takacsi-Nagy, et al., Web Service Choreography Interface (WSCI) 1.0. .

2. A view of cloud computing;Armbrust;Communication of the ACM,2010

3. A. Banerji, C. Bartolini, D. Beringer, V. Chopella, K. Govindarajan, A. Karp, H. Kuno, M. Lemon, G. Pogossiants, S. Sharma, et al., Web Services Conversation Language (WSCL) 1.0. .

4. Web service conversation modeling: a cornerstone for e-business automation;Benatallah;IEEE Internet Computing,2004

5. Beatrice Berard, Michel Bidoit, Alain Finkel, Francois Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Systems and Software Verification. Springer Link, 2001.

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

1. Research on public opinion effecting on stock price during crises based on model checking;Expert Systems with Applications;2024-09

2. Improving Conformance of Web Services: A Constraint-based Model-driven Approach;ACM Transactions on the Web;2023-03-27

3. Model Checking Based Web Service Verification: A Systematic Literature Review;IEEE Transactions on Services Computing;2021-05-01

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

5. Development of Private Processes: A Refinement Approach;IEEE Access;2019