Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/40546
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Madeira, Alexandre Leite Castro | por |
dc.contributor.author | Martins, Manuel A. | por |
dc.contributor.author | Barbosa, L. S. | por |
dc.contributor.author | Hennicker, Rolf | por |
dc.date.accessioned | 2016-02-25T12:36:26Z | - |
dc.date.available | 2016-02-25T12:36:26Z | - |
dc.date.issued | 2015 | - |
dc.identifier.citation | Madeira, A., Martins, M. A., Barbosa, L. S., & Hennicker, R. (2015). Refinement in hybridised institutions. Formal Aspects of Computing, 27(2), 375-395. doi: 10.1007/s00165-014-0327-6 | por |
dc.identifier.issn | 0934-5043 | - |
dc.identifier.uri | https://hdl.handle.net/1822/40546 | - |
dc.description.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. | por |
dc.description.sponsorship | This work is funded by ERDF-European Regional Development Fund, through the COMPETE Programme, and by National Funds through FCT within project FCOMP-01-0124-FEDER-028923 and by project NORTE-07-0124-FEDER-000060, co-financed by the North Portugal Regional Operational Programme (ON.2), under the National Strategic Reference Framework (NSRF), through the European Regional Development Fund (ERDF). The work had also partial financial assistance by the project PEst-OE/MAT/UI4106/2014 at CIDMA, FCOMP-01-0124-FEDER-037281 at INESC TEC and the Marie Curie project FP7-PEOPLE-2012-IRSES (GetFun). | por |
dc.language.iso | eng | por |
dc.publisher | Springer | por |
dc.relation | FCOMP-01-0124-FEDER-028923 | por |
dc.relation | NORTE- 07-0124-FEDER-000060 | por |
dc.relation | info:eu-repo/grantAgreement/FCT/5876/135976/PT | por |
dc.relation | FCOMP- 01-0124-FEDER-037281 | por |
dc.relation | FP7-PEOPLE-2012-IRSES | por |
dc.rights | openAccess | por |
dc.subject | Hybridisation | por |
dc.subject | Bisimulation | por |
dc.subject | Refinement | por |
dc.subject | Refinement | por |
dc.title | Refinement in hybridised institutions | por |
dc.type | article | por |
dc.peerreviewed | yes | por |
dc.comments | 3034 | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 375 | por |
oaire.citationEndPage | 395 | por |
oaire.citationIssue | 2 | por |
oaire.citationTitle | Formal Aspects of Computing | por |
oaire.citationVolume | 27 | por |
dc.identifier.doi | 10.1007/s00165-014-0327-6 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Formal Aspects of Computing | por |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |