IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "Behavioural equivalences for local and global properties"

by Michele Loreti

Tue, 25 April 2023 at 02:40 pm in Paris, France

Joint work with: Aniqa Rehman, Michela Quadrini

Abstract: Collective adaptive systems (CAS) are composed of a large number of entities that interact with each other to reach local or global goals. Entities operate without any centralized control and should adapt their behavior to the changes in the environment where they operate. Due to the intricacies of these interactions and adaptation, it is difficult to predict the behavior of CAS. For this reason, formal tools are needed to specify and verify this behavior to ensure consistency, reliability, correctness, and safety properties. In this talk, we first present a novel logical framework that permits specifying properties of CAS at both local and global levels: local properties refer to the behavior of individuals, while global properties refer to the whole system. Moreover, a behavioural equivalence is described that permits reducing the state space while preserving formulas satisfaction (at both global and local level).