UNIGE document Chapitre d'actes
previous document  unige:74949  next document
add to browser collection
Title

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

Authors
Published in Ninth IEEE International Conference on Self-Adaptive and Self-Organizing Systems. Cambridge (USA) - 21-25 September - . 2015
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 verificationSelf-organizing systemsDomain specific language
Full text
Structures
Research group Institute of Information Service Science (ISS)
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. https://archive-ouverte.unige.ch/unige:74949

172 hits

65 downloads

Update

Deposited on : 2015-09-01

Export document
Format :
Citation style :