Towards a spatial language for run-time assessments in self-organizing systems

De Angelis, Francesco; Di Marzo Serugendo, Giovanna

Proceedings chapter/article (contribution published in proceedings)

English

Towards a spatial language for run-time assessments in self-organizing systems

ContributorsDe Angelis, Francesco; Di Marzo Serugendo, Giovanna

Presented atCambridge (USA), 21-25 September

Published inNinth IEEE International Conference on Self-Adaptive and Self-Organizing Systems

Publication date2015

Abstract

In this paper we define a spatial language used to verify global properties of self-organizing systems at run- time. The language can be used to assess spatial properties of system components to check desired global properties of the system against emergent global behaviors arising from local interactions among components. The spatial language extends a logic- chemical- based coordination model that we have recently proposed and the verification of spatial properties is performed in a distributed manner among the nodes of the system.

Keywords

Spatial properties verification
Self-organizing systems
Domain specific language

Affiliation entities

Citation (ISO format)

DE ANGELIS, Francesco, DI MARZO SERUGENDO, Giovanna. Towards a spatial language for run-time assessments in self-organizing systems. In: Ninth IEEE International Conference on Self-Adaptive and Self-Organizing Systems. Cambridge (USA). [s.l.] : [s.n.], 2015.

Proceedings chapter (Accepted version)

Identifiers

PID : unige:74949

491views

277downloads

Creation14/08/2015 10:14:00

First validation14/08/2015 10:14:00

Update time14/03/2023 23:35:24

Status update14/03/2023 23:35:24

Last indexation03/10/2024 16:36:12

Archive ouverte UNIGE

Towards a spatial language for run-time assessments in self-organizing systems

Technical informations