An intuitive formal approach to dynamic workflow modeling and analysis

Lecture Notes in Computer Science

Volumn 3649, Issue , 2005, Pages 137-152

  Wang, Jiacun ^a   Rosca, Daniela ^a   Tepfenhart, William ^a   Milewski, Allen ^a   Stoute, Michael ^b  

^a MONMOUTH UNIVERSITY   (United States)

^b Intellipro Inc   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; PROBLEM SOLVING; RESEARCH;

BUSINESS NEEDS; BUSINESS PROCESSES; DYNAMIC WORKFLOW; WORKFLOW MODELING;

INDUSTRIAL MANAGEMENT;

EID: 27144466481     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11538394_10     Document Type: Conference Paper

References (13)

1. N. R. Adam, V. Atluri and W. Huang, "Modeling and Analysis of Workflows Using Petri Nets", Journal of Intelligent Information Systems, pp. 131-158, March 1998.
2. P. C. Attie, M. P. Singh, A. Sheth and M. Rusibkiewicz, "Specifying Interdatabase Dependencies," Proceedings 19th International Conference on Very Large Database, pp.134-145, 1993.
3. P. Dourish, " Process Descriptions as Organizational Accounting Devices: The Dual use of Workflow Technologies", Paper presented at GROUP'01, (ACM), Sept. 30-Oct. 3, 2001, Boulder, Colorado, USA
4. P. Lawrence, editor, "Workflow Handbook 1997, Workflow Management Coalition", John Wiley and Sons, New York, 1997.
5. D.C. Marinescu, Internet-Based Workflow Management: Towards a Semantic Web, Wiley Series on Parallel and Distributed Computing, vol. 40, Wiley-Interscience, NY, 2002
6. D. Rosca, S. Greenspan, C. Wild, "Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle", Automated Software Engineering Journal, Kluwer Academic Publishers, vol.9, pp.361-404, 2002.
7. M.P. Singh, G. Meredith, C. Tomlinson, and P.C. Attie, "An Event Algebra for Specifying and Scheduling Workflows," Proceedings 4th International Conference on Database System for Advance Application, pp. 53-60, 1995.
8. W.M.P. van der Aalst, "Verification of Workflow Nets", Proceedings of Application and Theory of Petri Nets, Volume 1248 of Lecture Notes in Computer Science, pp. 407-426, 1997.
9. W.M.P. van der Aalst, "Three Good Reasons for Using a Petri Net-Based Workflow Management System", Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC'96), pp. 179-201, Nov 1996.
10. W.M.P. van der Aalst, A.H.M. ter Hofstede, and M. Weske, "Business Process Management: A Survey." International Conference on Business Process Management (BPM 2003), volume 2678 of Lecture Notes in Computer Science, pages 1-12. Springer-Verlag, Berlin, 2003.
11. J. Wang, Timed Petri Nets: Theory and Application, Kluwer Academic Publishers, 1998, ISBN: 0-7923-8270-6.
12. D. Wodtke and G. Weikum, "A Formal Foundation for Distributed Workflow Execution Based State Charts," Proceedings 18th International Conference on Database theory, 1997.
13. M.D. Zisman, "Representation, Specification and Automation of Office Procedures", PhD thesis, University of Pennsylvania, Warton School of Business, 1977.