Uncertain Marking for Dealing with Partial Parallelization in Business Processes

Leiliane Pereira de Rezende, Stéphane Julia, Janette Cardoso

2016

Abstract

In this paper, an approach based on WorkFlow nets and possibilistic Petri nets is proposed for dealing with flow deviations in business processes. Routing patterns existing in business processes are modeled by WorkFlow nets. Possibilistic Petri nets with uncertainty in the marking and the transition firing are considered to express in a more realistic way the ordering of human activities during real time execution of the process model. Combining both formalisms, a kind of possibilistic WorkFlow net is obtained. An example of flow deviations due to human behavior at a process monitoring level is presented.

References

  1. Adams, M. (2007). Facilitating Dynamic Flexibility and Exception Handling for Workflows . PhD thesis, Queensland University of Technology.
  2. Adams, M. (2010). Chapter 4: Dynamic workflow. In Modern Business Process Automation: YAWL and its Support Environment, pages 123-145.
  3. Adams, M., Hofstede, A. H. M. t., Edmond, D., and van der Aalst, W. M. P. (2005). Facilitating flexibility and dynamic exception handling in workflows through worklets. In CAiSE, volume 161, pages 45-50.
  4. Adams, M., Hofstede, A. H. M. t., Edmond, D., and van der Aalst, W. M. P. (2006). Worklets: A service-oriented implementation of dynamic flexibility in workflows. In Proceedings of the OTM, volume 4275, pages 291- 308.
  5. Adams, M., Hofstede, A. H. M. t., van der Aalst, W. M. P., and Edmond, D. (2007). Dynamic, extensible and context-aware exception handling for workflows. In OTM, volume 4803, pages 95-112.
  6. Beaudouin-Lafon, M., Mackay, W., Jensen, M., Andersen, P., Janecek, P., Lassen, M., Lund, K., Mortensen, K., Munck, S., Ratzer, A., Ravn, K., Christensen, S., and Jensen, K. (2001). Cpn/tools: A tool for editing and simulating coloured petri nets etaps tool demonstration related to tacas. In Tools and Algorithms for the Construction and Analysis of Systems, volume 2031, pages 574-577.
  7. Cardoso, J. (1999). Time fuzzy petri nets. In Fuzziness in Petri Nets, pages 115 - 145.
  8. Cardoso, J. and Valette, R. (1997). DAUSFC.
  9. Cardoso, J., Valette, R., and Dubois, D. (1989). Petri nets with uncertain markings. In Applications and Theory of Petri Nets, volume 483, pages 64 - 78.
  10. Cardoso, J., Valette, R., and Dubois, D. (1999). Possibilistic petri nets. IEEE Transactions on SMC, Part B, 29:573 -582.
  11. Cmpan, S. and Oquendo, F. (2000). Dealing with software process deviations using fuzzy logic based monitoring. SIGAPP Appl. Comput. Rev., 8:3-13.
  12. Kapuruge, M., Han, J., and Colman, A. W. (2010). Support for business process flexibility in service compositions: An evaluative survey. In Australian Software Engineering Conference, pages 97-106.
  13. Members, W. M. C. (1994). Glossary - a workflow management coalition specification. Technical report, Coalition, Workflow Management.
  14. Mohammed, K., Redouane, L., and Bernard, C. (2007). A deviation-tolerant approach to software process evolution. In IWPSE, pages 75-78.
  15. Munoz-Gama, J. (2010). Algorithms for process conformance and process refinement. Master's thesis, Universitat Politècnica de Catalunya.
  16. Pesic, M. (2008). Constraint-based Workflow Management Systems: Shifting Control to Users. Phd thesis, Eindhoven University of Technology.
  17. Pesic, M., Schonenberg, M., Sidorova, N., and van der Aalst, W. M. P. (2007). Constraint-based workflow models: Change made easy. In OTM, volume 4803, pages 77-94.
  18. Pesic, M. and van der Aalst, W. M. P. (2006). A declarative approach for flexible business processes management. In BPM Workshops, volume 4103, pages 169-180.
  19. Rozinat, A. and van der Aalst, W. M. P. (2008). Conformance checking of processes based on monitoring real behavior. Information Systems, 33:64-95.
  20. Sibertin-Blanc, C. (2001). Cooperative objects: Principles, use and implementation. In Concurrent ObjectOriented Programming and Petri Nets, volume 2001, pages 216-246.
  21. Soares Passos, L. and Julia, S. (2009). Qualitative analysis of workflow nets using linear logic: Soundness verification. In IEEE SMC, pages 2843 -2847.
  22. Thompson, S. and Torabi, T. (2009). An observational approach to practical process non-conformance detection. In ICADIWT, pages 62-67.
  23. van der Aalst, W. M. P. (1998). The application of petri nets to workflow management. Journal of Circuits Systems and Computers, 8:21-66.
  24. van der Aalst, W. M. P., Adriansyah, A., and van Dongen, B. (2012). Replaying history on process models for conformance checking and performance analysis. WIREs: Data Mining and Knowledge Discovery, 2:182-192.
  25. van der Aalst, W. M. P. and Hee, K. v. (2004). Workflow Management: Models, Methods, and Systems. MIT Press.
  26. van der Aalst, W. M. P., Pesic, M., and Schonenberg, H. (2009). Declarative workflows: Balancing between flexibility and support. Computer Science - Research and Development, 23:99-113.
  27. van der Aalst, W. M. P., van Hee, K. M., ter Hofstede, A. H. M., Sidorova, N., Verbeek, H. M. W., Voorhoeve, M., and Wynn, M. T. (2011). Soundness of workflow nets: Classification, decidability, and analysis. Form. Asp. Comput., 23:333-363.
  28. Wang, J., Tepfenhart, W. M., and Rosca, D. (2009). Emergency response workflow resource requirements modeling and analysis. IEEE Transactions on SMC, Part C, 39:270-283.
  29. Weber, B., Reichert, M., and Rinderle-Ma, S. (2008). Change patterns and change support features - enhancing flexibility in process-aware information systems. Data and Knowledge Engineering, 66:438-466.
  30. Weske, M. (2007). Business Process Management: Concepts, Languages, Architectures. Springer-Verlag New York, Inc.
  31. Zazworka, N., Basili, V. R., and Shull, F. (2009). Tool supported detection and judgment of nonconformance in process execution. In ESEM, pages 312-323. ACM / IEEE Computer Society.
Download


Paper Citation


in Harvard Style

Rezende L., Julia S. and Cardoso J. (2016). Uncertain Marking for Dealing with Partial Parallelization in Business Processes . In Proceedings of the 18th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-187-8, pages 118-125. DOI: 10.5220/0005760201180125


in Bibtex Style

@conference{iceis16,
author={Leiliane Pereira de Rezende and Stéphane Julia and Janette Cardoso},
title={Uncertain Marking for Dealing with Partial Parallelization in Business Processes},
booktitle={Proceedings of the 18th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2016},
pages={118-125},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005760201180125},
isbn={978-989-758-187-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 18th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Uncertain Marking for Dealing with Partial Parallelization in Business Processes
SN - 978-989-758-187-8
AU - Rezende L.
AU - Julia S.
AU - Cardoso J.
PY - 2016
SP - 118
EP - 125
DO - 10.5220/0005760201180125