List of Publications

[Some of my publications are available from QUT ePrints archives. Some citations to my work can be found on Google Scholar.]

Journal Articles

  • W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and H.M.W. Verbeek. Conformance Checking of Service Behavior. ACM Transactions on Internet Technology 8(3): Article No. 13, May 2008. ACM Press.

Book Chapters

  • C. Ouyang, M. Adams, M.T. Wynn, and A.H.M. ter Hofstede. Workflow Management: An Overview. In J. vom Brocke and M. Rosemann (Editors): International Handbook on Business Process Management. Springer, 2010 (In Press).
  • C. Ouyang. YAWL4Film. In A.H.M. ter Hofstede, W.M.P. van der Aalst, M. Adams, and N. Russell (Editors): Modern Business Process Management: YAWL. Springer, 2010.
  • C. Ouyang, M. Dumas, and P. Wohed. The Business Process Execution Language. In A.H.M. ter Hofstede, W.M.P. van der Aalst, M. Adams, and N. Russell (Editors): Modern Business Process Management: YAWL. Springer, 2010.
  • C. Ouyang, M. Adams, and A.H.M. ter Hofstede. Yet Another Workflow Language: Concepts, Tool Support and Application. In J. Cardoso and W.M.P. van der Aalst (Editors): Handbook of Research on Business Process Modeling. Information Science Reference (IGI Global), April 2009, ISBN 978-1-60566-288-6.
  • C. Ouyang, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and M. La Rosa. Service-Oriented Processes: An Introduction to BPEL. In J. Cardoso (Editor): Semantic Web Services: Theory, Tools and Applications. Information Science Reference (IGI Global), March 2007, ISBN 978-1-59904-045-5.

Conference, Workshop, and Demo Papers

  • S. Suriadi, C. Ouyang, J. Smith, E. Foo. Modeling and Verification of Privacy Enhancing Protocols. In Proceedings of the 11th International Conference on Formal Engineering Methods (ICFEM), Rio de Janeiro, December 2009. Volume 5885 of Lecture Notes in Computer Science, pages 127-146, Springer Verlag.
  • K. Wang, M. Dumas, C. Ouyang, and J. Vayssiere. The Service Adaptation Machine. In Proceedings of the 6th European Conference on Web Services, pages 145-154, Dublin, Ireland, 12-14 November 2008.
  • C. Ouyang, W. M.P. van der Aalst, M. Dumas, and A. H.M. ter Hofstede. From BPMN Process Models to BPEL Web Services. In Proceedings of the 4th International Conference on Web Services (ICWS), pages 285-292, Chicago IL, USA, September 2006. IEEE Computer Society.
  • C. Ouyang, M. Dumas, S. Breutel, and A. H.M. ter Hofstede. Translating Standard Process Models to BPEL. In Proceedings of the 18th International Conference on Advanced Information Systems Engineering (CAiSE), Luxembourg, June 2006. Volume 4001 of Lecture Notes in Computer Science, pages 417-432, Springer Verlag.
  • C. Ouyang, H.M.W. Verbeek, W.M.P. van der Aalst, S. Breutel, M. Dumas, and A.H.M. ter Hofstede. WofBPEL: A Tool for Automated Analysis of BPEL Processes. In Proceedings of the 3rd International Conference on Service-Oriented Computing (ICSOC) (Demo Session), Amsterdam, The Netherlands, December 2005. Volume 3826 of Lecture Notes in Computer Science, pages 484-489, Springer Verlag.
  • C. Ouyang and J. Billington. Formal Analysis of the Internet Open Trading Protocol. In Proceedings of the Formal Techniques for Networked and Distributed Systems (FORTE) 2004 Workshops on Applying Formal Method: Testing, Performance and M/E-Commerce, Toledo, Spain, October 2004. Volume 3236 of Lecture Notes in Computer Science, pages 1-15, Springer-Verlag.
  • C. Ouyang and J. Billington. On Verifying the Internet Open Trading Protocol. In Proceedings of the 4th International Conference on Electronic Commerce and Web Technologies (EC-WEB), Prague, Czech Republic, September 2003. Volume 2738 of Lecture Notes in Computer Science, pages 292-302, Springer-Verlag.
  • C. Ouyang, L.M. Kristensen, and J. Billington. A Formal and Executable Specification of the Internet Open Trading Protocol. In Proceedings of the 3rd International Conference on E-Commerce and Web Technologies (EC-WEB), Aix-en-Provence, France, September 2002. Volume 2455 of Lecture Notes in Computer Science, pages 377-387, Springer-Verlag.
  • C. Ouyang, L.M. Kristensen, and J. Billington. Towards Modelling and Analysis of the Internet Open Trading Protocol transactions using Coloured Petri Nets. In Proceedings of the 11th Annual International Symposium of the International Council on Systems Engineering (INCOSE), Melbourne, Australia, July 2001. ICSE Press.

Technial Reports

(Here list those that do not overlap with the above ones)
  • J. Freiheit, C. Ouyang, and J. Billington. An Initial Step towards the Transformation of Ada Structure Graphs and Process Structure Charts to Coloured Petri Net Models. CSEC report series, CSEC-16, Computer Systems Engineering Centre, School of Electrical Information Engineering, University of South Australia, 2004.

PhD Thesis

  • C. Ouyang. Formal Specification and Verification of the Internet Open Trading Protocol using Coloured Petri Nets. PhD thesis, University of South Australia, 2004.

Application Document/White Paper