Modelo de verificação de processos de negocios atraves de uma maquina virtual Pi-Calculos

AUTOR(ES)
DATA DE PUBLICAÇÃO

2006

RESUMO

Two important areas have been in development lately: Business Process Management and Web Service Orchestration. In both of them, the objective is to integrate applications with web services interface through business process paradigm. A number of languages have been proposed with consensus being formed around BPEL (Business Process Execution Language). This dissertation presents a framework for BPEL processes analysis and verification through Pi-Calculus. Pi-Calculus is a process algebra with formal mechanisms for processes creation and activation; these processes communicate sending and receiving messages through channels using the synchronous rendezvous model. In this framework, the BPEL process is translated to a Pi-Calculus program, A Pi-Calculus Virtual Machine (MVP) receives a Pi-calculus program and executes all possible reactions, that is, it generates all execution paths possible to be taken. With this result, the properties such as high-level specification accomplishment, events ordering and deadlock freedom are verified. In practical terms, a tool of this sort can be part of a Business Process Management System (BPMS) to broaden test coverage during the analysis and implementation phases within a process life cycle. In these kinds of systems, a repairing mistake during the execution phase is more complex than in traditional systems

ASSUNTO(S)

web services orchestration service orientde architecture fluxo de trabalho serviços na web process algebra bpel algebra (computadores) workflow management systems business process management systems gestão de negocios sistema de computação virtual business process management pi-calculus

ACESSO AO ARTIGO

Documentos Relacionados