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). This model augments our untimed model by introducing the notion of relative time in the form of delays chosen non-deterministically from a range. We illustrate the application by an example. We also show some properties ...

Over the past decade much attention has been devoted to the study of process calculi such as CCS Mil80, Mil89], ACP BK84, BK88] and CSP Hoa88] as the foundations of a mathematical model for nondeterminism and concurrency. Of particular interest has been the study of the behavioural semantics of these calculi as given by transition graphs arising from structural operational semantics in the trad...

In On the Expressiveness of CSP, Roscoe provides a construction that, given the operational semantics rules of a CSP-like language and a process in that language, constructs a strongly bisimilar CSP process. Unfortunately, the construction provided is difficult to use and the scripts that it produces cannot be compiled by the CSP model-checker, FDR. In this paper we adapt Roscoe’s simulation in...

The three classical process algebras CCS, CSP and ACP present several differences in their respective technical machinery. This is due, not only to the difference in their operators, but also to the terminology and “way of thinking” of the community which has been (and still is) working with them. In this paper we will first discuss such differences and try to clarify the different usage of ter...

Compensating CSP (cCSP) is an extension to CSP for modeling long-running transactions. It can be used to specify programs of service orchestration written in a programming language like WS-BPEL. So far, only an operational semantics and a trace semantics are given to cCSP. In this paper, we extend cCSP with more operators and define for it a stable failures semantics in order to reason about no...

Operational failures in healthcare can hinder employees, potentially decreasing both productivity and quality of care. At the same time, regulatory agencies, industry experts, and consumers increasingly demand that health care organizations learn from prior failures to prevent recurrence. Building on the notion that learning from operational failures requires an accurate understanding of their ...

It has recently been shown that both asynchrony and perfect synchrony are needed for the speciication of complex reactive systems and a paradigm called Communicating Reactive Processes (CRP) was proposed towards such a uniication. The paradigm consists of a network of perfectly synchronous nodes communicating asynchronously. This paper addresses the implementation issues of such paradigms and d...

Communicating Sequential Processes (CSP) has been widely applied to modeling and analyzing concurrent systems. There have been considerable efforts on enhancing CSP by taking data and other system aspects into account. For instance, CSPM combines CSP with a functional programming language whereas CSP# integrates high-level CSP-like process operators with low-level procedure code. Little work ha...

The three classical process algebras CCS, CSP and ACP present several differences in their respective technical machinery. This is due, not only to the difference in their operators, but also to the terminology and “way of thinking” of the community which has been (and still is) working with them. In this paper we will first discuss such differences and try to clarify the different usage of ter...