• DocumentCode
    3677763
  • Title

    Towards a Spatial Language for Run-Time Assessments in Self-Organizing Systems

  • Author

    Francesco Luca De Angelis;Giovanna Di Marzo Serugendo

  • Author_Institution
    Inst. of Services Sci., Univ. of Geneva, Carouge, Switzerland
  • fYear
    2015
  • Firstpage
    174
  • Lastpage
    175
  • 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
    "Chemicals","Cognition","Distributed algorithms","Electronic mail","Containers","Generators","Image color analysis"
  • Publisher
    ieee
  • Conference_Titel
    Self-Adaptive and Self-Organizing Systems (SASO), 2015 IEEE 9th International Conference on
  • Type

    conf

  • DOI
    10.1109/SASO.2015.32
  • Filename
    7306614
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3677763