3 February 2020 - Prof Jose Fiadeiro, University of Dundee Host Claudia Chirita Speaker Prof Jose Fiadeiro Title Logics for Actor Networks Abstract Actor Networks are a modelling framework for cyber-physical-system protocols based on Latour’s actor-network theory that addresses the way we now create and exploit the power of networks whose components are no longer limited to programs, but can also include humans and physical artefacts as actors. In this talk, we present a logic for modelling and reasoning about such actor networks that results from a two-stage constrained-hybridisation process: the first stage corresponds to a logic that captures the structure of actor networks and the way knowledge or data flows across them; the second addresses their dynamic aspects, i.e., the way actor networks can evolve as a result of the interactions that occur within them. In line with Milner’s bigraph paradigm, our logics make a novel contribution to the development of formal methods for systems where connectivity and locality play a fundamental role. This is joint work with Ionut Tutu (University of Dundee and the Simion Stoilow Institute of Mathematics of the Romanian Academy), Antonia Lopes (University of Lisbon), Dusko Pavlovic (University of Hawaii) and Claudia Chirita (University of Edinburgh). Feb 03 2020 14.00 - 15.00 3 February 2020 - Prof Jose Fiadeiro, University of Dundee Logics for Actor Networks G.03, IF
3 February 2020 - Prof Jose Fiadeiro, University of Dundee Host Claudia Chirita Speaker Prof Jose Fiadeiro Title Logics for Actor Networks Abstract Actor Networks are a modelling framework for cyber-physical-system protocols based on Latour’s actor-network theory that addresses the way we now create and exploit the power of networks whose components are no longer limited to programs, but can also include humans and physical artefacts as actors. In this talk, we present a logic for modelling and reasoning about such actor networks that results from a two-stage constrained-hybridisation process: the first stage corresponds to a logic that captures the structure of actor networks and the way knowledge or data flows across them; the second addresses their dynamic aspects, i.e., the way actor networks can evolve as a result of the interactions that occur within them. In line with Milner’s bigraph paradigm, our logics make a novel contribution to the development of formal methods for systems where connectivity and locality play a fundamental role. This is joint work with Ionut Tutu (University of Dundee and the Simion Stoilow Institute of Mathematics of the Romanian Academy), Antonia Lopes (University of Lisbon), Dusko Pavlovic (University of Hawaii) and Claudia Chirita (University of Edinburgh). Feb 03 2020 14.00 - 15.00 3 February 2020 - Prof Jose Fiadeiro, University of Dundee Logics for Actor Networks G.03, IF
Feb 03 2020 14.00 - 15.00 3 February 2020 - Prof Jose Fiadeiro, University of Dundee Logics for Actor Networks