Browse by author
Lookup NU author(s): Dr Anirban Bhattacharyya, Dr Andrey Mokhov, Dr Ken Pierce
This paper uses a case study to evaluate three formalisms of different kinds for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems. The reconfiguration of an office workflow for order processing is described. The requirements on the workflow's reconfiguration and general reconfiguration requirements are defined. The workflow is modelled using the Vienna Development Method (VDM), conditional partial order graphs (CPOGs), and the basic Calculus of Communicating Systems for dynamic process reconfiguration (basic CCSdp), and verification of the requirements is attempted using the models. The formalisms are evaluated according to their ability to model the reconfiguration, to verify the workflow's reconfiguration requirements, and to meet the general reconfiguration requirements.
Author(s): Bhattacharyya A, Mokhov A, Pierce K
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2015
Pages: 33
Print publication date: 01/04/2015
Acceptance date: 01/01/1900
Report Number: 1462
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1462.pdf
