Verifying Business Process Compatibility by Wong, P, Gibbons, J

“…We describe a process-algebraic approach to verifying process interactions for business collaboration described in Business Process Modelling Notation. We first overview our process semantics for BPMN in the language of Communicating Sequential Processes; we then use a simple example of business collaboration to demonstrate how our semantic model may be used to verify compatibility between business participants in a collaboration.…”

Verifying Business Process Compatibility by Wong, P, Gibbons, J

“…We describe a process-algebraic approach to verifying process interactions for business collaboration described in Business Process Modelling Notation. We first overview our process semantics for BPMN in the language of Communicating Sequential Processes; we then use a simple example of business collaboration to demonstrate how our semantic model may be used to verify compatibility between business participants in a collaboration. © 2008 IEEE.…”

Verifying Business Process Compatibility by Wong, P, Gibbons, J

“…We describe a process-algebraic approach to verifying process interactions for business collaboration described in Business Process Modelling Notation. We first overview our process semantics for BPMN in the language of Communicating Sequential Processes; we then use a simple example of business collaboration to demonstrate how our semantic model may be used to verify compatibility between business participants in a collaboration, and we also discuss some theoretical results.…”

Formalisations and applications of business process modelling notation by Wong, P

“…<p>Business Process Modelling Notation (BPMN) is a standardised diagram notation for modelling interactive workflow processes graphically at the design stage. …”

Formalisations and Applications of Business Process Modelling Notation by Wong, P

A Process Semantics for BPMN by Wong, P, Gibbons, J

“…Business Process Modelling Notation (BPMN), developed by the Business Process Management Initiative (BPMI), intends to bridge the gap between business process design and implementation. …”

A Process Semantics for BPMN by Wong, P, Gibbons, J

“…Business Process Modelling Notation (BPMN), developed by the Business Process Management Initiative (BPMI), intends to bridge the gap between business process design and implementation. …”

A Process Semantics for BPMN by Wong, P, Gibbons, J

“…Business Process Modelling Notation (BPMN), developed by the Business Process Management Initiative (BPMI), intends to bridge the gap between business process design and implementation. …”

Property Specifications for Workflow Modelling by Wong, P, Gibbons, J

“…Previously we provided two formal behavioural semantics for the Business Process Modelling Notation (BPMN) in the process algebra CSP. …”

Property specifications for workflow modelling by Wong, P, Gibbons, J

“…Previously we provided two formal behavioural semantics for the Business Process Modelling Notation (BPMN) in the process algebra CSP. …”

A Relative Timed Semantics for BPMN by Wong, P, Gibbons, J

“…We describe a relative-timed semantic model for Business Process Modelling Notation (BPMN). We define the semantics in the language of Communicating Sequential Processes (CSP). …”

A Relative Timed Semantics for BPMN by Wong, P, Gibbons, J

“…We describe a relative-timed semantic model for Business Process Modelling Notation (BPMN). We define the semantics in the language of Communicating Sequential Processes (CSP). …”

A Relative Timed Semantics for BPMN by Wong, P, Gibbons, J, Wong, P, Gibbons, J

“…We describe a relative-timed semantic model for Business Process Modelling Notation (BPMN). We define the semantics in the language of Communicating Sequential Processes (CSP). …”

On specifying and visualising long-running empirical studies by Wong, P, Gibbons, J

“…We also describe a bidirectional transformation between OWorkflow and a subset of Business Process Modelling Notation (BPMN), by which graphical specification, simulation, automation and formalisation are made possible.…”

A Process−Algebraic Approach to Workflow Specification and Refinement by Wong, P, Gibbons, J

“…s control flow workflow patterns, and illustrates behavioural specification and refinement of workflow systems with a business process scenario.…”

A Process−Algebraic Approach to Workflow Specification and Refinement by Wong, P, Gibbons, J

“…s control flow workflow patterns, and illustrates behavioural specification and refinement of workflow systems with a business process scenario.…”

A process-algebraic approach to workflow specification and refinement by Wong, P, Gibbons, J

“…s control flow workflow patterns, and illustrates behavioural specification and refinement of workflow systems with a business process scenario. © Springer-Verlag Berlin Heidelberg 2007.…”

Towards A Unified Model for Workflow Processes by Wong, P

“…s twenty control flow workflow patterns. A business process scenario, focusing on orchestration and choreography, is examined. …”

Property Specifications for Workflow Modelling by Wong, P, Gibbons, J

“…Previously we provided two formal behavioural semantics for Business Process Modelling Notation (BPMN) in the process algebra CSP. …”

On Specifying and Visualising Long−Running Empirical Studies. by Wong, P, Gibbons, J

“…We also describe a bidirectional transformation between <em>OWorkflow</em> and Business Process Modelling Notation (BPMN) diagrams, by which graphical specification, simulation, automation and formalisation are made possible.…”