Modal logics for mobile processes
Selected papers of the 3rd workshop on Concurrency and compositionality
On Asynchrony in Name-Passing Calculi
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
An Automated Based Verification Environment for Mobile Processes
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development
WI '05 Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
A WSDL-based type system for WS-BPEL
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Model-checking Web Services Orchestrations using BP-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Specification of Correlation in WS Orchestrations Using BP-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A tool for rapid development of WS-BPEL applications
ACM SIGAPP Applied Computing Review
Business process compliance through reusable units of compliant processes
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
On the formal specification of regulatory compliance: a comparative analysis
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Using formal methods to develop WS-BPEL applications
Science of Computer Programming
Modelling and analysis of dynamic reconfiguration in BP-Calculus
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
Towards a formal analysis of dynamic reconfiguration in WS-BPEL
Intelligent Decision Technologies
| Hi-index | 0.00 |
Business Process Execution Language for Web Services (WS-BPEL) is the emerging standard for designing Web Services compositions. In this context, formal methods can contribute to increased reliability and consistency in the BPEL design process. In this paper we propose an approach based on the HAL Toolkit that allows verification of the correctness of the behavior of a @p-based specification of interacting Web Services, and generates the BPEL processes that have the same behavior. This correlation based on two-way mapping between the @p-based orchestration calculus and BPEL. This approach facilitates the verification and refinement process and may be applied to any BPEL implementation.