Mostrando ítems 1-2 de 2

A Graphical Environment for the Semantic Validation of a Plan Execution Language

Rocha, Camilo; Muñoz, Cesar; Cadavid, Hector (© Copyright 2021 IEEEUSA., 2009)

This paper presents PLEXIL5, PLEXIL's formal interacting visual environment, a graphical environment providing an user-friendly interface to the formal operational semantics of PLEXIL. PLEXIL is a synchronous plan execution ...
Towards a Maude Formal Environment

Durán, Francisco; Rocha, Camilo; Álvarez, José María (SpringerBerlín, 2011)

Maude is a declarative and reflective language based on rewriting logic in which computation corresponds to efficient deduction by rewriting. Because of its reflective capabilities, Maude has been useful as a metatool in ...

Envíos recientes

A Graphical Environment for the Semantic Validation of a Plan Execution Language
...
Rocha, Camilo | 2009

This paper presents PLEXIL5, PLEXIL's formal interacting visual environment, a graphical environment providing an user-friendly interface to the formal operational semantics of PLEXIL. PLEXIL is a synchronous plan execution language developed by NASA to support autonomous space operations. PLEXIL5 serves as a testbed for designers, developers and users of PLEXIL's executive system to validate, maintain, and debug the implementation of the system against the formal semantics of the language. The executable formal semantics of PLEXIL is an executable rewriting logic theory in Maude's language.

LEER
Towards a Maude Formal Environment
...
Durán, Francisco | 2011

Maude is a declarative and reflective language based on rewriting logic in which computation corresponds to efficient deduction by rewriting. Because of its reflective capabilities, Maude has been useful as a metatool in the development of formal analysis tools for checking specific properties of Maude specifications. This includes tools for checking termination, confluence, and inductive properties of rewrite theories. Nevertheless, most of these tools have been designed to work in isolation, making it difficult, for instance, to exchange data between them and inconvenient to switch between their environments. This paper presents the Maude Formal Environment (MFE), an executable formal specification in Maude within which a user can interact with tools to mechanically verify properties of Maude specifications. One important aspect of this work is that the MFE has been designed to be easily extended with tools having highly heterogeneous designs whilst creating synergy among them. As a proof of concept, we report on the integration of five commonly used formal analysis tools for Maude specifications into MFE and illustrate their interoperability with an example.

LEER

‹›

Repositorio Digital

Listar por tema "MAUDE"

A Graphical Environment for the Semantic Validation of a Plan Execution Language

Towards a Maude Formal Environment

Envíos recientes

A Graphical Environment for the Semantic Validation of a Plan Execution Language

Towards a Maude Formal Environment

Listar por tema "MAUDE"

A Graphical Environment for the Semantic Validation of a Plan Execution Language ﻿

Towards a Maude Formal Environment ﻿

Envíos recientes

A Graphical Environment for the Semantic Validation of a Plan Execution Language

Towards a Maude Formal Environment

A Graphical Environment for the Semantic Validation of a Plan Execution Language

Towards a Maude Formal Environment