Talk "Refinement in hybrid(ised) institutions"

by Luis S. Barbosa

Wed, 08 January 2014 at 05:30 pm in Theddingworth near Leicester, UK

Joint work with: M. A. Martins, A. Madeira, R. Hennicker

Abstract: Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimulus or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may assume. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. We characterise equivalence and refinement for this sort of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy-Milner like theorem is proved for hybridised logics.