| dc.creator | Nader, Marcos Vanine Portilho de, 1954- | |
| dc.date | 2006 | |
| dc.date | 2006-01-12T00:00:00Z | |
| dc.date | 2017-03-29T08:57:57Z | |
| dc.date | 2017-07-13T19:45:47Z | |
| dc.date | 2017-03-29T08:57:57Z | |
| dc.date | 2017-07-13T19:45:47Z | |
| dc.date.accessioned | 2018-03-29T03:52:34Z | |
| dc.date.available | 2018-03-29T03:52:34Z | |
| dc.identifier | (Broch.) | |
| dc.identifier | NADER, Marcos Vanine Portilho de. Modelo de verificação de processos de negocios atraves de uma maquina virtual Pi-Calculos. 2006. 158p. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: <http://libdigi.unicamp.br/document/?code=vtls000405426>. Acesso em: 29 mar. 2017. | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/259635 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1337555 | |
| dc.description | Orientador: Mauricio Ferreira Magalhães | |
| dc.description | Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação | |
| dc.description | Resumo: Duas áreas importantes estão em desenvolvimento: Gerência de Processos de Negócios (Business Process Management) e Orquestração de Web Services (Web Services Orchestration). Ambas têm um objetivo que é integrar aplicações ou outros processos que tenham interfaces web services, usando o paradigma de processos de negócios. Uma linguagem que vem sendo difundida para essas aplicações é a BPEL (Business Process Execution Language). Este trabalho apresenta um framework aplicável à análise e verificação de processos de negócios escritos em BPEL através do uso de Pi-Calculus. Pi-Calculus é uma álgebra de processos que possui mecanismos formais para criação e ativação de processos que se comunicam através da troca de mensagens em canais, usando o modelo de rendezvous síncrono. Nesse framework, o processo BPEL é traduzido para um programa Pi-Calculus. Uma Máquina Virtual Pi-Calculus (MVP) recebe o programa Pi-Calculus e produz todas as reações possíveis, ou seja, gera todos os caminhos de execução que o programa pode seguir. A partir desse resultado, efetua-se a verificação de propriedades como: atendimento às especificações de mais alto nível, ordenação de eventos e ocorrência ou não de deadlocks. Em termos práticos, uma ferramenta desse tipo pode ser incorporada aos Sistemas de Gerência de Processos de Negócios (Business Process Management Systems - BPMS) para ampliar a cobertura de testes durante as fases de análise e implementação de um processo dentro do seu ciclo de vida. Nesses tipos de sistemas, a reparação de um erro durante a fase de execução é muito mais custosa que nos sistemas tradicionais | |
| dc.description | Abstract: 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 | |
| dc.description | Mestrado | |
| dc.description | Engenharia de Computação | |
| dc.description | Titulao: Mestre em Engenharia Eletrica | |
| dc.format | 158p. : il. | |
| dc.format | application/pdf | |
| dc.language | Português | |
| dc.publisher | [s.n.] | |
| dc.subject | Fluxo de trabalho | |
| dc.subject | Gestão de negocios | |
| dc.subject | Serviços na Web | |
| dc.subject | Álgebra (Computadores) | |
| dc.subject | Sistema de computação virtual | |
| dc.subject | Business process management | |
| dc.subject | Service orientde architecture | |
| dc.subject | Web services orchestration | |
| dc.subject | Workflow management systems | |
| dc.subject | Business process management systems | |
| dc.subject | Process algebra | |
| dc.subject | BPEL | |
| dc.subject | Pi-Calculus | |
| dc.title | Modelo de verificação de processos de negocios atraves de uma maquina virtual Pi-Calculos | |
| dc.type | Tesis | |
