The representation, analysis and verification of business processes: A metagraph-based approach

Information Technology and Management

Volumn 8, Issue 1, 2007, Pages 65-81

  Mukherjee, Arindam ^a   Sen, Anup Kumar ^a   Bagchi, Amitava ^a  

^a INDIAN INSTITUTE OF MANAGEMENT CALCUTTA   (India)

Author keywords

AND OR graph; Deadlock; Join; Lack of synchronization; Split; Workflow

Indexed keywords

EID: 33947162048     PISSN: 1385951X     EISSN: 15737667     Source Type: Journal    
DOI: 10.1007/s10799-006-0004-4     Document Type: Article

References (18)

1. W. van der Aalst, and K.van Hee, Workflow Management: Models, Methods and Systems (The MIT Press, 2002).
2. A. Basu, R.W. Blanning, A formal approach to workflow analysis. Information Systems Research 11(1) (2000) 17-36.
3. A. Basu, R.W. Blanning, Metagraphs in workflow support systems. Decision Support Systems 25(3) (1999) 199-208.
4. A. Basu, R.W. Blanning, Metagraphs: A tool for modeling decision support systems. Management Science 40(12) (1994) 1579-1600.
5. C. Bettini, X. Wang, S. Jajodia, Temporal reasoning in workflow systems. Distributed and Parallel Databases 11(3) (2002) 269-306.
6. H.H. Bi, J.L. Zhao, Applying propositional logic to workflow verification. Journal of Information Technology and Management, Special Issue on Workflows and E-Business (2004)
7. G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language User Guide (Addison Wesley, 1999)
8. B. Curtis, M.I. Kellner, J. Over, Process modeling. Comm ACM 35(9) (1992) 75-90.
9. E. Deborin, J. Basral, Continuous Business Process Management with HOLOSOFX BPM Suite and IBM MQSeries Workflow (IBM Corporation 2002)
10. R. Liu, A. Kumar, An analysis and taxonomy of unstructured workflows, BPM 2005, Lecture Notes in Computer Science, Vol. 3649 (Springer Verlag, 2005)
11. A. Mukherjee, A.K. Sen, A. Bagchi, Information analysis in workflows represented as task - precedence metagraphs. Proc WITS-2004 (Workshop on Info Tech and Systems, Seattle 32-37, 2004)
12. A. Mukherjee, Selected Issues on Workflow Representation, Analysis and Verification, Fellow Programme Thesis, Indian Institute of Management Calcutta (2005)
13. N.J. Nilsson, Principles of Artificial Intelligence (Tioga Press, 1980)
14. J. Pearl, Heuristics: Intelligent Search Strategies for Computer Problem Solving, Addison Wesley (1984)
15. W. Sadiq, M.E. Orlowska, Analyzing process models using graph reduction techniques. Information Systems 25(2) (2000) 117-134.
16. P. Sinnakkrishnan, A. Mahanti, A simple and efficient technique for verifying workflow graphs, in: WfMC Workflow Handbook, L. Fischer (ed.) (Future Strategies, 2005), pp. 233-256
17. WfMC, Terminology and Glossary, Technical Report, TC-1011 (Workflow Management Coalition, Hampshire, UK, 1999)
18. J. Wang, A. Kumar, A framework for document-driven workflow systems, BPM 2005, Lecture Notes in Computer Science, Vol. 3649 (Springer Verlag, 2005).