Choreographing Complex Services : 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 | BibTeX | DOI (10.1016/j.scico.2009.09.010)

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

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 | BibTeX | DOI (10.1007/978-3-540-77351-1_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 | BibTeX | DOI (10.1007/978-3-540-88194-0_22)

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 | BibTeX | DOI (10.1016/j.entcs.2009.06.029)

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 | BibTeX | DOI (10.1007/978-3-540-69927-9_6)

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 | BibTeX | DOI (10.1109/QSIC.2008.6)

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 | BibTeX | DOI (10.1007/978-3-642-00255-7_5)

Towards BPM−based Support for Clinical Trials

Peter Y.H. Wong

2007.

Transfer Dissertation.

Details | BibTeX

Formalisations and Applications of Business Process Modelling Notation

Peter Y. H. Wong

2008.

Confirmation of Status Report

Details | BibTeX