參考文獻 |
[Aals96] 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, Camebridge, Massachusetts, 1996.
[Aals97]W.M.P. van der Aalst,” Verification of Workflow Nets,” Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pp. 7-426, pringer-Verlag, Berlin, 1997.
[Aals98]W.M.P. van der Aalst, “Modeling and Analysis Interorganizational Workflows,” Application of Concurrency to System Design, 1998.
[Armi94]J. W. Armitage, and M. I. Kellner, “A conceptual schema for process definitions and models,” Proceedings of Third International Conference on the Applying the Software Process, pp. 153 —165, 1994.
[Bocc99]A. Boccalatte, D. Giglio, M., ” A case tool for information system project and development,” IEEE SMC '99 Conference Proceedings. IEEE International Conference on Volume: 3, pp. 1042 -1047 vol.3, 1999.
[Booc94]Grady Booch, “Object Oriented Analysis and Design 2nd ed,” The Bejamin/Cummings Publishing Company Inc., California, 1994.
[Booc99]G. Booch, J. Rumbough, and I. Jacobson, “The Unified Modeling Language User Guide”, Addison-Wesley, 1999.
[Buss94]C. Bussler, and S. Jablonski, “An approach to ingrate workflow modeling and organization modeling in a enterprise,” Enabling Technologies: Infrastructure for Collaborative Enterprises, 1994.
[Carl98]Steinar carlsen, “Action port model: a mixed paragigm conceptual workflow modeling language,” In Proceedings. 3rd IFCIS International Conference 1998, pp. 300—309, 1998.
[Casa97]F. Casati, P. Grefen, B. Pernici, G. Pozzi, and G. Sánchez, “WIDE workflow model and architecture,” http://dis.sema.es/projects/WIDE/Documents, 1997.
[CCIT88]CCITT, “Specification and description language,” recommendation z.100, blue book, 1988.
[Covè98]C. Covès, D. Crestani, F. Prunet,” Design and analysis of workflow processes with Petri nets,” IEEE International Conference on Systems, Man, and Cybernetics, Volume: 1, pp. 101 -106, 1998.
[Das97]S. Das, K. Kochut, J. Miller, A. Sheth, and D. Worah, “ ORBWork: A Reliable Distributed CORBA-based Workflow Enactment System for METEOR_2,” Technical Report#UGA-CS-TR-97-001, Department of Computer Science, University of Georgia, 1997.
[Dica97]A. DiCaterino, K. Larsen, M. Tang, and W. Wnag, “An introduction to workflow management systems,” Models for Action Project Working Memo CTG.MFA-002, 1997.
[Ferr97]A. M. Ferraro, and E.H. Rogers, “Petri nets in the evaluation of collaborative systems,” IEEE International Conference on Computational Cybernetics and Simulation, Volume: 4, pp. 3918 —3923, 1997.
[Folh99]R. S. S. Filho, J. Wainer, E. R. M. Madeira, C Ellis, “CORBA based architecture for large scale workflow,” Autonomous Decentralized Systems, Integration of Heterogeneous Systems. Proceedings. The Fourth International Symposium on, pp.: 276 —283, 1999.
[Fowl98]M. Fowler, and K. Scoot, “UML Distilled: Applying the standard Object Modeling Language,” Addison-Wesley, 1998.
[Hare97]David Harel and Eran Gery, “Executable object modeling with statecharts,” IEEE Computer, pp. 31-42, 1997
[Huan98]Shou-Hsuan Stephen Huang, “Building business processes using a state transition model on World Wide Web,” Proceedings of IEEE Workshop on ASSET-98, pp.2-7, 1998.
[Jaco92]I. Jacobson, M. Christerson, P. Jonsson, G. Övergaard, “Object-Oriented Software Engineering,” Addison-Wesley, 1992.
[Jens91]K. Jensen and G. Rozenberg, “High-level Petri Nets: Theory and Application,” Springer-Verlag, 1991.
[Jens92]Kurt Jensen, “Coloured Petri Nets. Basic concepts, analysis methods and practical use,” EATCS monographs on Theoretical Computer Science, Springer-Verlag, Berlin, 1992.
[Joos94]Stef Joosten, “Trigger modeling for workflow analysis,” In Proc. CON’94 Workflow Management, pp236-247, 1994.
[Lawr97] P. Lawrence, Workflow Management Coalition, “Workflow Handbook 1997,” Wiley and Sons Ltd, New York, 1997.
[Lei97]Yu Lei and Munindar P. Singh, “A comparison of workflow metamodels,” http://osm7.cs.byu.edu/ER97/workshop4/ls.html, 1997
[Leve87]N. G. Leveson and J. L. Stolzy, “Safety Analysis Using Petri Nets,” IEEE Trans. on Software Engineering, vol. SE-13, no. 3, pp. 386-397, Mar. 1987.
[Leym94]Frank Leymann and Dieter Roller, “Business process management with flowmark”, In Proc. Of COMPCON Spring 1994 IEEE, 1994.
[Medi92]R. Medina-Mora, T. Winogard, R.Flores, and F. Flores, “The Action Workflow approach to workflow management technology,” In ACM, Proceedings of the Conference On Computer-Supported Cooperative Work, 1992.
[Merl76]P. M. Merlin and D. J. Farber, “Recoverability of Communication Protocols Implications of a Theoretical Study,” IEEE Trans. on Communication, vol. COM-24, no. 9, pp. 1036-1043, Sept. 1976.
[Mill96] J. A. Miller, A. P. Sheth, K. J. Kochut and X. Wang, “CORBA-Based Run-Time Architectures for Workflow Management Systems,” Journal of Database Management, Special Issue on Multidatabases, vol. 7, no. 1, pp. 16-27, 1996.
[Mull97]Pierre-Alain Muller, “Instant UML,” Wrox Press Ltd., 1997.
[Mura89] Tadao Murata, “Petri Nets: Properties, Analysis and Application,” Proceeding of IEEE, Vol.77 No.4 p.541-580, 1989.
[Odel94]James Odell, “Events and their Specification,” Journal of OO Programming, 1994.
[Ortn99]W. Ortner, and C. Stary, “Virtualization of organizations: consequences for workflow modeling,” Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, 1999.
[Pete81]James L. Peterson, “Petri net theory and the modeling of systems”, Central book company, Taiwan, 1981.
[Petr62]C. A. Petri, “Kommunikation mit Automation,” PhD thesis, Institut für intstrumentelle Mathematik, Boon, 1962.
[Rati97]Rational Software and UML partners, “UML Notation Guide,” http://www.rational.com/uml, 1997.
[Rati97]Rational Software and UML partners, “UML Summary,” http://www.rational.com/uml, 1997.
[Reis85]W. Reisig, “Petri Nets: a introduction,” monographs in Theoretical Computer Science: an EATCS series 4, Springer-Verlag, Berlin, 1985.
[Rumb91]J. Rumbaugh, M, Blaha, W. Premerlani, F. Eddy, W. Lorensen, “Object-Oriented Modeling and Design,” Englewood Cliffs, N.J.: Prentice-Hall, 1991.
[Sánc97]G. Sánchez, “The WIDE workflow model and language,” http://dis.sema.es/projects/WIDE/Documents, 1997.
[Suzu89]I. Suzuki and H. Lu, “Temporal Petri Nets and Their Application to Modeling and Analysis of a HandShake Daisy Chain Arbiter,“ IEEE Trans. on Computer, vol. 38, no. 5, pp. 696-704, May 1989.
[Veij95]J. Veijalanen, A. Lehtola, and O. Pihlajamaa, “Research Issues in Workflow Systems,” October 2,1995.
[Wata98]H. Watanabe, H. Tokuoka, W. Wu, M. Saeki,” A technique for analysing and testing object-oriented software using coloured Petri nets,” Proceedings. 1998 Asia Pacific, pp. 182 —190, 1998.
[WfMC95] WfMC Workflow management Coalition, “The Workflow Reference Model (WFMC-TC00-1003),” Technical report, Workflow Management Coalition, Hampshire HK, 1995.
[WfMC98] WfMC Workflow management Coalition, “Interface 1: Process Definition Interchange Process Model (WfMC -TC1016-P),” Technical report, Workflow Management Coalition, Hampshire HK, 1998.
[WfMC99]WfMC Workflow management Coalition, “Workflow Management Coalition Terminology and Glossary (WFMC-TC-1011),” Technical report, Workflow Management Coalition, Hampshire HK, 1999.
[Yang 98]S.J.H. Yang, C.C. Chen, J. Lee, and W.T. Huang, “NCUPN: A Petri Nets Modeling and Analysis Toolkit,” in OOTSIG98, pp. 31-36, Kaohsuing, Taiwan, NSC-88-2213-E-008-005, Sept. 1998.
[Yang99]S.J.H. Yang and C.C. Chen, “A Petri-nets-based Approach for Workflow and Process Automation,” in the International Journal of Artificial Intelligence Tools, vol. 8, no. 2, pp. 193-205, NSC-88-2213-E-008-005, 1999. |