BUSINESS PROCESSES MANAGEMENT USING PROCESS ALGEBRA AND RELATIONAL DATABASE MODEL

Kelly Rosa Braghetto, João Eduardo Ferreira, Calton Pu

2008

Abstract

Integrating information systems with tools that manage workflows and business processes is not always a simple task. This difficulty becomes more accentuated when the execution control assumes countless business processes. This work presents NavigationPlanTool (NPTool), a tool to control the execution of business processes that can be easily integrated into the information systems. NPTool is supported by Navigation Plan Definition Language (NPDL), a language for business processes specification that uses process algebra as formal foundation. NPTool implements the NPDL language as a SQL extension and offers two other important services: processes instantiation and process instances execution monitor. This paper describes the NPTool showing how the process algebra features combined with a relational database model can be used to provide a scalable and reliable control in the execution of business processes.

References

  1. Aalst, W. (1998). The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21-66.
  2. Aalst, W. and Hofstede, A. (2005). YAWL: Yet another workflow language. Information Systems, 30(4):245- 275.
  3. Aalst, W., Hofstede, A., Kiepuszewski, B., and Barros, A. P. (2003). Workflow Patterns. Distributed and Parallel Databases, 14(1):5-51.
  4. Araújo, L. V., Sabino, E. C., and Ferreira, J. E. (2008). HIV drug resistance analysis tool based on process algebra. In Proceedings of the 2008 ACM Symposium on Applied Computing, Fortaleza, Brazil, March 16-20, 2007, pages 1358-1364. ACM.
  5. Beaudouin-lafon, M., Mackay, W. E., Andersen, P., Janecek, P., Jensen, M., Lassen, M., Lund, K., Mortensen, K., Munck, S., Ratzer, A., Ravn, K., Christensen, S., and Jensen, K. (2000). CPN/Tools: A post-WIMP interface for editing and simulating coloured petri nets.
  6. Braghetto, K. R., Ferreira, J. E., and Pu, C. (2007). Using control-flow patterns for specifying business processes in cooperative environments. In Proceedings of the 2007 ACM Symposium on Applied Computing, Seoul, Korea, March 11-15, 2007, pages 1234-1241. ACM.
  7. Ferreira, J. E., Takai, O. K., Braghetto, K. R., and Pu, C. (2006). Large scale order processing through navigation plan concept. In Proceedings of the IEEE International Conference on Services Computing, pages 297-300. IEEE Computer Society.
  8. Ferreira, J. E., Takai, O. K., and Pu, C. (2005). Integration of collaborative information system in internet applications using riverfish architecture. In CollaborateCom. IEEE.
  9. Fokkink, W. (2000). Springer.
  10. Leymann, F., Roller, D., and Schmidt, M.-T. (2002). Web services and business process management. IBM Systems Journal, 41(2):198-211.
  11. Puhlmann, F. and Weske, M. (2005). Using the pi-calculus for formalizing workflow patterns. In Springer, editor, Third International Conference on Business Process Management (BPM 2005), pages 153-168.
Download


Paper Citation


in Harvard Style

Rosa Braghetto K., Eduardo Ferreira J. and Pu C. (2008). BUSINESS PROCESSES MANAGEMENT USING PROCESS ALGEBRA AND RELATIONAL DATABASE MODEL . In Proceedings of the International Conference on e-Business - Volume 1: ICE-B, (ICETE 2008) ISBN 978-989-8111-58-6, pages 323-333. DOI: 10.5220/0001908903230333


in Bibtex Style

@conference{ice-b08,
author={Kelly Rosa Braghetto and João Eduardo Ferreira and Calton Pu},
title={BUSINESS PROCESSES MANAGEMENT USING PROCESS ALGEBRA AND RELATIONAL DATABASE MODEL},
booktitle={Proceedings of the International Conference on e-Business - Volume 1: ICE-B, (ICETE 2008)},
year={2008},
pages={323-333},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001908903230333},
isbn={978-989-8111-58-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on e-Business - Volume 1: ICE-B, (ICETE 2008)
TI - BUSINESS PROCESSES MANAGEMENT USING PROCESS ALGEBRA AND RELATIONAL DATABASE MODEL
SN - 978-989-8111-58-6
AU - Rosa Braghetto K.
AU - Eduardo Ferreira J.
AU - Pu C.
PY - 2008
SP - 323
EP - 333
DO - 10.5220/0001908903230333