RT Journal Article
T1 A tool for Full LOTOS in Maude
A1 Verdejo López, José Alberto
AB We describe a formal tool based on a symbolic semantics for Full LOTOS, where speci cationswithout restrictions in their data types can be executed. The reective feature of rewriting logicand the metalanguage capabilities of Maude make it possible to implement the whole tool in thesame semantic framework, and have allowed us to implement the LOTOS operational semantics, tointegrate it with ACT ONE speci cations, and to build an entire environment with parsing, prettyprinting, and input/output processing of LOTOS speci cations. Our aim has been to implementa 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 byeveryone that knows about operational semantics.
YR 2002
FD 2002-04
LK https://hdl.handle.net/20.500.14352/60344
UL https://hdl.handle.net/20.500.14352/60344
LA eng
DS Docta Complutense
RD 18 abr 2025