An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems-Reference-Cited by-同舟云学术

An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems

Published:2017-03 Issue:2 Volume:29 Page:251-307
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Bhattacharyya Anirban¹,Mokhov Andrey²,Pierce Ken¹

Affiliation:

1. School of Computing Science, Newcastle University, Claremont Tower, Claremont Road, NE1 7RU, Newcastle upon Tyne, UK

2. School of Electrical and Electronic Engineering, Newcastle University, Merz Court, NE1 7RU, Newcastle upon Tyne, UK

Abstract

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.

Funder

Newcastle University

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s00165-016-0405-z.pdf

Reference101 articles.

1. Dynamic adaptation with distributed control in Paradigm

2. Agerholm S Lecoeur P-J Reichert E (1998) Formal specification and validation at work: a case study using VDM-SL. In: Proceedings of the second workshop on formal methods in software practice FMSP ’98 pp 78–84 New York NY USA ACM

3. Aguirre N Maibaum T (2002) A temporal logic approach to the specification of reconfigurable component-based systems. In: Proceedings of the 17th IEEE international conference on automated software engineering pp 271–274

4. Adaptive Service Composition in Flexible Processes

5. Almeida JPA Wegdam M van Sinderen M Nieuwenhuis L (2001) Transparent dynamic reconfiguration for CORBA. In: Proceedings of the 3rd international symposium on distributed objects and applications pp 197–207

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Defining a Precipitation Stable Isotope Framework in the Wider Carpathian Region;Water;2022-08-18

2. Tracing the Relationship between Precipitation and River Water in the Northern Carpathians Base on the Evaluation of Water Isotope Data;Geosciences;2019-05-02

3. Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems;IEEE Access;2018

4. Distributed Reconfigurable B approach for the specification and verification of B-based distributed reconfigurable control systems;Advances in Mechanical Engineering;2017-11