Abstract :
The following topics are dealt with: distributed autonomicity; decentralized autonomicity; virtualized environment; mobile application; formal specification; model checking; linear temporal logic; self-testable autonomic software; adaptive role based model; bioinspired design pattern; and self-organizing emergent system.
Keywords :
distributed processing; formal specification; formal verification; program testing; temporal logic; adaptive role based model; bioinspired design pattern; decentralized autonomicity; distributed autonomicity; formal specification; linear temporal logic; mobile application; model checking; self-organizing emergent system; self-testable autonomic software; virtualized environment;
Conference_Titel :
Engineering of Autonomic and Autonomous Systems (EASe), 2011 8th IEEE International Conference and Workshops on
Conference_Location :
Las Vegas, NV
Print_ISBN :
978-1-4577-0309-6
DOI :
10.1109/EASe.2011.1
