ASSL - Autonomic System Specification Language: A Framework for Specification and Code Generation of Autonomic Systems - Tapa blanda

Vassev, Emil

 
9783838313832: ASSL - Autonomic System Specification Language: A Framework for Specification and Code Generation of Autonomic Systems
Tapa blanda
ISBN 10: 3838313836 ISBN 13: 9783838313832
Editorial: LAP LAMBERT Academic Publishing, 2009

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

Biografía del autor

Dr. Vassev received his M.Sc. in Computer Science (2005) and his Ph.D. in Computer Science (2008) from Concordia University, Montreal, Canada. His research interests include engineering autonomic systems, distributed computing, formal methods, software engineering, programming languages and compilers.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
LAP LAMBERT Academic Publishing
Año de publicación
2009
Idioma
Inglés
ISBN 10 
3838313836
ISBN 13 
9783838313832
Encuadernación
Tapa blanda
Número de páginas
324
Contacto del fabricante
no disponible
Persona responsable
no disponible