The SCEL Language: Design, Implementation, Verification. SCEL (Service Component Ensemble Language) is a new language specifically designed to rigorously model and program autonomic components and their interaction, while supporting formal reasoning on their behaviors. SCEL brings together various programming abstractions that allow one to directly represent aggregations, behaviors and knowledge according to specific policies. It also naturally supports programming interaction, self-awareness, context-awareness, and adaptation. The solid semantic grounds of the language is exploited for developing logics, tools and methodologies for formal reasoning on system behavior to establish qualitative and quantitative properties of both the individual components and the overall systems.

References in zbMATH (referenced in 17 articles )

Showing results 1 to 17 of 17.
Sorted by year (citations)

  1. Bortolussi, Luca; Hillston, Jane; Loreti, Michele: Fluid approximation of broadcasting systems (2020)
  2. De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco: A formal approach to the engineering of domain-specific distributed systems (2020)
  3. Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narcisco: Compositional specification in rewriting logic (2020)
  4. Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo: From distributed coordination to field calculus and aggregate computing (2019)
  5. Lanotte, Ruggero; Merro, Massimo: A semantic theory of the Internet of things (2018)
  6. Li, Ximeng; Wu, Xi; Lluch Lafuente, Alberto; Nielson, Flemming; Nielson, Hanne Riis: A coordination language for databases (2017)
  7. Maggi, Alessandro; Petrocchi, Marinella; Spognardi, Angelo; Tiezzi, Francesco: A language-based approach to modelling and analysis of Twitter interactions (2017)
  8. Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele: On the power of attribute-based communication (2016)
  9. Feng, Cheng; Hillston, Jane; Galpin, Vashti: Automatic moment-closure approximation of spatially distributed collective adaptive systems (2016)
  10. Vandin, Andrea; Tribastone, Mirco: Quantitative abstractions for collective adaptive systems (2016)
  11. Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea: A white box perspective on behavioural adaptation (2015)
  12. Latella, Diego; Loreti, Michele; Massink, Mieke; Senni, Valerio: On StocS: a stochastic extension of SCEL (2015) ioport
  13. Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco: Programming autonomic systems with multiple constraint stores (2015)
  14. Šerbedžija, Nikola: Adaptive and autonomous systems and their impact on us (2015) ioport
  15. Belzner, Lenz; De Nicola, Rocco; Vandin, Andrea; Wirsing, Martin: Reasoning (on) service component ensembles in rewriting logic (2014) ioport
  16. De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco: Programming and verifying component ensembles (2014)
  17. Hennicker, Rolf; Klarl, Annabelle: Foundations for ensemble modeling -- the Helena approach. Handling massively distributed systems with elaborate ensemble architectures (2014)