Dissertação de Mestrado
DOI
https://doi.org/10.11606/D.45.2006.tde-20072006-163422
Documento
Autor
Nome completo
Kelly Rosa Braghetto
E-mail
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Paulo, 2006
Orientador
Banca examinadora
Ferreira, Joao Eduardo (Presidente)
Finger, Marcelo
Medeiros, Claudia Maria Bauzer
Título em português
Padrões de Fluxos de Processos em Banco de Dados Relacionais
Palavras-chave em português
álgebra de processos
bancos de dados relacionais
workflows
Resumo em português
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.
Título em inglês
Control-Flow Patterns in Relational Databases
Palavras-chave em inglês
process algebra
relational databases
workflows
Resumo em inglês
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.
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Data de Publicação
2006-10-19
AVISO: O material descrito abaixo refere-se a trabalhos decorrentes desta tese ou dissertação. O conteúdo desses trabalhos é de inteira responsabilidade do autor da tese ou dissertação.
- 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.