A Formal Approach to Workflow Analysis

References

• van der Aalst W. M. P.A class of Petri nets for modeling and analyzing business processes (1995) (Eindhoven University of Technology). Computing Science Reports 95/26Google Scholar
• Barua A., Sophie Lee C. H., Whinston A. B. The calculus of reengineering. Inform. Systems Res. (1996) 7(4):409–428Link, Google Scholar
• Basu A., Blanning R. W. Metagraphs and Petri nets in model management. Proc. Workshop Inform. Tech. Systems (1992) 64–73Google Scholar
• Basu A. Metagraphs: A tool for modeling decision support systems. Management Sci. (1994a) 40(12):1579–1600Link, Google Scholar
• Basu A. Model integration using metagraphs. Inform. Systems Res. (1994b) 5(3):195–218Link, Google Scholar
• Basu A.A metagraph-based DSS analysis workbench (1996) II.Proc. Twenty-Ninth Hawaii Internat. Conf. System Sci.(January(Maui, HI)386–395Crossref, Google Scholar
• Basu A.Metagraph transformations and workflow analysis (1997) IV.Proc. Thirtieth Hawaii Internat. Conf. System Sci.(January(Maui, HI)359–366Crossref, Google Scholar
• Basu A. The analysis of assumptions in model bases using metagraphs. Management Sci. (1998) 44(7):982–995Link, Google Scholar
• Basu A. Shtub. Metagraphs in hierarchical modeling. Management Sci. (1997) 43(5):623–639Link, Google Scholar
• Berge C.Graphs (1985) 2nd ed.(North-Holland, Amsterdam. The Netherlands)Google Scholar
• Berge C.Hypergraphs: Combinations of Finite Sets (1989) (North-Holland, Amsterdam. The Netherlands)Google Scholar
• Booch G., Rumbaugh J., Jacobson I.The Unified Modeling Language Reference Manual (1998) (Addison-Wesley, New York) Google Scholar
• Curtis B., Kellner M. I., Over J. Process modeling. Comm ACM (1992) 35(9):75–90Crossref, Google Scholar
• Datta A., Basu A.Workflow analysis: A transaction oriented approach (1997) (Owen Graduate School of Management, Vanderbilt University, TN) . Working paperGoogle Scholar
• Datamation Datamation's feature summary: High-end workflow. Datamation (1995) 41(15Google Scholar
• Davenport T. H.Process Innovation: Reengineering Work Through Information Technology (1993) (Harvard Business School Press, Boston, MA) Google Scholar
• Georgakopoulos D., Hornick M., Sheth A. An overview of workflow management: From process modeling to work flow automation infrastructure. Distributed and Parallel Databases (1995) 3:119–153Crossref, Google Scholar
• Hammer M.Beyond Reengineering (1996) (Harper Business, New York) Google Scholar
• Hammer M., Champy J.Reengineering the Corporation: A Manifesto for Business Revolution (1993) (Harper Business, New York) Google Scholar
• Harel D. Statecharts: A visual formalism for complex systems. Sci Comput. Programming. (1987) 8:231–274Crossref, Google Scholar
• Harel D., Naamad A., Pneuli A., Politi M., Sherman R., ShtullTauring A.STATEMATE: A working environment for the development of complex, reactive systems (1988) Proc. Tenth IEEE Internat. Conf. Software Engrg.(Singapore)Google Scholar
• Jensen K. Colored petri nets: Basic concepts, analysis methods and practical uses. EATCS Monographs on Theoretical Comput. Sci. (1992) (Springer-Verlag, Berlin, Germany) Google Scholar
• Khoshafian S., Buckiewicz M.Introduction to Groupware, Workflow, and Workgroup Computing (1995) (Wiley, New York) 207–258Google Scholar
• Koulopoulos T. M.The Workflow Imperative (1995) (van Nostrand Reinhold, New York) Google Scholar
• Kwan M. Millie, Balasubramanian P. R.Dynamic workflow management: A framework for modeling workflows (1997) IVProc. Thirtieth Hawaii Internat. Conf. System Sci.(January(Maui, HI)367–376Crossref, Google Scholar
• Marschak R. T., Coleman D., Khanna R. Workflow: Applying automation to group processes. Groupware: Technologies and Applications (1995) (Prentice-Hall, Upper Saddle River, NJ) 71–77Google Scholar
• Mohan C., Agrawal D., Alonso G., El Abbadi A., Guenther R., Kamath M. Exotica: A project on advanced transaction management and workflow systems. SIGOIS Bull. Special Issue: Bus. Process Reeingrg (1995) 16(1):45–50Crossref, Google Scholar
• Morschheuser S., Raufer H., Wargitsch C.Challenges and solutions of document and workflow management in a manufacturing enterprise: A case study (1996) VProc. Twenty-Ninth Ann. Hawaii Internat. Conf. System Sci.(January(HI)4–12Crossref, Google Scholar
• Murata T. Petri nets: Properties, analysis and applications. Proc. IEEE (1989) 77(4):541–580Crossref, Google Scholar
• Poyssick G., Hannaford S.Work flow Reengineering (1996) (Adobe Press, Mountain View, CA) Google Scholar
• Silver B., Fischer L. Automating the business environment. The Work flow Paradigm (1995) 2nd ed.(Future Strategies, Lighthouse Point) 173–195also Appendix C: “Vendor Directory,” 315-342Google Scholar
• Swenson K. D., Fischer L. Workflow management standards and interoperability. The Workflow Paradigm (1995) 2nd ed.(Future Strategies, Lighthouse Point) 25–36Google Scholar
• Thomson V. J., Browne J., O'Sullivan D. Process monitoring for continuous improvement. Reengineering the Enterprise (1995) (Chapman and Hall, London, UK) Crossref, Google Scholar
• WFMCWorkflow reference model (1994) (Workflow Management Coalition, Brussels, Belgium) . Technical ReportGoogle Scholar