Requirements-Driven Verification of Web Services-Reference-Cited by-同舟云学术

Requirements-Driven Verification of Web Services

Published:2004-12 Issue: Volume:105 Page:95-108
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Pistore Marco,Roveri Marco,Busetta Paolo

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference10 articles.

1. T. Andrews, F. Curbera, H. Dholakia, S. Systems, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business process execution language for web services, version 1.1, 2003

2. NuSMV 2: An OpenSource Tool for Symbolic Model Checking;Cimatti,2002

3. G. Ferrari, S. Gnesi, U. Montanari, and M. Pistore. A model checking verification environment for mobile processes. ACM Transactions on Software Engineering and Methodology, To appear

4. Model-based verification of web service compositions;Foster,2003

5. A. Fuxman, L. Liu, J. Mylopoulos, M. Pistore, M. Roveri, and P. Traverso. Specifying and analyzing early requirements in Tropos. Requirements Engineering, 2003. To appear

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

1. Ensuring business and service requirements in enterprise mashups;Information Systems and e-Business Management;2017-09-06

2. Architectural Characterization of Web Service Interaction Verification;Proceedings of 3rd International Conference on Advanced Computing, Networking and Informatics;2015-09-03

3. Towards the Derivation of Secure Business Process Designs;Lecture Notes in Computer Science;2015

4. Eliciting Security Requirements for Business Processes of Legacy Systems;Lecture Notes in Business Information Processing;2015

5. Validation of user intentions in process orchestration and choreography;Information Systems;2014-07