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

Mohammad Reza Nami and Seyed Naser Hashemi

International Journal of Networking and Virtual Organisations, 2010, vol. 7, issue 6, 505-513

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. (search for similar items in EconPapers)
Date: 2010
References: Add references at CitEc
Citations:

Downloads: (external link)
http://www.inderscience.com/link.php?id=35402 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:ids:ijnvor:v:7:y:2010:i:6:p:505-513

Access Statistics for this article

More articles in International Journal of Networking and Virtual Organisations from Inderscience Enterprises Ltd
Bibliographic data for series maintained by Sarah Parker ().