Name
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. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1109/SASO.2015.32 | Self-Adaptive and Self-Organizing Systems |
Keywords | DocType | ISSN |
spatial properties,logic language,self-organizing systems | Conference | 1949-3673 |
Citations | PageRank | References |
1 | 0.35 | 2 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Francesco De Angelis | 1 | 160 | 18.09 |
| Giovanna Marzo Serugendo | 2 | 355 | 14.60 |