Title: Investigating a new formal model for autonomous virtual organisation using RAISE method

Authors: Mohammad Reza Nami, Seyed Naser Hashemi

Addresses: Faculty of Electrical, Computer, and IT Engineering, Islamic Azad University, Qazvin Branch, Iran. ' Faculty of Mathematics and Computer Science, Amirkabir University, Tehran, Iran

Abstract: To develop software in safety-critical systems, formal methods have been served in first phase of new software engineering. The increasing complexity, cost and heterogeneity of distributed computing systems have motivated researchers to investigate autonomic computing in order to cope with the management of their complexity. Autonomic Elements (AEs) are the basic building blocks of autonomic systems. Their interactions produce self-managing behaviour. This paper presents a formal model for increasing reliability in an AE using Rigorous Approach to Industrial Software Engineering (RAISE) Specification Language or RSL. The formal formula presented in this paper can be extended to other issues of autonomic computing systems.

Keywords: autonomic computing; autonomic elements; formal method; formal specification; safety-critical systems; reliability; software engineering; autonomous virtual organisations.

DOI: 10.1504/IJNVO.2010.035402

International Journal of Networking and Virtual Organisations, 2010 Vol.7 No.6, pp.505 - 513

Published online: 30 Sep 2010 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article