Padrões de Fluxos de Processos em Banco de Dados Relacionais

Braghetto, Kelly Rosa

doi:10.11606/D.45.2006.tde-20072006-163422

Home

Facilities

Master's Dissertation

DOI

https://doi.org/10.11606/D.45.2006.tde-20072006-163422

Document

Master's Dissertation

Author

Braghetto, Kelly Rosa (Catálogo USP)

Full name

Kelly Rosa Braghetto

E-mail

Institute/School/College

Instituto de Matemática e Estatística

Knowledge Area

Computer Science

Date of Defense

2006-06-23

Published

São Paulo, 2006

Supervisor

Ferreira, Joao Eduardo (Catálogo USP)

Committee

Ferreira, Joao Eduardo (President)
Finger, Marcelo
Medeiros, Claudia Maria Bauzer

Title in Portuguese

Padrões de Fluxos de Processos em Banco de Dados Relacionais

Keywords in Portuguese

álgebra de processos
bancos de dados relacionais
workflows

Abstract in Portuguese

A representação e execução de processos de negócio têm gerado importantes desafios na área de Ciência da Computação. Um desses desafios é a escolha do melhor arcabouço formal para a especificação dos controles de fluxo padrões. Algumas linguagens defendem o uso de redes de Petri ou álgebras de processos como base formal. O uso de redes de Petri para especificar workflows clássicos é uma abordagem bastante conhecida. Entretanto, pesquisas recentes vêm difundindo o uso de novas extensões da álgebra de processos como uma alternativa para a especificação formal de workflows. A principal contribuição deste trabalho é a definição da Navigation Plan Definition Language (NPDL). A NPDL foi implementada como uma extensão da linguagem SQL. Ela é uma alternativa para a representação de workflows que utiliza a álgebra de processos como arcabouço formal. A NPDL promove uma separação explícita entre o ambiente de especificação e o ambiente de execução de um workflow. Esta separação propicia o reaproveitamento de passos de negócio e o uso das propriedades da álgebra de processos não só na modelagem, mas também no controle da execução dos processos. Após a especificação de um workflow por meio da NPDL, a execução dos passos que o definem é controlada pela ferramenta NavigationPlanTool. Essa ferramenta é a segunda contribuição deste trabalho de pesquisa.

Title in English

Control-Flow Patterns in Relational Databases

Keywords in English

process algebra
relational databases
workflows

Abstract in English

The representation and execution of business processes have generated some important challenges in Computer Science. An important related concern is the choosing of the best formal foundation to represent control-flow patterns. Some of the workflow languages advocate the Petri nets or process algebra as formal foundation. The use of Petri nets is a famous approach to support classic workflows. On the other hand some researches are introducing modern process algebra extensions as an alternative formal foundation for representing workflows. The first contribution of this research is the definition of the Navigation Plan Definition Language (NPDL). NPDL was implemented as an extension of SQL language. It is an alternative to represent business processes using process algebra as formal foundation. NPDL provides the explicit separation between specification and execution workflow environment. This separation allows reusing of business steps and usage of process algebra properties in the process modeling and execution controlling tasks. After the definition of a workflow using NPDL, the business steps execution is carried out and controlled by a tool called NavigationPlanTool. This tool is the second contribution of this research.

WARNING - Viewing this document is conditioned on your acceptance of the following terms of use:
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.

krbraghetto_dissertacao.pdf (694.52 Kbytes)

Publishing Date

2006-10-19

Derived works

WARNING: The material described below relates to works resulting from this thesis or dissertation. The contents of these works are the author's responsibility.

ARAÚJO, Luciano V, et al. A rigorous approach to facilitate and guarantee the correctness of the genetic testing management in human genome information systems [doi:10.1186/1471-2164-12-S4-S13]. [online], .
BRAGHETTO, K. R., FERREIRA, J. E., and PU, C. Business Processes Management using Process Algebra and Relational Database Model. In International Conference on e-Business, Porto, Portugal, 2008. International Conference on e-Business., 2008.
BRAGHETTO, K. R., FERREIRA, J. E., and PU, C. Using Control-Flow Patterns for Specifying Business Processes in Cooperative Environments. In The 22nd Annual ACM Symposium on Applied Computing, Seoul, 2007. The 22nd Annual ACM Symposium on Applied Computing. : ACM, 2007. Disponível em: http://www.acm.org/conferences/sac/sac2007/.
BRAGHETTO, K. R., FERREIRA, J. E., and PU, C. Using Process Algebra to Control the Execution of Business Processes. In 23rd Annual ACM Symposium on Applied Computing, Fortaleza, 2008. 23rd Annual ACM Symposium on Applied Computing., 2008. Resumo.
BRAGHETTO, Kelly Rosa, FERREIRA, João Eduardo, and PU, Calton. Using control-flow patterns for specifying business processes in cooperative environments [doi:10.1145/1244002.1244270]. In The ACM Symposium on Applied computing (SAC '07) [online], 22, Seoul, Korea, 2007. New York, New York, USA : ACM Press, 2007. p. 1234-1241. ISBN 1595934804.
BRAGHETTO, Kelly Rosa, FERREIRA, João Eduardo, and PU, Calton. Using process algebra to control the execution of business processes [doi:10.1145/1363686.1363720]. In The ACM Symposium on Applied computing (SAC '08) [online], 23, Fortaleza, Ceara, Brazil, 2008. New York, New York, USA : ACM Press, 2008. p. 128-129. ISBN 9781595937537.
BRAGHETTO, Kelly Rosa, FERREIRA, João Eduardo, e PU, Calton. Business Processes Management Using Process Algebra and Relational Database Model. In International Conference on e-Business (ICE-B 2008), Porto, Portugal, 2008. Funchal, Madeira, Portugal : INSTICC Press, 2008. p. 323-333.
BRAGHETTO, Kelly Rosa, FERREIRA, João Eduardo, and PU, Calton. NPTool : Towards Scalability and Reliability of Business Process Management. In FILIPE, Joaquim, and OBAIDAT, Mohammad S.. e-Business and Telecommunications [doi:10.1007/978-3-642-05197-5_7]. Editor. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. chap. 7. p. 99-112. Communications in Computer and Information Science.