Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Formal Approach to Autonomic Systems Programming: The SCEL Language

A Formal Approach to Autonomic Systems Programming: The SCEL Language A Formal Approach to Autonomic Systems Programming: The SCEL Language ROCCO DE NICOLA, IMT Institute for Advanced Studies Lucca ` MICHELE LORETI and ROSARIO PUGLIESE, Universita degli Studi di Firenze FRANCESCO TIEZZI, IMT Institute for Advanced Studies Lucca The autonomic computing paradigm has been proposed to cope with size, complexity, and dynamism of contemporary software-intensive systems. The challenge for language designers is to devise appropriate abstractions and linguistic primitives to deal with the large dimension of systems and with their need to adapt to the changes of the working environment and to the evolving requirements. We propose a set of programming abstractions that permit us to represent behaviors, knowledge, and aggregations according to specific policies and to support programming context-awareness, self-awareness, and adaptation. Based on these abstractions, we define SCEL (Software Component Ensemble Language), a kernel language whose solid semantic foundations lay also the basis for formal reasoning on autonomic systems behavior. To show expressiveness and effectiveness of SCEL's design, we present a Java implementation of the proposed abstractions and show how it can be exploited for programming a robotics scenario that is used as a running example for describing the features and potential of our approach. Categories http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Autonomous and Adaptive Systems (TAAS) Association for Computing Machinery

Loading next page...
 
/lp/association-for-computing-machinery/a-formal-approach-to-autonomic-systems-programming-the-scel-language-TDPrU8ADcM
Publisher
Association for Computing Machinery
Copyright
Copyright © 2014 by ACM Inc.
ISSN
1556-4665
DOI
10.1145/2619998
Publisher site
See Article on Publisher Site

Abstract

A Formal Approach to Autonomic Systems Programming: The SCEL Language ROCCO DE NICOLA, IMT Institute for Advanced Studies Lucca ` MICHELE LORETI and ROSARIO PUGLIESE, Universita degli Studi di Firenze FRANCESCO TIEZZI, IMT Institute for Advanced Studies Lucca The autonomic computing paradigm has been proposed to cope with size, complexity, and dynamism of contemporary software-intensive systems. The challenge for language designers is to devise appropriate abstractions and linguistic primitives to deal with the large dimension of systems and with their need to adapt to the changes of the working environment and to the evolving requirements. We propose a set of programming abstractions that permit us to represent behaviors, knowledge, and aggregations according to specific policies and to support programming context-awareness, self-awareness, and adaptation. Based on these abstractions, we define SCEL (Software Component Ensemble Language), a kernel language whose solid semantic foundations lay also the basis for formal reasoning on autonomic systems behavior. To show expressiveness and effectiveness of SCEL's design, we present a Java implementation of the proposed abstractions and show how it can be exploited for programming a robotics scenario that is used as a running example for describing the features and potential of our approach. Categories

Journal

ACM Transactions on Autonomous and Adaptive Systems (TAAS)Association for Computing Machinery

Published: Jul 1, 2014

There are no references for this article.