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

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.

[1]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[2]  Mohammad Reza Nami,et al.  A Survey of Autonomic Computing Systems , 2007 .

[3]  Anne Elisabeth Haxthausen,et al.  The Raise Specification Language , 1992 .

[4]  Jim Woodcock,et al.  Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.

[5]  Anthony Hall.  Using Formal Methods to Develop an ATC Information System , 1996, IEEE Softw..

[6]  Jeffrey O. Kephart,et al.  An architectural approach to autonomic computing , 2004 .

[7]  Richard Murch,et al.  Autonomic Computing , 2004 .

[8]  C. Michael Holloway.  Epistemology, software engineering and formal methods , 1994 .

[9]  Hartmut Ehrig,et al.  ACT ONE - An Algebraic Specification Language with two Levels of Semantics , 1983, ADT.

[10]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[11]  Dines Bjørner.  Domain Engineering: A Software Engineering Discipline in Need of Research , 2000, SOFSEM.

[12]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[13]  Dines Bjørner,et al.  Software Engineering 3 - Domains, Requirements, and Software Design , 2006, Texts in Theoretical Computer Science. An EATCS Series.

[14]  Dan Craigen,et al.  Observations on industrial practice using formal methods , 1993, Proceedings of 1993 15th International Conference on Software Engineering.

[15]  Dines Bjørner,et al.  Pinnacles of software engineering: 25 years of formal methods , 2000, Ann. Softw. Eng..