Paper Info
Title
An Empirical Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems.
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 CCSdp), 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.
Year
DOI
Venue
2017
10.1007/s00165-016-0405-z
Formal Asp. Comput.
Keywords
DocType
Volume
Dynamic software reconfiguration, Workflow case study, Reconfiguration requirements, Formal methods, VDM, Conditional partial order graphs, Basic CCSdp
Journal
abs/1609.08531
Issue
ISSN
Citations 
2
1433-299X
0
PageRank 
References 
Authors
0.34
34
3
Name
Order
Citations
PageRank
Anirban Bhattacharyya1425.31
Andrey Mokhov213626.57
Ken G. Pierce3406.01