ASSL - Autonomic System Specification Language
- 1 March 2007
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 15506215,p. 300-309
- https://doi.org/10.1109/sew.2007.59
Abstract
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.Keywords
This publication has 7 references indexed in Scilit:
- A General Architecture for Demand Migration in a Demand-Driven Execution Engine in a Heterogeneous and Distributed EnvironmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- An overview of JML tools and applicationsInternational Journal on Software Tools for Technology Transfer, 2004
- Utility functions in autonomic systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- The vision of autonomic computingComputer, 2003
- Continuous Engineering of Information and Communication InfrastructuresPublished by Springer Nature ,1999
- Recovery in distributed systems using asynchronous message logging and checkpointingPublished by Association for Computing Machinery (ACM) ,1988
- A logic-based calculus of eventsNew Generation Computing, 1986