Complutense University Library

Caracterizaciones lógicas uniformes de las semánticas de procesos

Romero Hernández, David (2010) Caracterizaciones lógicas uniformes de las semánticas de procesos. [Trabajo Fin de Máster]

[img]
Preview
PDF
487kB
View download statistics for this eprint

==>>> Export to other formats

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.


Item Type:Trabajo Fin de Máster
Additional Information:

Máster en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y computación, curso 2009-2010

Directors:
DirectorsDirector email
Frutos Escrig, David de
Uncontrolled Keywords:Semántica de procesos, Caracterizaciones lógicas, Bisimulación, Semánticas de simulación, Linear-time-branching-time spectrum Process Semantics, Logical Characterizations, Bisimulation, Simulation semantics.
Subjects:Sciences > Computer science > Expert systems (Computer science)
ID Code:11486
Deposited On:29 Nov 2010 12:37
Last Modified:06 Feb 2014 09:05

Repository Staff Only: item control page