Toggle Main Menu Toggle Search

Open Access padlockePrints

A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems

Lookup NU author(s): Dr Anirban Bhattacharyya, Dr Andrey Mokhov, Dr Ken Pierce

Downloads


Abstract

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.


Publication metadata

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


Share