caa a22 4500 605516448 CHVBK 20210128100714.0 cr unu---uuuuu 210128e20150301xx s 000 0 eng 10.1007/s00165-014-0327-6 doi (NATIONALLICENCE)springer-10.1007/s00165-014-0327-6 Refinement in hybridised institutions [Elektronische Daten] [Alexandre Madeira, Manuel Martins, Luís Barbosa, Rolf Hennicker] 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. British Computer Society, 2014 Hybridisation nationallicence Bisimulation nationallicence Refinement nationallicence Madeira Alexandre HASLab INESC TEC and Univ. Minho, Braga, Portugal aut Martins Manuel CIDMA-Center for R&D in Mathematics and Applications, Department of Mathematics, Univ. Aveiro, Aveiro, Portugal aut Barbosa Luís HASLab INESC TEC and Univ. Minho, Braga, Portugal aut Hennicker Rolf Ludwig-Maximilians-Universität München, Munich, Germany aut Formal Aspects of Computing Springer London 27/2(2015-03-01), 375-395 0934-5043 27:2<375 2015 27 165 https://doi.org/10.1007/s00165-014-0327-6 text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s00165-014-0327-6 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Madeira Alexandre HASLab INESC TEC and Univ. Minho, Braga, Portugal aut NATIONALLICENCE 700 1- Martins Manuel CIDMA-Center for R&D in Mathematics and Applications, Department of Mathematics, Univ. Aveiro, Aveiro, Portugal aut NATIONALLICENCE 700 1- Barbosa Luís HASLab INESC TEC and Univ. Minho, Braga, Portugal aut NATIONALLICENCE 700 1- Hennicker Rolf Ludwig-Maximilians-Universität München, Munich, Germany aut NATIONALLICENCE 773 0- Formal Aspects of Computing Springer London 27/2(2015-03-01), 375-395 0934-5043 27:2<375 2015 27 165