ASSL - Autonomic System Specification Language

@article{Vassev2007ASSLA,
  title={ASSL - Autonomic System Specification Language},
  author={Emil Vassev and Joey Paquet},
  journal={31st IEEE Software Engineering Workshop (SEW 2007)},
  year={2007},
  pages={300-309}
}
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… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 27 CITATIONS

A Self-Scheduling Model for NASA Swarm-Based Exploration Missions Using ASSL

  • Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems (ease 2008)
  • 2008
VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions

  • 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops
  • 2008
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Towards Autonomic GIPSY

  • Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems (ease 2008)
  • 2008
VIEW 8 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Towards an Autonomic Element Architecture for ASSL

  • International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '07)
  • 2007
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Autonomic control architecture for avionics software of unmanned space vehicles

  • 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC)
  • 2014
VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 18 REFERENCES

The Vision of Autonomic Computing

VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Utilising the event calculus for policy driven adaptation on mobile systems

  • Proceedings Third International Workshop on Policies for Distributed Systems and Networks
  • 2002
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

An overview of JML tools and applications

L. Burdy
  • International Journal on Software Tools for Technology Transfer,
  • 2005
VIEW 1 EXCERPT

Research challenges of autonomic computing

  • Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.
  • 2005
VIEW 2 EXCERPTS