Peter Wong
|
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
My doctoral research was concerned with the application of the Z notation and the process algebra CSP (or Communicating Sequential Processes) to develop a compositional approach to the specification, verification and refinement of workflow (business) processes. The research work was due to the project Choreographing Complex Services, which was part of the CancerGrid consortium. My doctoral study was financially supported by a studentship under the Microsoft Research Grant from CancerGrid.
Biography
This page is out of date. I have completed my doctorate in 2011 and am now a research software engineer at Fredhopper working on the EU FP7 project HATS. Please see my personal Web Page for more detail
Links
Teaching
Model Checking BPMN
Personal Page
Roles
BPMN 2009 , Programme Committee
International Workshop on BPMN
EUC 2009 , Programme Committee
IFIP International Conference on Embedded and Ubiquitous Computing
Software and Systems Modeling, Reviewer
Selected Publications
| 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 |
| 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 |
| 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. |
Info
|
Themes |
|
|
Completed Projects |
|
|
Supervisor |
|
