Combining process modelling methods

This source preferred by Keith Phalp

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

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

Journal: Information and Software Technology

Volume: 39

Pages: 107-124

ISSN: 0950-5849

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

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.

This data was imported from DBLP:

Authors: Abeysinghe, G. and Phalp, K.

Journal: Information & Software Technology

Volume: 39

Pages: 107-124

This data was imported from Scopus:

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

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.

The data on this page was last updated at 05:09 on July 20, 2018.