Generating Business Process Models from Object Behavior Models

References

• Aalst , W. M. P. , van der , Barthelmess , P. , Ellis , C. A. and Wainer , J. 2001 . Proclets: A Framework for Lightweight Interacting Workflow Processes . International Journal of Cooperative Information Systems , 10 ( 4 ) : 443 – 481 .
   Google Scholar
• Aalst , W. M. P. , der , van and Hofstede , A. H. M. ter. 2005 . YAWL: Yet Another Workflow Language . Information Systems , 30 ( 4 ) : 245 – 275 .
   Google Scholar
• Aalst , W. M. P. , van der , Medeiros , A. K. A. de and Weijters , A. J. M. M. 2005 . “ Genetic Process Mining ” . In Applications and Theory of Petri Nets, 26th International Conference, ICATPN 2005 , 48 – 69 . Miami, FL : Springer .
   Google Scholar
• Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., et al.(2003). Business Process Execution Language for Web Services, Version 1.1. Available from: http://dev2dev.bea.com/webservices/BPEL4WS.html
   Google Scholar
• Becker , J. , Kugeler , M. and Rosemann , M. 2003 . Process Management , Secaucus, NJ : Springer-Verlag, New York, Inc .
   Google Scholar
• Bhattacharya , K. , Gerede , C. , Hull , R. , Liu , R. and Su , J. 2007 . “ Towards Formal Analysis of Artifact-Centric Business Process Models ” . In Proceedings of the 5th International Conference on Business Process Management (BPM) , 288 – 304 . Brisbane, Australia : Springer .
   Google Scholar
• Booch , G. , Rumbaugh , J. and Jacobson , I. 1998 . The Unified Modeling Language User Guide , Boston, MA : Addison-Wesley Professional .
   Google Scholar
• Dongen , B. F. van , Medeiros , A. K. A. de , Verbeek , H. M. W. , Weijters , A. J. M. M. and Aalst , W. M. P. van der. 2005 . “ The ProM Framework: A New Era in Process Mining Tool Support ” . In 26th International Conference on Applications and Theory of Petri Nets (ICATPN) , 444 – 454 . Miami, FL : Springer .
   Google Scholar
• Halpin , T. 2001 . Information modeling and relational databases: from conceptual analysis to logical design , San Francisco, Inc, CA : Morgan Kaufmann Publishers .
   Google Scholar
• IBM Corporation. (2005). Business State Machines. Retrieved October 3, 2007 from http://publib.boulder.ibm.com/infocenter/dmndhelp/v6rxm/topic/com.ibm.wbit.help.ae.ui.doc/topics/cundstat.html
   Google Scholar
• Kueng , P. , Bichler , P. , Kawalek , P. and Schrefl , M. 1996 . How to compose an object-oriented business process model? . Proceedings of IFIP TC8, WG8.1/8.2 working conference on method engineering . 1996 , London, UK. pp. 94 – 110 . Chapman & Hall, Ltd .
   Google Scholar
• Küster , J. M. , Ryndina , K. and Gall , H. 2007 . “ Generation of Business Process Models for Object Life Cycle Compliance ” . In Proceedings of the 5th International Conference on Business Process Management (BPM) , 165 – 181 . Brisbane, Australia : Springer .
   Google Scholar
• Murata , T. 1989 . Petri nets: Properties, analysis and applications . Proceedings of the IEEE (invited paper) , 77 ( 4 ) : 541 – 580 .
   Web of Science ®Google Scholar
• Nigam , A. and Caswell , N. S. 2003 . Business artifacts: An approach to operational specification . IBM Systems Journal , 42 ( 3 ) : 428 – 445 .
   Google Scholar
• Object Management Group. (2006). Business Process Modelling Notation, Ver 1.0. Retrieved March 13, 2006 from http://www.bpmn.org
   Google Scholar
• Redding , G. , Dumas , M. , Hofstede , A.H.M. ter. and Iordachescu , A. 2008 . “ Transforming Object-oriented Models to Process-oriented Models ” . In Business Process Management Workshops – Proceedings of the International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws , Edited by: Arthur H. M. ter , Hofstede , Boualem , Benatallah and Paik , Hye-Yong . Vol. 4928 , Brisbane, Australia : Springer .
   Google Scholar
• Reijers , H. A. , Limam , S. , Aalst , W. M. P. and der , van . 2003 . Product-Based Workflow Design . Journal of Management Information Systems , 20 ( 1 ) : 229 – 262 .
   Google Scholar
• FlowConnect Pty. Ltd. (2003). FlowConnect Model. Retrieved May 1, 2006 from http://www.flowconnect.com.au
   Google Scholar
• Snoeck , M. , Poelmans , S. and Dedene , G. 2000 . “ An architecture for bridging OO and business process modelling ” . In 33rd International Conference on Technology of Object-Oriented Languages (TOOLS) , 132 – 143 . Mont-Saint-Michel, France : IEEE Computer Society .
   Google Scholar
• Wirtz , G. , Weske , M. and Giese , H. 2001 . The OCoN Approach to Workflow Modeling in Object-Oriented Systems . Information Systems Frontiers , 3 ( 3 ) : 357 – 376 .
   Google Scholar
• Wynn , M. T.K. 2006 . Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins , Brisbane, , Australia : Doctoral dissertation, Queensland University of Technology .
   Google Scholar