19 settembre 2012
San Micheletto - Via S. Micheletto 3 (Classroom 6 )
SCEL is a new language for modelling autonomic service components and their ensembles that we are designing within the EU-FET project ASCENS. It brings together various programming abstractions that permit directly representing aggregations, behaviours, knowledge and policies. Moreover SCEL permits naturally programming interaction, self-awareness, context-awareness and adaptation. It relies on solid semantics grounds that lay the basis for developing logics, tools and methodologies for formal reasoning both on individual components and on ensembles. In the talk we will first present design principles, syntax and operational semantics of the language then we will we show how a dialect can be defined by appropriately instantiating the features of the language we left open to deal with different application domains. The introduced dialect will then be used to model a simple, yet illustrative, example application.