Combining process modelling methods

Authors: Abeysinghe, G. and Phalp, K.

Journal: Information and Software Technology

Volume: 39

Issue: 2

Pages: 107-124

ISSN: 0950-5849

DOI: 10.1016/S0950-5849(96)01126-3

Abstract:

This paper examines two modelling paradigms, namely Hoare's Communicating Sequential Processes (CSP) and a subset of Role Activity Diagrams (RADs) and shows how they can be combined to give a new approach to process modelling. We examine the two notations by reference to processes from two different business domains. For each domain, we transform a RAD model (by way of methodical mapping) to arrive at an equivalent formal CSP model. The latter is then explored using a stepper, which allows for process simulation by executing the model. The paper suggests that by providing a mapping between these notations we gain the accessibility of a well understood user-facing modelling paradigm, (RADs), whilst retaining the formality of CSP. This provides us not only with the advantages of understandable user-facing models, for process elicitation and presentation, but also gives us the ability to experiment with (by process simulation) the effects of process change.

Source: Scopus

Combining process modelling methods

Authors: Abeysinghe, G. and Phalp, K.

Journal: INFORMATION AND SOFTWARE TECHNOLOGY

Volume: 39

Issue: 2

Pages: 107-124

ISSN: 0950-5849

DOI: 10.1016/S0950-5849(96)01126-3

Source: Web of Science (Lite)

Combining process modelling methods

Authors: Abeysinghe, G.A. and Phalp, K.T.

Journal: Information and Software Technology

Volume: 39

Pages: 107-124

ISSN: 0950-5849

DOI: 10.1016/S0950-5849(96)01126-3

Abstract:

This paper examines two modelling paradigms, namely Hoare's Communicating Sequential Processes (CSP) and a subset of Role Activity Diagrams (RADs) and shows how they can be combined to give a new approach to process modelling. We examine the two notations by reference to processes from two different business domains. For each domain, we transform a RAD model (by way of methodical mapping) to arrive at an equivalent formal CSP model. The latter is then explored using a stepper, which allows for process simulation by executing the model. The paper suggests that by providing a mapping between these notations we gain the accessibility of a well understood user-facing modelling paradigm, (RADs), whilst retaining the formality of CSP. This provides us not only with the advantages of understandable user-facing models, for process elicitation and presentation, but also gives us the ability to experiment with (by process simulation) the effects of process change.

http://www.elsevier.com/locate/infsof

Source: Manual

Preferred by: Keith Phalp

Combining process modelling methods.

Authors: Abeysinghe, G. and Phalp, K.

Journal: Inf. Softw. Technol.

Volume: 39

Pages: 107-124

DOI: 10.1016/S0950-5849(96)01126-3

Source: DBLP