Peter Wong

Peter Yung Ho Wong

Doctoral Student

Student, Wolfson College

Leaving date: 20th October 2011

Themes:

• Data, Knowledge and Action

Completed Projects:

• Choreographing Complex Services
• CancerGrid

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

Roles

View All

• ACM Transactions on Software Engineering and Methodology
  Reviewer
• IEEE Transaction on Software Engineering
  External Reviewer
• Science of Computer Programming
  External Reviewer

See also

• Teaching
• Model Checking BPMN
• Personal Page

Selected Publications

View AllManage 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

  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

• 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)

• 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)

Activities

• Software Engineering

Supervisor