Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
The Mobility Workbench - A Tool for the pi-Calculus
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
A Model-Driven Transformation Method
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
A model-checking verification environment for mobile processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specifying and analyzing early requirements in Tropos
Requirements Engineering
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
WWW '05 Proceedings of the 14th international conference on World Wide Web
Customizable verifiers for web applications and their implementation
CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Path-based verification for composition of semantic web services
Proceedings of the 2008 ACM symposium on Applied computing
Encoding process algebraic descriptions of web services into BPEL
Web Intelligence and Agent Systems
Context-dependent extensible syntax-oriented verifier with recursive verification
WSEAS Transactions on Information Science and Applications
Customizable pattern-oriented verifiers for web applications
WSEAS Transactions on Information Science and Applications
Towards Goal-Driven Self Optimisation of Service Based Applications
ServiceWave '08 Proceedings of the 1st European Conference on Towards a Service-Based Internet
Goal-Driven Alignment of Services and Business Requirements
SOCCER '08 Proceedings of the 2008 International Workshop on Service-Oriented Computing Consequences for Engineering Requirements
Extending model checking to data-aware temporal properties of web services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Model checking for asynchronous web service composition based on XYZ/ADL
WISM'11 Proceedings of the 2011 international conference on Web information systems and mining - Volume Part II
A parametric communication model for the verification of BPEL4WS compositions
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
Investigating Goal-Oriented Requirements Engineering for Business Processes
Journal of Database Management
Hi-index | 0.00 |
We propose a requirements-driven approach to the design and verification of Web services. The proposed methodology starts from a requirements model, which defines a business domain at a ''strategic'' level, describing the participating actors, their mutual dependencies, goals, require- ments, and expectations. This business requirements model is then refined into a business process model. In this refinement, definitions of the processes carried out by the actors of the domain are added to the model in the form of BPEL4WS code. We show how to exploit model checking tech- niques for the verification of the specification, both at the requirements and at the process level. At the requirements level, model checking is used to validate the specification against a set of queries specified by the designer; at the process level, it is used to verify if the BPEL4WS processes satisfy the constraints described in the requirements model.