
ASSL - Autonomic System Specification Language
A Framework for Specification and Code Generation of Autonomic Systems
Emil Vassev(Author)
LAP Lambert Academic Publishing
Published on 3. September 2009
Book
Paperback/Softback
324 pages
978-3-8383-1383-2 (ISBN)
Description
Autonomic computing is an emerging field for developing complex large-scale systems by transforming them into self-managing autonomic systems intrinsically intended to reduce complexity through automation. However, the very complexity inherent in many systems that lend themselves well to autonomic computing can often cause difficulty in designing those same autonomic systems. This emphasizes the need for a specification language that allows for modeling and validation of such systems. This book approaches the problem of formal specification and code generation of autonomic systems within a framework. The core of this framework is ASSL (Autonomic System Specification Language). ASSL implies a multi-tier structure for specifying autonomic systems and targets at the generation of operational implementation from an ASSL specification.
More details
Language
English
Place of publication
Germany
Product notice
Paperback (trade)
Unsewn / adhesive bound
Dimensions
Height: 220 mm
Width: 150 mm
Thickness: 21 mm
Weight
500 gr
ISBN-13
978-3-8383-1383-2 (9783838313832)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Person
Dr. Vassev received his M.Sc. in Computer Science (2005) and hisPh.D. in Computer Science (2008) from Concordia University,Montreal, Canada. His research interests include engineeringautonomic systems, distributed computing, formal methods,software engineering, programming languages and compilers.