Welcome to the InfoSci Platform
Theoretical and Practical Aspects of Developing Autonomic Systems with ASSL

Theoretical and Practical Aspects of Developing Autonomic Systems with ASSL

Emil Vassev
Copyright: © 2012 |Pages: 27
ISBN13: 9781609608453|ISBN10: 1609608453|EISBN13: 9781609608460
DOI: 10.4018/978-1-60960-845-3.ch002
Cite Chapter Cite Chapter

MLA

Vassev, Emil. "Theoretical and Practical Aspects of Developing Autonomic Systems with ASSL." Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification, edited by Phan Cong-Vinh, IGI Global, 2012, pp. 38-64. https://doi.org/10.4018/978-1-60960-845-3.ch002

APA

Vassev, E. (2012). Theoretical and Practical Aspects of Developing Autonomic Systems with ASSL. In P. Cong-Vinh (Ed.), Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification (pp. 38-64). IGI Global. https://doi.org/10.4018/978-1-60960-845-3.ch002

Chicago

Vassev, Emil. "Theoretical and Practical Aspects of Developing Autonomic Systems with ASSL." In Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification, edited by Phan Cong-Vinh, 38-64. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-60960-845-3.ch002

Export Reference

Mendeley
Favorite

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.