Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Communication and Concurrency
Handbook of Process Algebra
Efficient on-the-fly model-checking for regular alternation-free mu-calculus
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Compiler Construction Using LOTOS NT
CC '02 Proceedings of the 11th International Conference on Compiler Construction
Timed CSP: Theory and Practice
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Managing Business Processes via Workflow Technology
Proceedings of the 27th International Conference on Very Large Data Bases
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Analysis and simulation of Web services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Specifying and Analyzing Early Requirements: Some Experimental Results
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Designing Web Services with Tropos
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Web Service Composition in UML
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Specification and verification of data-driven web services
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Towards a Formal Foundation to Orchestration Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Requirements-Driven Verification of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
A lightweight fault tolerance framework for Web services
Web Intelligence and Agent Systems
Model-checking Web Services Orchestrations using BP-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Multiple criteria programming models for VIP E-Mail behavior analysis
Web Intelligence and Agent Systems
Application of rough ensemble classifier to web services categorization and focused crawling
Web Intelligence and Agent Systems
| Hi-index | 0.00 |
Formal methods are helpful for many issues raised in the web services area. In this article, we advocate the use of process algebra as a first step in the design and development of executable web services. Verification tools can be used to validate the correct execution of these formal descriptions. We define some guidelines to encode abstract specifications of services-to-be written using these calculi into executable web services. As a back-end language, we consider BPEL as the orchestration language. We illustrate our approach through the development of a simple e-business application.