• 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
 
 
Master's Dissertation
DOI
10.11606/D.45.2006.tde-20072006-163422
Document
Author
Full name
Kelly Rosa Braghetto
E-mail
Institute/School/College
Knowledge Area
Date of Defense
Published
São Paulo, 2006
Supervisor
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.
Publishing Date
2006-10-19
 
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.
All rights of the thesis/dissertation are from the authors
Centro de Informática de São Carlos
Digital Library of Theses and Dissertations of USP. Copyright © 2001-2019. All rights reserved.