Workflow models and their formal descriptions

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 26, Issue 11, 2003, Pages 1456-1463

  Li, Hong Chen ^a,b   Shi, Mei Lin ^a  

^a TSINGHUA UNIVERSITY   (China)

^b HENAN UNIVERSITY   (China)

Author keywords

Workflow management system; Workflow meta model; Workflow model

Indexed keywords

DATA FLOW ANALYSIS; MANAGEMENT; MATHEMATICAL MODELS; THREE DIMENSIONAL;

BUSINESS PROCESS; THREE DIMENSIONAL WORKFLOW MODEL; WORKFLOW MANAGEMENT SYSTEM; WORKFLOW META MODEL; WORKFLOW MODEL;

COMPUTER NETWORKS;

EID: 1542362264     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (19)

1. WfMC. Workflow Management Coalition: The Workflow Reference Model. TCOO-1003, 1995. 1. http://www.wfmc.org
2. OMG. Workflow Management Facility Specification, Version 1.2, 2000. 4. http://www.omg.org
3. WfMC. Workflow Management Coalition Interfacel: Process Definition Interchange Process Model. WFMC-TC-1016-P, Version 1.1, 1999. 10. http://www.wfmc.org
4. Sadiq W, Orlowska M. Analyzing process models using graph reduction techniques. Information Systems, 2000, 25(2): 117-134
5. Ellis C, Nutt G J. Modeling and enactment of workflow system. In: Proceedings of the 14th International Conference on Application and Theory of Petri Nets, Chicago, 1993. 1-16
6. van der Aalst W M P. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 1998, 8(1): 21-66
7. Salimifard K, Wright M. Petri net-based modeling of workflow systems: An overview. European Journal of Operational Research, 2001, 134(3): 664-676
8. Endl R, Knolmayer G, Pfahrer M. Modeling processes and workflows by business rules. In: Proceedings of the 1st European Workshop on Workflow and Process Management, Zurich, Switzerland, 1998. 47-56
9. Davulcu H, Kifer M, Ramakrishnan C, Ramakrishnan I. Logic based modeling and analysis of workflows. In: Proceedings of the ACM Symposium in PODS'98, Seattle, USA, 1998. 25-33
10. Haake J, Wang W. Flexible support for business processes: Extending cooperative hypermedia with process support. In: Proceedings of ACM SIGGroup'97, Arizona, USA, 1997. 341-350
11. Medina-Mora R, Winograd T, Flores R, Flores F. The action workflow approach to workflow management technology. In: Proceedings of CSCW'92, Toronto, Canada, 1992. 281-288
12. Arpinar I, Halici U, Arpinar S, Dogac A. Formalization of workflows and correctness issues in the presence of concurrency. Distributed and Parallel Database, 1999, 7(2): 199-248
13. Vossen G, Weske M. The WASA2 object-oriented workflow management system. In: Proceedings of ACM SIGMOD'99, Philadelphia, PA, USA, 1999. 587-589
14. Glance N, Pagani D, Pareschi R. Generalized process structure grammars (GPSG) for flexible representations of work. In: Proceedings of CSCW'96, Cambridge, MA, USA, 1996. 180-189
15. Bajaj A, Ram S. SEAM: A state-entity-activity-model for a well-defined workflow development methodology. IEEE Transactions on Knowledge and Data Engineering, 2002, 14(2): 415-431
16. Sanchez G. The WIDE workflow model and language. Deliverable D5.1.2, ESPRIT Project 20280. http://dis.sema.es/projects/WIDE/Documents/4080-2.pdf, 1997
17. Kradolfer M. A workflow metamodel supporting dynamic, reuse-based model evolution [Ph D dissertation]. Department of Information Technology, University of Zurich, Switzerland, 2000
18. WfMC. Workflow Management Coalition: Terminology and Glossary. WFMC-TC-1011, 1999. 2. http://www.wfmc.org
19. Li H. On workflow-based CSCW platforms [Ph D dissertation]. Department of Computer Science and Technology, Tsinghua University, China, 2001