Abstract-I detta papper definierar vi ett rumsligt språk som används för att verifiera globala egenskaper hos självorganiserande system på runtime. Språket kan användas för att bedöma rumsliga egenskaper hos systemkomponenter för att kontrollera önskade globala egenskaper hos systemet mot framväxande globala beteenden som uppstår från lokala interaktioner mellan komponenter. Det rumsliga språket utvidgar en logik-kemisk-baserad samordningsmodell som vi nyligen har föreslagit och verifieringen av rumsliga egenskaper utförs på ett distribuerat sätt bland noderna i systemet.
Inom ramen för självorganiserande system har ett rumsligt språk föreslagits i REF som kan användas för att bedöma systemkomponenters rumsliga egenskaper för att kontrollera systemets önskade globala egenskaper mot framväxande globala beteenden till följd av lokala interaktioner mellan komponenter.
Towards a Spatial Language for Run-Time Assessments in Self-Organizing Systems
{'venue': '2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems', 'journal': '2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems', 'mag_field_of_study': ['Computer Science']}