• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Mémoire de Maîtrise
DOI
10.11606/D.45.2008.tde-11092008-103831
Document
Auteur
Nom complet
Pedro Losco Takecian
Adresse Mail
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Paulo, 2008
Directeur
Jury
Ferreira, Joao Eduardo (Président)
Alcazár, José de Jesus Pérez
Ruiz, Duncan Dubugras Alcoba
Titre en portugais
ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo
Mots-clés en portugais
ACP
álgebra de processos
BPEL
LOTOS
NPDL
Padrões de Workflow.
Resumé en portugais
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 processos 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 e 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 benefícios da utilização de conceitos de LOTOS na NPDL ou, até mesmo, de uma troca da base algébrica da NPDL de ACP para LOTOS, este trabalho faz um estudo comparativo entre esses dois formalismos algébricos, buscando encontrar a álgebra com maior expressividade e que represente melhor os conceitos presentes em BPEL. Para essa 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.
Titre en anglais
ACP and LOTOS: a comparative study based on BPEL concepts and control-flow patterns
Mots-clés en anglais
ACP
BPEL
LOTOS
NPDL
process algebra
Workflow Patterns.
Resumé en anglais
Recently, several approaches are being proposed in the business process modeling area. Among them are BPEL and NPDL languages. BPEL is a business process representation and execution language that has showed itself to be very expressive and a strong candidate to market reference. NPDL is a business process definition language based on a process algebra extension called ACP. NPDL has a tool called NavigationPlanTool that is able to interpret and control the business processes execution. The translation from BPEL processes to NPDL expressions aims to provide to BPEL processes a control and execution environment based on an algebraic foundation. However, this is not an easy task. Due to the translation, the presence of BPEL concepts that can´t be mapped to NPDL results in a heavy BPEL expressiveness loss. This loss occurs by the limitation of ACP, in which NPDL is based on. To solve this problem, the idea of extending or replacing the NPDL algebraic base has appeared. Replacing ACP with other algebraic framework or incorporating ideas from other algebras, could make NPDL closer to BPEL, turning the mapping work easier. Among the formal frameworks available, LOTOS has showed itself an interesting alternative to ACP as an NPDL basis. To prove the benefits of using LOTOS concepts in NPDL, or even exchanging the NPDL algebraic base from ACP to LOTOS, this work presents a comparative study between these two algebraic foundations, trying to find the most expressive algebra and the one that best represents the BPEL concepts. For this comparison, the BPEL main concepts and the Workflow Control-Flow Patterns will be used. The NPDL implementation using LOTOS as formal foundation is out of the scope of this work.
 
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
DissertacaoFinal.pdf (620.07 Kbytes)
Date de Publication
2008-10-01
 
AVERTISSEMENT: Le matériau se réfère à des documents provenant de cette thèse ou mémoire. Le contenu de ces documents est la responsabilité de l'auteur de la thèse ou mémoire.
  • Takecian, Pedro L., et al. Using LOTOS for rigorous specifications of workflow patterns. In Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), 2010, Chicago, 2010. Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), 2010. : IEEE, 2010.
Tous droits de la thèse/dissertation appartiennent aux auteurs
Centro de Informática de São Carlos
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2020. Tous droits réservés.