Refinement in hybridised institutions

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 stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. 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. This paper characterises equivalence and refinement for these sorts 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.

Final report detailed description - NET Station: shaping radio for web environment

In more scientific terms, NET Station contributed to: - discuss in theoretical terms the role radio still play in contemporary societies; - examine how audiences are using sound resources on the Web; - draw up a new theoretical framework for the study of the reconfiguration of radio language on the Internet;acknowledge that people are not abandoning radio as a medium; the survey applied by the team demonstrated that there is a complementariness between traditional radio and radio on the Internet; - understand that people expect more interactivity, more opportunities to participate in content production and more diversity of contents. These results were shared with editors responsible for Portuguese radio and might influence the offer made available by these radio corporations from now on; - demonstrate that the Internet is underexplored in terms of sound and acoustic communication; - promote the production of new sound narratives to be available on the Internet;