Investigating a new formal model for autonomous virtual organisation using RAISE method
Mohammad Nami, Seyed Naser Hashemi · International Journal of Networking and Virtual Organisations · 2010
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.