Peter Wong: Publications

[1]	Formalisations and Applications of BPMN Peter Y.H. Wong, Jeremy Gibbons Science of Computer Programming, September 2009. Special issue on FOCLASA 2008. Details \| BibTeX \| DOI (10.1016/j.scico.2009.09.010)

[2]	Property Specifications for Workflow Modelling Peter Y.H. Wong, Jeremy Gibbons 2009. Extended version. Submitted for publication. Details \| BibTeX

[3]

Property Specifications for Workflow Modelling

Peter Y.H. Wong, Jeremy Gibbons

In Proceedings of 7th International Conference on Integrated Formal Methods Vol. 5423 of LNCS. February 2009.

Invited for special issue in Science of Computer Programming. Technical report version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/psp.pdf

Details | BibTeX | DOI (10.1007/978-3-642-00255-7_5)

[4]

A Process Semantics for BPMN

Peter Y.H. Wong, Jeremy Gibbons

In Proceedings of 10th International Conference on Formal Engineering Methods. Vol. 5256 of LNCS. October 2008.

Extended version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmnsem.pdf.

Details | BibTeX | DOI (10.1007/978-3-540-88194-0_22)

[5]	A Process-Algebraic Approach to Workflow Specification and Refinement Peter Y. H. Wong, Jeremy Gibbons In Proceedings of 6th International Symposium on Software Composition Vol. 4829 of LNCS. March 2007. Details \| BibTeX \| Link (pdf) \| DOI (10.1007/978-3-540-77351-1_5)

[6]

A Relative Timed Semantics for BPMN

Peter Y.H. Wong, Jeremy Gibbons

In Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures. Vol. 229 of ENTCS. July 2008.

Invited for special issue in Science of Computer Programming. A shorter version of this paper was presented at the 3rd European Young Researchers Workshop on Service Oriented Computing, London, United Kingdom, June 2008. Extended version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmntime.pdf.

Details | BibTeX | Link (pdf) | DOI (10.1016/j.entcs.2009.06.029)

[7]	An Investigation in Energy Consumption Analyses and Application-Level Prediction Techniques Peter Y. H. Wong Master's Thesis. University of Warwick, United Kingdom. February 2006. Details \| BibTeX \| Link (pdf)

[8]	Bytecode Monitoring of Java Programs Peter Y. H. Wong July 2003. Bachelor Final Year Project Report. Details \| BibTeX \| Link (pdf)

[9]	CRL: A Context-aware Request Language for Mobile Computing Alvin T.S. Chan, Peter Y.H. Wong and Siu Nam Chuang In Proceedings of 2nd International Symposium on Parallel and Distributed Processing and Applications Vol. 3358 of LNCS. Hong Kong, China. December 2004. Details \| BibTeX \| Link (pdf)

[10]	Formalisations and Applications of Business Process Modelling Notation Peter Y. H. Wong 2008. Confirmation of Status Report. Details \| BibTeX

[11]

On Specifying and Visualising Long-Running Empirical Studies.

Peter Y.H. Wong, Jeremy Gibbons

In Proceedings of 1st International Conference on Model Transformation (Theory and Practice of Model Transformations) Vol. 5063 of LNCS. July 2008.

Extended version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/transext.pdf.

Details | BibTeX | Link (pdf) | DOI (10.1007/978-3-540-69927-9_6)

[12]	Towards A Unified Model for Workflow Processes Peter Y. H. Wong In 1st Service-Oriented Software Research Network (SOSoRNet) Workshop Manchester, United Kingdom. June 2006. Details \| BibTeX \| Link (pdf)

[13]	Towards BPM-based Support for Clinical Trials Peter Y.H. Wong 2007. Transfer Dissertation. Details \| BibTeX

[14]

Verifying Business Process Compatibility

Peter Y.H. Wong, Jeremy Gibbons

In Proceedings of 8th International Conference on Quality Software. pages 126-131. IEEE Computer Society, August 2008.

Preliminary versions were presented at 3rd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems and 2nd European Young Researchers Workshop on Service Oriented Computing, June 2007.

Details | BibTeX | Link (pdf) | DOI (10.1109/QSIC.2008.6)