SCEL: Service Component Ensemble Language 

SCEL is a new language for modelling autonomic service components and their ensembles that we are designing within the EU project ASCENS. SCEL brings together various programming abstractions that permit directly representing Aggregations, Behaviors and Knowledge according to specific Policies and to naturally program interaction, adaptation and self- and context-awareness.

The abstractions relative to Aggregations describe how different entities are brought together to form components, systems and, possibly, ensembles. The abstractions relative to Behaviors describe how components progress. The abstractions relative to Knowledge describe how knowledge is represented and handled. The abstractions relative to Policies deal with the way properties of computations are represented and enforced.

SCEL relies on solid semantics grounds that lay the basis for developing logics, tools and methodologies for formal reasoning on systems behavior in order to establish qualitative and quantitative properties of both the individual components and the ensembles.