Biblioteca de la Universidad Complutense de Madrid

A tool for Full LOTOS in Maude

Impacto



Verdejo López, José Alberto (2002) A tool for Full LOTOS in Maude. Technical report, 123-02 . pp. 1-51.

[img]
Vista previa
PDF
342kB


Resumen

We describe a formal tool based on a symbolic semantics for Full LOTOS, where speci cations
without restrictions in their data types can be executed. The re
ective feature of rewriting logic
and the metalanguage capabilities of Maude make it possible to implement the whole tool in the
same semantic framework, and have allowed us to implement the LOTOS operational semantics, to
integrate it with ACT ONE speci cations, and to build an entire environment with parsing, pretty
printing, and input/output processing of LOTOS speci cations. Our aim has been to implement
a formal tool that can be used by everyone without knowledge of the concrete implementation,
but where the semantics representation is at so high level that can be understood and modi ed by
everyone that knows about operational semantics.


Tipo de documento:Artículo
Palabras clave:Full LOTOS, symbolic semantics, rewriting logic, Maude, meta-language.
Materias:Ciencias > Matemáticas > Lógica simbólica y matemática
Código ID:4886
Depositado:20 May 2005
Última Modificación:06 Feb 2014 07:42

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