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