KAT based CAD Model of Process Elements for Effective Management of Process Evolution

Jeewani Anupama Ginige, Athula Ginige, Uma Sirinivasan

Abstract

Processes consist of actions, participants, object and rules, known as elements. In a process, these elements are inter-woven together to achieve desired business goals. When managing process evolutions and changes, it is imperative to understand constraints, associations and dependencies (CAD) among process elements. Use of high-level graphical model that encapsulate CAD among process elements, as given in [1], is limited in practice. Therefore, here we present formalism, to model CAD among process elements. This formalism is based on constraint modeling algebra named Kleene Algebra with Tests (KAT) [2]. This paper gives a set of definitions to capture CAD among process elements based on KAT. These definitions are used to create a single compact KAT expression that captures all possible CAD among process elements. The holistic and cohesive nature in capturing CAD among process elements and deploying KAT to model them into a single expression are the unique contributions of this research.

References

  1. J. A. Ginige, A. Ginige, and U. Sirinivasan, "Towards Effective Management of Process Evolution in Web-based Workflows: Dependencies and Constraints Model of Process Elements," Melbourne Australia, 2007 (Accepted).
  2. D. Kozen, "Kleene Algebra with Tests," ACM, pp. 17, 1999.
  3. WfMC, "Workflow Management Coalition - Terminology & Glossary." Winchester, Hampshire, United Kingdom: Workflow Management Coalition, Feb 1999, pp. 8-9.
  4. J. A. Ginige and A. Ginige, "Meta-Model for Tracing Impact of Contextual Information Evolution in Web-based Workflows," presented at 9th International Conference on Enterprise Information Systems (ICEIS 07), Funchal, Madeira - Portugal, 2007.
  5. W. M. P. van der Aalst, "Verification of Workflow Nets," Application and Theory of Petri Nets, vol. 1248, pp. 407-426, 1997.
  6. W. M. P. van der Aalst, K. M. van Hee, and G. J. Houben, "Modelling and analysing workflow using a Petri-net based approach," presented at Proc. 2 ndWorkshop on ComputerSupported Cooperative Work, Petri nets and related formalisms, 1994.
  7. J. W. Schmidt, "A Comparison of Event-driven Process Chains and UML Activity Diagram for Denoting Business Processes," D. I. A. Wienberg, Ed. Harburg: Technische Universit├Ąt Hamburg-Harburg, 2001.
  8. J. Mendling, G. Neumann, and M. Nuttgens, "Towards Workflow Pattern Support of Event-Driven Process Chains (EPC)," presented at 2nd Workshop XML4BPM, 2005.
  9. E. Oren and A. Haller, "Formal frameworks for workflow modelling," DERI-Digital Enterprise Research Institute, vol. 20, 2005.
  10. W. M. P. van der Aalst, M. Weskez, and G. Wirtz, "Advanced Topics in Workflow Management: Issues, Requirements, and Solutions," Integrated Design and Process Science, vol. Volume 7, pp. pp 49-77, 2003.
  11. R. Lu, S. Sadiq, V. Padmanabhan, and G. Governatori, "Using a temporal constraint network for business process execution," Proceedings of the 17th Australasian Database Conference-Volume 49, pp. 157-166, 2006.
  12. O. Marjanovic, "Dynamic Verification of Temporal Constraints in Production Workflows," Proceedings of the 11th Australian Database Conference, vol. 7481, 2000.
  13. N. Russell, A. H. M. ter Hofstede, D. Edmond, and W. M. P. van der Aalst, "Workflow data patterns," presented at 24th Int. Conf. on Conceptual Modeling (ER05), 2005.
  14. N. Russell, A. H. M. ter Hofstede, W. M. P. van der Aalst, and N. Mulyar, "WORKFLOW CONTROL-FLOW PATTERNS A Revised View," BPMcenter.org 2006.
  15. N. Russell, W. M. P. van der Aalst, and A. H. M. ter Hofstede, "Workflow Exception Patterns," 2006.
  16. N. Russell, W. M. P. van der Aalst, A. H. M. ter Hofstede, and D. Edmond, "Workflow Resource Patterns: Identification, Representation and Tool Support," presented at 17th Conference on Advanced Information Systems Engineering (CAiSE'05), 2005.
  17. S. W. Sadiq, M. E. Orlowska, and W. Sadiq, "Specification and validation of process constraints for flexible workflows," Information Systems, vol. 30, pp. 349-378, 2005.
  18. W. Sadiq, O. Marjanovic, and M. E. Orlowska, "Managing Change and Time in Dynamic Workflow Processes," IJCIS, vol. 9, pp. 93-116, 2000.
  19. W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski, and A. P. Barros, "Workflow Patterns," Distributed and Parallel Databases, vol. 14, pp. 5-51, 2003.
  20. J. Camara, C. Canal, J. Cubo, and A. Vallecillo, "Formalizing WSBPEL Business Processes Using Process Algebra," Proceedings of FOCLASA, 2005.
  21. H. Smith and P. Fingar, "Workflow is just a Pi process," Computer Sciences Corporation 2003.
  22. W. M. P. van der Aalst, K. M. Hee, and K. V. Hee, Workflow Management: Models, Methods, and Systems: Mit Pr, 2002.
  23. J. Hall, The High Level Petri Box Calculus: Basic Concepts: University of York, Dept. of Computer Science, 1993.
  24. B. Mikolajczak, "Review of Petri Net Algebra," ACM SIGACT News, vol. 33, pp. 10-14, 2002.
  25. D. Kozen, "Kleene algebra with tests, Transactions on Programming Languages andSystems " ACM, pp. 427-443, 1997.
  26. K. D. Schewe and B. Thalheim, "Conceptual modelling of web information systems," Data and Knowledge Engineering, vol. 54, pp. 147-188, 2005.
  27. G. Vossen, M. Weske, and G. Wittkowski, "Dynamic Workflow Management on the Web," Fachbericht Angewandte Mathematik und Informatik, vol. 24, pp. Last accessed on 10/03/2005 from http://dbms.uni-muenster.de/staff/weske/papers/fb24-96.ps.gz, 1996.
  28. J. Wainer, F. Bezerra, and P. Barthelmess, "Tucupi: a flexible workflow system based on overridable constraints," presented at Proceedings of the 2004 ACM symposium on Applied computing, 2004.
  29. D. Wang, Y. A. N. Xiu-Tian, W. J. Ion, W. Runxiao, et al., "An Approach to a Web-based Flexible Workflow Modeling," presented at ASR 782005 Seminar, Instruments and Control, Ostrava, April 29, 2005, 2005.
Download


Paper Citation


in Harvard Style

Anupama Ginige J., Ginige A. and Sirinivasan U. (2007). KAT based CAD Model of Process Elements for Effective Management of Process Evolution . In Proceedings of the 1st International Joint Workshop on Technologies for Collaborative Business Processes and Management of Enterprise Information Systems - Volume 1: TCoB & MEIS, (ICEIS 2007) ISBN 978-972-8865-99-3, pages 13-22. DOI: 10.5220/0002435700130022


in Bibtex Style

@conference{tcob & meis07,
author={Jeewani Anupama Ginige and Athula Ginige and Uma Sirinivasan},
title={KAT based CAD Model of Process Elements for Effective Management of Process Evolution},
booktitle={Proceedings of the 1st International Joint Workshop on Technologies for Collaborative Business Processes and Management of Enterprise Information Systems - Volume 1: TCoB & MEIS, (ICEIS 2007)},
year={2007},
pages={13-22},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002435700130022},
isbn={978-972-8865-99-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Joint Workshop on Technologies for Collaborative Business Processes and Management of Enterprise Information Systems - Volume 1: TCoB & MEIS, (ICEIS 2007)
TI - KAT based CAD Model of Process Elements for Effective Management of Process Evolution
SN - 978-972-8865-99-3
AU - Anupama Ginige J.
AU - Ginige A.
AU - Sirinivasan U.
PY - 2007
SP - 13
EP - 22
DO - 10.5220/0002435700130022