ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo (2008)
- Authors:
- Autor USP: TAKECIAN, PEDRO LOSCO - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Subjects: COMPUTADORES; CONTROLE DE PROCESSOS
- Language: Português
- Abstract: Recentemente, várias abordagens estão sendo propostas na área de modelagem de processos de negócio. Dentre elas estão as linguagens BPEL e NPDL. BPEL é uma linguagem de representação e execução de processos de negócio que se mostrou bastante expressiva e uma forte candidata a padrão de mercado. NPDL é uma linguagem de definição de processos de negócio baseada em uma extensão de álgebra de processos chamada ACP. NPDL possui uma ferramenta capaz de interpretar e controlar a execução de procesos de negócio chamada de NavigationPlanTool. A tradução de processos BPEL para expressões NPDL tem como objetivo fornecer aos processos descritos em BPEL um ambiente de controle ew execução baseado em um formalismo algébrico. Entretanto, isso não é uma tarefa fácil. A presença de conceitos em BPEL que não são mapeáveis para NPDL faz com que grande parte da expressividade de BPEL se perca na tradução. Essa perda se dá pela limitação da própria ACP, na qual NPDL se baseia. Para sanar essa dificuldade, surgiu a idéia de estender ou trocar a base algébrica da NPDL. Substituindo a ACP por outro arcabouço algébrico ou incorporando idéias de outras álgebras, seria possível tornar a NPDL mais próxima de BPEL, facilitando, assim, o trabalho de mapeamento. Dentre os arcabouços formais disponíveis, LOTOS tem se mostrado uma interessante alternativa à ACP como base para a NPDL. Para comprovar os banefícios da utilização de conceitos de LOTOS na NPDL ou, até mesmo, de uma troca da basealgébrica da NPDL de ACP para LOTOS, este trabalho faz um estudo comparativo entre esses dois formalismosd algébricos, buscando encontrar a álgebra com maior expressividade e que represente melhor os conceitos presentes em BPEL. Para esa comparação, serão utilizados os principais conceitos existentes na linguagem BPEL, bem como os Padrões de Controle de Fluxo de Workflow. Não pertence ao escopo deste trabalho a implementação da NPDL usando LOTOS como base formal
- Imprenta:
- Data da defesa: 03.06.2008
-
ABNT
TAKECIAN, Pedro Losco. ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11092008-103831/. Acesso em: 19 abr. 2024. -
APA
Takecian, P. L. (2008). ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11092008-103831/ -
NLM
Takecian PL. ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo [Internet]. 2008 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11092008-103831/ -
Vancouver
Takecian PL. ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo [Internet]. 2008 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11092008-103831/ - Diretrizes metodológicas e validação estatística de dados para a construção de data warehouses
- Using LOTOS for rigorous specifications of workflow patterns
- Metricam: fast and reliable social distancing analysis in online security cameras
- Long Lived Transaction Processing for Business Processes and Scientific Workflows
- Validation of physician certified verbal autopsy using conventional autopsy: a large study of adult non-external causes of death in a metropolitan area in Brazil
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
