Detecting data flow errors in workflows: A systematic graph traversal approach

WITS 2007 - Proceedings, 17th Annual Workshop on Information Technologies and Systems

Volumn , Issue , 2007, Pages 133-139

  Sundari, M Hema ^a   Sen, Anup K ^a   Bagchi, Amitava ^b  

^a INDIAN INSTITUTE OF MANAGEMENT CALCUTTA   (India)

^b INDIAN INSTITUTE OF SCIENCE EDUCATION AND RESEARCH KOLKATA   (India)

Author keywords

Corresponding pair; Data flow algorithms; Lost data; Missing data; Redundant data

Indexed keywords

ALGORITHMS; CONCURRENCY CONTROL; DATA TRANSFER; ERRORS; INFORMATION TECHNOLOGY;

CORRESPONDING PAIR; DATA FLOW; LOST DATA; MISSING DATA; REDUNDANT DATA;

SYSTEMATIC ERRORS;

EID: 84900425732     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. Aalst W van der and Hee K van (2002), Workflow Management: Models, Methods and Systems, The MIT Press
2. Basu A and Blanning R W (2000), A formal approach to workflow analysis, ISR, 11 (1), pp. 17-36
3. Bi H H and Zhao J L (2004), Applying propositional logic to workflow verification, Jr Info Tech & Mngt: Spec Issue on Workflow and e-Business, 5 (3-4), pp. 293-318
4. Booch G, Rumbaugh J, Jacobson I (1999), The UML User Guide, Addison Wesley
5. Liu R. and Kumar A (2005), An analysis and taxonomy of unstructured workflows, BPM 2005, LNCS 3649, Springer-Verlag, pp. 268-284 (Pubitemid 41490768)
6. OMG, Business Process Modeling Notation Specification (2006), BPMN 1.0
7. Sadiq W and Orlowska M E (2000), Analyzing process models using graph reduction techniques, Information Systems, 25 (2), pp. 117-134
8. Sadiq S, Orlowska M, Sadiq W and Foulger C (2004) Data flow and validation in workflow modeling, Proc 15th Australasian Database Conf, Jan.18-22, pp. 207-214
9. Sun Sherry X, Zhao L, Nunamaker J and Sheng O (2006), Formulating the data flow perspective for business process management, ISR, 17 (4), pp. 374-391
10. Wang J and Kumar A (2005), A framework for document-driven workflow systems, BPM 2005, LNCS, 3649, Springer Verlag, pp. 285-301 (Pubitemid 41490769)
11. Y. Choi and J.L. Zhao (2002), Matrix-based abstraction and verification for e-Business processes, Proc 1st Workshop on e-Business, Dec 14-15, Barcelona, pp. 154-165