Bisimilarity and refinement for hybrid(ised) logics

dc.contributor.author Alexandre Castro Madeira en
dc.contributor.author Martins,MA en
dc.contributor.author Luís Soares Barbosa en
dc.date.accessioned 2018-01-16T11:42:48Z
dc.date.available 2018-01-16T11:42:48Z
dc.date.issued 2013 en
dc.description.abstract The complexity of modern software systems entails the need for reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimulus or internal performance measures. Formally, such systems may be represented by transition systems whose nodes 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. 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 this sort of systems. Therefore, the quest for suitable notions of equivalence and refinement between models of hybrid logic specifications becomes fundamental to any design discipline adopting this perspective. This paper contributes to this effort from a distinctive point of view: instead of focussing on a specific hybrid logic, the paper introduces notions of bisimilarity and refinement for hybridised logics, i.e. standard specification logics (e.g. propositional, equational, fuzzy, etc) to which modal and hybrid features were added in a systematic way. © A. Madeira, M.A. Martins & L.S. Barbosa. en
dc.identifier.uri http://repositorio.inesctec.pt/handle/123456789/6326
dc.identifier.uri http://dx.doi.org/10.4204/EPTCS.115.6 en
dc.language eng en
dc.relation 5620 en
dc.relation 5603 en
dc.rights info:eu-repo/semantics/openAccess en
dc.title Bisimilarity and refinement for hybrid(ised) logics en
dc.type conferenceObject en
dc.type Publication en
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
P-008-M6D.pdf
Size:
368.27 KB
Format:
Adobe Portable Document Format
Description: