Please use this identifier to cite or link to this item: http://hdl.handle.net/10773/15013
Title: Refinement in hybridised institutions
Author: Madeira, Alexandre
Martins, Manuel A.
Barbosa, Luis S.
Hennicker, Rolf
Keywords: Hybridisation
Bisimulation
Refinement
Issue Date: 19-Dec-2014
Publisher: Springer Verlag
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 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.
Peer review: yes
URI: http://hdl.handle.net/10773/15013
DOI: 10.1007/s00165-014-0327-6
ISSN: 0934-5043
Appears in Collections:CIDMA - Artigos
AGG - Artigos

Files in This Item:
File Description SizeFormat 
MMBH.pdfDocumento principal716.95 kBAdobe PDFView/Open


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.