A tool for Full LOTOS in Maude

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...

Descripción completa

Detalles Bibliográficos
Autor: Verdejo López, José Alberto
Tipo de recurso: artículo
Fecha de publicación:2002
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:inglés
OAI Identifier:oai:docta.ucm.es:20.500.14352/60344
Acceso en línea:https://hdl.handle.net/20.500.14352/60344
Access Level:acceso abierto
Palabra clave:Full LOTOS
symbolic semantics
rewriting logic
Maude
meta-language.
Lógica simbólica y matemática (Matemáticas)
1102.14 Lógica Simbólica
id ES_93503bd16ffe4d34fcd7feefa7484d64
oai_identifier_str oai:docta.ucm.es:20.500.14352/60344
network_acronym_str ES
network_name_str España
repository_id_str
spelling A tool for Full LOTOS in MaudeVerdejo López, José AlbertoFull LOTOSsymbolic semanticsrewriting logicMaudemeta-language.Lógica simbólica y matemática (Matemáticas)1102.14 Lógica SimbólicaWe 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.Universidad Complutense de Madrid20022002-04-0120022002-04-01journal articlehttp://purl.org/coar/resource_type/c_6501info:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/20.500.14352/60344reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/603442026-06-02T12:44:21Z
dc.title.none.fl_str_mv A tool for Full LOTOS in Maude
title A tool for Full LOTOS in Maude
spellingShingle A tool for Full LOTOS in Maude
Verdejo López, José Alberto
Full LOTOS
symbolic semantics
rewriting logic
Maude
meta-language.
Lógica simbólica y matemática (Matemáticas)
1102.14 Lógica Simbólica
title_short A tool for Full LOTOS in Maude
title_full A tool for Full LOTOS in Maude
title_fullStr A tool for Full LOTOS in Maude
title_full_unstemmed A tool for Full LOTOS in Maude
title_sort A tool for Full LOTOS in Maude
dc.creator.none.fl_str_mv Verdejo López, José Alberto
author Verdejo López, José Alberto
author_facet Verdejo López, José Alberto
author_role author
dc.contributor.none.fl_str_mv Universidad Complutense de Madrid
dc.subject.none.fl_str_mv Full LOTOS
symbolic semantics
rewriting logic
Maude
meta-language.
Lógica simbólica y matemática (Matemáticas)
1102.14 Lógica Simbólica
topic Full LOTOS
symbolic semantics
rewriting logic
Maude
meta-language.
Lógica simbólica y matemática (Matemáticas)
1102.14 Lógica Simbólica
description 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.
publishDate 2002
dc.date.none.fl_str_mv 2002
2002-04-01
2002
2002-04-01
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/60344
url https://hdl.handle.net/20.500.14352/60344
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:Universidad Complutense de Madrid (UCM)
instname_str Universidad Complutense de Madrid (UCM)
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869413571491790848
score 15,301603

Similares en LA Referencia