Towards an Autonomic Element Architecture for ASSL
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Towards an ASSL specification model for NASA swarm-based exploration missions
Proceedings of the 2008 ACM symposium on Applied computing
An Evaluation Study of the Effectiveness of Modeling NASA Swarm-Based Exploration Missions with ASSL
ATC '08 Proceedings of the 5th international conference on Autonomic and Trusted Computing
An ASSL-generated architecture for autonomic systems
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Autonomic specification of self-protection for distributed MARF with ASSL
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
A formal framework for compositional verification of organic computing systems
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
A fault model centered modeling framework for self-healing computing systems
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part II
Autonomic nature-inspired eco-systems
Transactions on Computational Science XV
| Hi-index | 0.00 |
This article is an overview of the Autonomic System Specification Language (ASSL). ASSL is a framework for formally specifying and generating autonomic systems. The latter are specified as formal executable models with an interaction protocol and autonomic elements. We explain in detail the architecture of the ASSL framework and demonstrate how to specify autonomic systems. In this paper, we do not talk about syntax and semantic aspects of ASSL, since these are going to be tackled by our ongoing research and described in other papers.