Formalizing WSBPEL Business Processes Using Process Algebra

Authors:
Javier Cámara;Carlos Canal;Javier Cubo;Antonio Vallecillo
Affiliations:
CITIC, Andalusian ICT Centre, Málaga, Spain;Dept. of Computer Science, University of Málaga, Spain;CITIC, Andalusian ICT Centre, Málaga, Spain;Dept. of Computer Science, University of Málaga, Spain
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 6
Cited 9

Protocol specifications and component adaptors

ACM Transactions on Programming Languages and Systems (TOPLAS)
Communication and Concurrency

Communication and Concurrency
Adding Roles to CORBA Objects

IEEE Transactions on Software Engineering
A formal approach to component adaptation

Journal of Systems and Software - Special issue: Automated component-based software engineering
Towards a Formal Foundation to Orchestration Languages

Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing Web Service Choreographies

Electronic Notes in Theoretical Computer Science (ENTCS)

Engineering a BPEL orchestration engine as a multi-agent system

Science of Computer Programming
Formal analysis of BPMN via a translation into COWS

COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Synthesis of web services orchestrators in a timed setting

WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Real-time web services orchestration and choreography

Proceedings of the 6th International Workshop on Enterprise & Organizational Modeling and Simulation
Transformational design of business processes for SOA

CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Dynamic enforcement of abstract separation of duty constraints

ACM Transactions on Information and System Security (TISSEC)
An aggregation composition compensation method based on paired net

International Journal of Automation and Computing
Interoperable Semantic and Syntactic Service Discovery for Ambient Computing Environments

International Journal of Ambient Computing and Intelligence
Service net algebra based on logic Petri nets

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service collaborations. However, these standards do not provide support for checking interesting properties related to Web Service and process behaviour. In an attempt to fill this gap, we describe a formalization of WSBPEL business processes, that adds protocol information to the specifications of interacting Web Services, and uses a process algebra to model their dynamic behaviour - thus enabling their formal analysis and the inference of relevant properties of the systems being built.