Abstract | ||
---|---|---|
In this paper a cybernetics-based viable system architectural model is introduced, which provides a blueprint for high-assurance systems and a meta-control model necessary for the adjustable deliberation and autonomy of self-managing systems. The logical formalism is provided by the Situation Calculus and underpinned by an Enhanced Belief-Desires-Intentions (EBDI) framework to facilitate the representation and reasoning of scaleable autonomic computing systems. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1109/ECBS.2005.16 | Greenbelt, MD, USA |
Keywords | Field | DocType |
system architecture,software architecture,autonomic computing,software systems,computer architecture,complex system,logic,system engineering,calculus,situation calculus,cybernetics,predictive models,management system,software design | Deliberation,Autonomic computing,Situation calculus,Software engineering,Systems engineering,Computer science,Blueprint,Formalism (philosophy),Software architecture,Architectural model,Cybernetics | Conference |
ISBN | Citations | PageRank |
0-7695-2308-0 | 11 | 0.74 |
References | Authors | |
16 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Martin Randles | 1 | 27 | 5.26 |
A. Taleb-Bendiab | 2 | 383 | 48.64 |
Philip Miseldine | 3 | 122 | 7.56 |
A. Laws | 4 | 25 | 3.50 |