Authors
Rocco De Nicola, Gianluigi Ferrari, Michele Loreti, Rosario Pugliese
Publication date
2011/10/3
Book
International Symposium on Formal Methods for Components and Objects
Pages
25-48
Publisher
Springer Berlin Heidelberg
Description
SCEL is a new language specifically designed to model autonomic components and their interaction. It brings together various programming abstractions that permit to directly represent knowledge, behaviors and aggregations according to specific policies. It also supports naturally programming self-awareness, context-awareness, and adaptation. In this paper, we first present design principles, syntax and operational semantics of SCEL. Then, 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 and use this dialect to model a simple, yet illustrative, example application. Finally, we demonstrate that adaptation can be naturally expressed in SCEL.
Total citations
20112012201320142015201620172018201920202021202220235419211762575311
Scholar articles
R De Nicola, G Ferrari, M Loreti, R Pugliese - International Symposium on Formal Methods for …, 2011