P
Peter Y. H. Wong
Researcher at University of Oxford
Publications - 32
Citations - 838
Peter Y. H. Wong is an academic researcher from University of Oxford. The author has contributed to research in topics: Business Process Model and Notation & XPDL. The author has an hindex of 15, co-authored 32 publications receiving 810 citations. Previous affiliations of Peter Y. H. Wong include Hong Kong Polytechnic University.
Papers
More filters
Book ChapterDOI
A Process Semantics for BPMN
Peter Y. H. Wong,Jeremy Gibbons +1 more
TL;DR: This paper shows how a subset of the BPMN can be given a process semantics in Communicating Sequential Processes, which allows developers to formally analyse and compare BPMn diagrams.
Journal ArticleDOI
Formalisations and applications of BPMN
Peter Y. H. Wong,Jeremy Gibbons +1 more
TL;DR: This work introduces a semantic model for BPMN in the process algebra CSP, and studies an augmentation of this model in which relative timing information is introduced, allowing one to specify timing constraints on concurrent activities.
Journal ArticleDOI
A Relative Timed Semantics for BPMN
Peter Y. H. Wong,Jeremy Gibbons +1 more
TL;DR: A relative-timed semantic model for Business Process Modelling Notation that augments the untimed model by introducing the notion of relative time in the form of delays chosen non-deterministically from a range is described.
Book ChapterDOI
A process-algebraic approach to workflow specification and refinement
Peter Y. H. Wong,Jeremy Gibbons +1 more
TL;DR: In this paper, a process-algebraic approach to specification and refinement of workflow processes is described, where both specification and implementation of workflows are modeled as CSP processes and their respective refinement relations not only enable proving correctness properties of an individual workflow process against its behavioural specification but also allow to design and develop workflow processes compositionally.
Journal ArticleDOI
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
Elvira Albert,Frank S. de Boer,Reiner Hähnle,Einar Broch Johnsen,Rudolf Schlatte,S. Lizeth Tapia Tarifa,Peter Y. H. Wong +6 more
TL;DR: This case study demonstrates by a case study of an industrial distributed system how performance, resource consumption, and deployment on the cloud can be formally modeled and analyzed using the abstract behavioral specification language Real-Time ABS.