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.…”

OWL 2 QL for Business Processes: Statement of Interest by Calvanese, D, Kharlamov, E, Montali, M, Zheleznyakov, D

Robust decision pipelines: opportunities and challenges for AI in business process modelling by Kwiatkowska, M

Business process development based on Web Services: A web information system for medical image management and processing by de Castro, V, Sanz, M, Marcos, E, Soc, I

“…Innovation in technologies such as XML. and Web Services, has led to an interest in business processes. Consequently, several languages for the execution of business processes have been created Nevertheless, as these languages cannot be used in the early stages of the development process of Web information systems (WIS), it is necessary to include methodologies that allow the systems analysts to understand the business process as well as to model the services composition. …”

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. …”

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). …”

Service composition modeling: A case study by de Castro, V, Marcos, E, Sanz, M

“…In the last years the innovation in technologies such as XML, Web Services and component-based development has motivated the interest in business processes. For this reason various languages for design and implementation of business processes such as Business Process Execution Language for Web Services (BPEL) have arisen. …”

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.…”

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.…”