ePrints

An empirical 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

• Published version [.pdf]

Licence

This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).

Abstract

This paper uses a case study to evaluate empirically three formalisms of different kinds for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems. The requirements on an ideal formalism for dynamic software reconfiguration are defined. The reconfiguration of an office workflow for order processing is described, and the requirements on the reconfiguration of the workflow 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 CCS^dp), and verification of the reconfiguration requirements is attempted using the models. The formalisms are evaluated according to their ability to model the reconfiguration of the workflow, to verify the requirements on the workflow's reconfiguration, and to meet the requirements on an ideal formalism.

Publication metadata

Author(s): Bhattacharyya A, Mokhov A, Pierce K

Publication type: Article

Publication status: Published

Journal: Formal Aspects of Computing

Year: 2017

Volume: 29

Issue: 2

Pages: 251-307

Print publication date: 01/03/2017

Online publication date: 20/01/2017

Acceptance date: 07/09/2016

Date deposited: 23/01/2017

ISSN (print): 0934-5043

ISSN (electronic): 1433-299X

Publisher: Springer

URL: http://dx.doi.org/10.1007/s00165-016-0405-z

DOI: 10.1007/s00165-016-0405-z

Altmetrics

Funding

Share