Peter Wong : Publications
Journal papers
-
[1]
Formalisations and Applications of BPMN
Peter Y.H. Wong and Jeremy Gibbons
In Science of Computer Programming. Vol. 76. Pages 633−650. 2011.
Special issue on FOCLASA 2008
Details about Formalisations and Applications of BPMN | BibTeX data for Formalisations and Applications of BPMN | DOI (10.1016/j.scico.2009.09.010) | Download (pdf) of Formalisations and Applications of BPMN
-
[2]
Property Specifications for Workflow Modelling
Peter Y.H. Wong and Jeremy Gibbons
In Science of Computer Programming. 2010.
Extended version. To appear.
Details about Property Specifications for Workflow Modelling | BibTeX data for Property Specifications for Workflow Modelling | DOI (10.1016/j.scico.2010.09.007)
Conference papers
-
[1]
Property Specifications for Workflow Modelling
Peter Y.H. Wong and 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 about Property Specifications for Workflow Modelling | BibTeX data for Property Specifications for Workflow Modelling | DOI (10.1007/978-3-642-00255-7_5)
-
[2]
Verifying Business Process Compatibility
Peter Y.H. Wong and 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 about Verifying Business Process Compatibility | BibTeX data for Verifying Business Process Compatibility | DOI (10.1109/QSIC.2008.6) | Download (pdf) of Verifying Business Process Compatibility
-
[3]
A Relative Timed Semantics for BPMN
Peter Y.H. Wong and 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 about A Relative Timed Semantics for BPMN | BibTeX data for A Relative Timed Semantics for BPMN | DOI (10.1016/j.entcs.2009.06.029) | Download (pdf) of A Relative Timed Semantics for BPMN
-
[4]
On Specifying and Visualising Long−Running Empirical Studies
Peter Y.H. Wong and 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 about On Specifying and Visualising Long−Running Empirical Studies | BibTeX data for On Specifying and Visualising Long−Running Empirical Studies | DOI (10.1007/978-3-540-69927-9_6) | Download (pdf) of On Specifying and Visualising Long−Running Empirical Studies
-
[5]
A Process Semantics for BPMN
Peter Y.H. Wong and 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 about A Process Semantics for BPMN | BibTeX data for A Process Semantics for BPMN | DOI (10.1007/978-3-540-88194-0_22)
-
[6]
A Process−Algebraic Approach to Workflow Specification and Refinement
Peter Y. H. Wong and Jeremy Gibbons
In Proceedings of 6th International Symposium on Software Composition. Vol. 4829 of LNCS. March, 2007.
Details about A Process−Algebraic Approach to Workflow Specification and Refinement | BibTeX data for A Process−Algebraic Approach to Workflow Specification and Refinement | DOI (10.1007/978-3-540-77351-1_5) | Download (pdf) of A Process−Algebraic Approach to Workflow Specification and Refinement
-
[7]
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 about Towards A Unified Model for Workflow Processes | BibTeX data for Towards A Unified Model for Workflow Processes | Download (pdf) of Towards A Unified Model for Workflow Processes
-
[8]
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 about CRL: A Context−aware Request Language for Mobile Computing | BibTeX data for CRL: A Context−aware Request Language for Mobile Computing | Download (pdf) of CRL: A Context−aware Request Language for Mobile Computing
Theses
-
[1]
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 about An Investigation in Energy Consumption Analyses and Application−Level Prediction Techniques | BibTeX data for An Investigation in Energy Consumption Analyses and Application−Level Prediction Techniques | Download (pdf) of An Investigation in Energy Consumption Analyses and Application−Level Prediction Techniques
Miscellaneous
-
[1]
Formalisations and Applications of Business Process Modelling Notation
Peter Y. H. Wong
2008.
Confirmation of Status Report
Details about Formalisations and Applications of Business Process Modelling Notation | BibTeX data for Formalisations and Applications of Business Process Modelling Notation
-
[2]
Towards BPM−based Support for Clinical Trials
Peter Y.H. Wong
2007.
Transfer Dissertation.
Details about Towards BPM−based Support for Clinical Trials | BibTeX data for Towards BPM−based Support for Clinical Trials