The paper entitled Monitoring Distributed Component-Based Systems has been accepted for publication in the proceedings of the 17th edition of the International Conference on Formal Aspects of Component Software (FACS).
Abstract of the paper is below
We monitor asynchronous distributed component-based systems with multi-party interactions. We consider independent components whose interactions are managed by several distributed schedulers. In this context, neither a global state nor the total ordering of the executions of the system is available at runtime. We instrument the system to retrieve local events from the local traces of the schedulers. Local events are sent to a global observer which reconstructs on-the-fly the set of global traces that are compatible with the local traces, in a concurrency-preserving fashion. The set of compatible global traces is represented in the form of an original lattice over partial states, such hat each path of the lattice corresponds to a possible execution of the system.
This is joint work with Hosein Nazarpour.