Publication: Caracterizaciones lógicas uniformes de las semánticas de procesos
Loading...
Official URL
Full text at PDC
Publication Date
2010
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Citations
Exportar
Abstract
El trabajo más importante de catalogación y clasificación de las semánticas de procesos fue llevado a cabo por R. J. van Glabbeek. En su artículo titulado "Linear time-branching time spectrum", recopiló las principales semánticas, estableciendo una clasificación basada en el poder de distinción de las mismas. Las caracterizaciones que aparecen en dicho artículo se realizan mediante fórmulas lógicas y axiomatizaciones fundamentalmente. Sin embargo,si bien el trabajo tiene un cierto carácter enciclopédico,se echa en falta notablemente la uniformidad a la hora de desarrollar las caracterizaciones de las distintas semánticas. La búsqueda de caracterizaciones uniformes fue uno de los temas centrales de la Tesis Doctoral de C. Gregorio, en la que, partiéndose de la diferencia entre las semánticas de simulación, y las semánticas lineales se encontraron los mecanismos que permiten unificar tanto las caracterizaciones observacionales como las axiomáticas. El objetivo central de este trabajo ha consistido en completar la labor de unificacación anterior, extendiéndola al campo de las semánticas lógicas, donde de nuevo, hemos encontrado caracterizaciones similares a las de van Glabbeek, pero desarrolladas en un marco uniforme del que distan las originalmente obtenidas.
[ABSTRACT]
The most important work to classify process semantics was developed by R. J. van Glabbeek, in his paper "Linear time-branching time spectrum", where he collects the most important process semantics, classifying them with respect to their discriminating power. His semantics are dened both by means of an adequate logic and a complete axiomatization. However the most important objection that we could make to his work was the lack of uniformity. The search of uniform characterizations of all the process semantics was one of the central topics of C. Gregorios PhD Thesis where he develops both uniform presentation of the observational semantics and of their axiomatizations. Our main objective here is to complete this unification work by providing a uniform logical characterization of all the semantics in the spectrum. Starting from the logic semantics provided by van Glabbeek we have obtained simple new logics that give us additional knowledge about the structure of the extended ltbt-spectrum.
Description
Máster en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y computación, curso 2009-2010