Specification and analysis of systems with dynamic structure

Andrea Vandin
In many areas of Computer Science we face systems with dynamic structure, i.e. where components and resources may dynamically join and leave, or even get combined. When analyzing these systems one is not only interested in properties about global behaviours (e.g. correctness or safety), but also about the evolution of single components or of their interrelations. In order to achieve this, logic-based specification languages and techniques equipped with a neat handling of components and their...