QUALITY IMPROVEMENT OF WORKFLOW DIAGRAMS BASED ON PASSBACK FLOW CONSISTENCY

Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi

2008

Abstract

Passback flows are a kind of flows which appear as replays of operations in a workflow diagram. In order to consider consistency of a workflow diagram and to verify the consistency, it needs to deal with passback flows as special ones. In this paper, we formalize a passback flow in a workflow diagram with only graph theoretical properties of the workflow diagram, and we give an algorithm detecting and removing all passback flows in a workflow diagram. Furthermore, with the algorithm, we extend consistency properties of the structure and life cycles of evidences over an acyclic workflow diagram into those over a general workflow diagram. Our methodology enables us to improve quality of a workflow diagram with loops.

References

  1. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., and Weerawarana, S. (2003). Business Process Execusion Language for Web Services, Version 1.1. Technical report, BEA Systems, International Business Machines Corporation, Microsoft Corporation.
  2. Botha, R. A. and Eloff, J. H. P. (2001). Access control in document-centric workflow systems an agent-based approach. Computers and Security, 20(6):525-532.
  3. Dourish, P., Edwards, K. K., Lamarca, A., Lamping, J., Petersen, K., Salisbury, M., Terry, D. B., and Thornton, J. (2000). Extending document management systems with user-specific active properties. ACM Transactions on Information Systems, 18(2):140-170.
  4. Eriksson, H. E. and Penker, N. (2000). Business Modeling With UML. John Wiley & Sons, Inc.
  5. Keller, G., Nuttgens, M., and Scheer, A. W. (1992). Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Technical Report 89, Institut fur Wirtschaftsinformatik Saarbrucken, Saarbrucken, Germany.
  6. Kiepuszewski, B., ter Hofstede, A. H. M., and van der Aalst, W. M. P. (2003). Fundamentals of control flow in workflows. Acta Informatica, 39(3):143-209.
  7. Krishnan, R., Munaga, L., and Karlapalem, K. (2002). Xdoc-wfms: A framework for document centric workflow management system. In Conceptual Modeling for New Information Systems Technologies, LNCS 2465, pages 348-362. Springer.
  8. Lin, H., Zhao, Z., Li, H., and Chen, Z. (2002). A novel graph reduction algorithm to identify structural conflicts. In Proceedings of the 35th Annual Hawaii International Conference on System Science (HICSS). IEEE Computer Society Press.
  9. Liu, R. and Kumar, A. (2005). An analysis and taxonomy of unstructured workflows. In Proceedings of 3rd International Conference on Business Process Management (BPM), LNCS 3649, pages 268-284. Springer.
  10. Object Management Group (OMG) (2000). OMG Unified Modeling Language Specification, Version 1.3.
  11. Sadiq, W. and Orlowska, M. E. (1997). On correctness issues in conceptual modeling of workflows. In Proceedings of the 5th European Conference on Information Systems (ECIS), pages 943-964.
  12. Sadiq, W. and Orlowska, M. E. (2000). Analysing process models using graph reduction techniques. Information Systems, 25(2):117-134.
  13. Takaki, O., Seino, T., Takeuti, I., Izumi, N., and Takahashi, K. (2007a). Algorithms verifying phenomena independency and abstracting phenomena subgraphs of uml activity diagrams. In Software Engineering Saizensen 2007, pages 153-164. Kindaikagaku-sha (in Japanese).
  14. Takaki, O., Seino, T., Takeuti, I., Izumi, N., and Takahashi, K. (2007b). Verification algorithm of evidence life cycles in extended uml activity diagrams. In Proceedings of The 2nd International Conference on Software Engineering Advances. IEEE Computer Society Press.
  15. van der Aalst, W. M. P. (1997). Verification of workflow nets. In Application and Theory of Petri Nets 1997, LNCS 1248, pages 407-426. Springer.
  16. van der Aalst, W. M. P. (1998). The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21-66.
  17. van der Aalst, W. M. P., Hirnschall, A., and Verbeek, H. M. W. (2002). An alternative way to analyze workflow graphs. In Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE), LNCS 2348, pages 535-552. Springer.
  18. van der Aalst, W. M. P. and ter Hofstede, A. H. M. (2005). Yawl: Yet another workflow language. Information Systems, 30(4):245-275.
  19. Verbeek, H. M. W., Basten, T., and van der Aalst, W. M. P. (2001). Diagnosing workflow processes using woflan. The Computer Journal, 44(4):246-279.
  20. Wang, J. and Kumar, A. (2005). A framework for document-driven workflow systems. In Proceedings of 3rd International Conference on Business Process Management (BPM), LNCS 3649, pages 285-301. Springer.
  21. Workflow Management Coalition (WfMC) (2002). Workflow Management Coalition Workflow Standard: Workflow Process Definition Interface - XML Process Definition Language (XPDL). (WfMC-TC-1025), Technical report, Workflow Management Coalition, Lighthouse Point, Florida, USA.
Download


Paper Citation


in Harvard Style

Takaki O., Seino T., Takeuti I., Izumi N. and Takahashi K. (2008). QUALITY IMPROVEMENT OF WORKFLOW DIAGRAMS BASED ON PASSBACK FLOW CONSISTENCY . In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS, ISBN 978-989-8111-38-8, pages 351-359. DOI: 10.5220/0001709703510359


in Bibtex Style

@conference{iceis08,
author={Osamu Takaki and Takahiro Seino and Izumi Takeuti and Noriaki Izumi and Koichi Takahashi},
title={QUALITY IMPROVEMENT OF WORKFLOW DIAGRAMS BASED ON PASSBACK FLOW CONSISTENCY},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS,},
year={2008},
pages={351-359},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001709703510359},
isbn={978-989-8111-38-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS,
TI - QUALITY IMPROVEMENT OF WORKFLOW DIAGRAMS BASED ON PASSBACK FLOW CONSISTENCY
SN - 978-989-8111-38-8
AU - Takaki O.
AU - Seino T.
AU - Takeuti I.
AU - Izumi N.
AU - Takahashi K.
PY - 2008
SP - 351
EP - 359
DO - 10.5220/0001709703510359