|
List of Publications - Chun Ouyang
Journal Articles
- C. Ouyang, M. La Rosa, A.H.M. ter Hofstede, and K. Shortland. Towards Web-Scale Workflows for Film Production.
Accepted for publication in IEEE Internet Computing, Special Issue on Web-Scale Workflow Systems. IEEE Press. [Similar version available as a preprint here]
- C. Ouyang, M. Dumas, W.M.P. van der Aalst, A.H.M. ter Hofstede, and J. Mendling.
From Business Process Models to Process-oriented Software Systems.
Accepted for publication in ACM Transactions on Software Engineering and Methodology. ACM Press.
[Prelimilary version available as a preprint here]
- R. Dijkman, M. Dumas, and C. Ouyang.
Semantics and Analysis of Business Process Models in BPMN.
Accepted for publication in Information and Software Technology. Elsevier Science Publications.
[Similar version available as a preprint here]
- W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and H.M.W. Verbeek.
Conformance Checking of Service Behavior.
To appear in ACM Transactions on Internet Technology, Special Issue on Middleware for Service-Oriented Architectures. May 2008. ACM Press.
[Preliminary version available as a technical report here]
- C. Ouyang, M. Dumas, A.H.M. ter Hofstede, and W.M.P. van der Aalst.
Pattern-based Translation of BPMN Process Models to BPEL Services.
International Journal of Web Services Research 5(1):42-61, January-March 2008. Idea Group Publishing.
[Similar version available as a preprint here]
- C. Ouyang, H.M.W. Verbeek, W.M.P. van der Aalst, S. Breutel, M. Dumas, and A.H.M. ter Hofstede.
Formal Semantics and Analysis of Control Flow in WS-BPEL.
Science of Computer Programming 67(2-3):125-332, July 2007. Elsevier Science Publications.
[Preprint with technical appendix available here]
Book Chapter
Conference, Workshop, and Demo Papers
- C. Ouyang, A.H.M. ter Hofstede, M. La Rosa, M. Rosemann, K. Shortland, and D. Court.
Camera, Set, Action: Automating Film Production via Business Process Management.
Accepted for publication in Proceedings of the CCI Conference on Creating Value: Between Commerce and Commons.
The ARC Centre of Excellence for the Creative Industries and Innovation. Brisbane, June 2008.
[PDF]
- 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.
[PDF]
- 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.
[PDF]
- 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.
[PDF]
- G.E. Gallasch, C. Ouyang, J. Billington, and L.M. Kristensen.
Experimenting with Progress Mappings for the Sweep-line Analysis of the Internet Open Trading Protocol.
In Proceedings of the 5th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pages 19-38, Arhus, Denmark, October 2004.
DAIMI-PB 570, University of Aarhus.
[PDF]
- 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.
[PDF]
- C. Ouyang and J. Billington.
An Improved Formal Specification of the Internet Open Trading Protocol.
In Proceedings of the 2004 ACM Symposium on Applied Computing, pages 779-783, Nicosia, Cyprus, March 2004.
ACM Press.
[DOI]
- 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.
A Formal Service Specification for the Internet Open Trading Protocol.
In Proceedings of 23rd International Conference on Application and Theory of Petri Nets (ICATPN), Adelaide, Australia, June 2002.
Volume 2360 of Lecture Notes in Computer Science, pages 352-373, Springer-Verlag.
[PDF]
- C. Ouyang, L.M. Kristensen, and J. Billington.
An Improved Architectural Specification of the Internet Open Trading Protocol.
In Proceedings of the 3rd Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pages 119-137, Arhus, Denmark, 2001.
DAIMI PB-554, University of Aarhus.
[PDF]
- 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 (those that do not overlap with the above ones)
- N. Lohmann, H.M.W. Verbeek, C. Ouyang, C. Stahl, and W.M.P. van der Aalst.
Comparing and Evaluating Petri Net Semantics for BPEL.
Computer Science Report 07/23, Technische Universiteit Eindhoven, The Netherlands, August 2007.
[PDF]
- K. Wang, M. Dumas, and C. Ouyang.
Specification and Analysis of Adapters for Conversational Services.
QUT Preprint 12448, QUT ePrint, 2007.
[PDF]
- 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.
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
|