Universidad Complutense de Madrid
E-Prints Complutense

On the expressiveness of refinement settings



Último año

Fecher, Harald y Frutos Escrig, David de y Lüttgen, Gerald y Schmidt, Heiko (2010) On the expressiveness of refinement settings. In Fundamentals of Software Engineering : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers. Lecture notes in computer science (5961). Springer, pp. 276-291. ISBN 978-3-642-11622-3

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020.


URL Oficial: http://link.springer.com/content/pdf/10.1007%2F978-3-642-11623-0_16.pdf

URLTipo de URL
http://www.springer.com/SIN ESPECIFICAR


Embedded-systems designers often use transition system-based notations for specifying, with respect to some refinement preorder, sets of deterministic implementations. This paper compares popular such refinement settings — ranging from transition systems equipped with failure-pair inclusion to disjunctive modal transition systems — regarding the sets of implementations they are able to express. The paper’s main result is an expressiveness hierarchy, as well as language-preserving transformations between various settings. In addition to system designers, the main beneficiaries of this work are tool builders who wish to reuse refinement checkers or model checkers across different settings.

Tipo de documento:Sección de libro
Materias:Ciencias > Informática
Código ID:20934
Depositado:19 Abr 2013 09:16
Última Modificación:07 Feb 2014 10:22

Descargas en el último año

Sólo personal del repositorio: página de control del artículo