Theoretical and Practical Aspects of Developing Autonomic Systems with ASSL

Theoretical and Practical Aspects of Developing Autonomic Systems with ASSL

Emil Vassev (Lero at University College Dublin, Ireland)
DOI: 10.4018/978-1-60960-845-3.ch002

Abstract

ASSL (Autonomic System Specification Language) is an initiative for self-management of complex systems whereby the problem of formal specification, validation, and code generation of autonomic systems is approached within a framework. Being a formal method dedicated to autonomic computing, ASSL helps developers with problem formation, system design, system analysis and evaluation, and system implementation. The framework provides a powerful formal notation and suitable mature tool support that allow ASSL specifications to be edited and validated and Java code to be generated from any valid specification. As part of the framework’s proof-of-concept strategy, ASSL has been used to make a variety of existing and prospective systems autonomic. This entry presents the ASSL formal specification model and tools. Moreover, two case studies are presented to reveal practical aspects of using ASSL for the development of prototypes of prospective space exploration systems incorporating autonomic features.
Chapter Preview
Top

2. Assl

Initially developed at Concordia University, Montreal, Canada, the Autonomic System Specification Language (ASSL) (Vassev, 2008), (Vassev, 2009), (Vassev & Hinchey, 2009) is a domain-specific formal tool whereby the problem of formal specification, validation, and code generation of ASs is approached within a framework. Being a formal method dedicated to AC, ASSL helps AC researchers with problem formation, system design, system analysis and evaluation, and system implementation. The framework provides a powerful formal notation and suitable mature tool support that allow ASSL specifications to be edited and validated and Java code to be generated from any valid specification.

Complete Chapter List

Search this Book:
Reset