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

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

Full description

Autores:

Rocha, Camilo
Muñoz, Cesar
Cadavid, Hector

Tipo de recurso:

Part of book

Fecha de publicación:

2009

Institución:

Escuela Colombiana de Ingeniería Julio Garavito

Repositorio:

Repositorio Institucional ECI

Idioma:

eng

OAI Identifier:

oai:repositorio.escuelaing.edu.co:001/1842

Acceso en línea:

https://repositorio.escuelaing.edu.co/handle/001/1842

Palabra clave:

High level languages
Program verification
Rewriting systems
User interfaces
Sistemas interactivos
PLEXIL5
Ciencias de la Computación
MAUDE
Tecnologías de la información
Lógica
Interfaces de usuario
Sistemas de reescritura
Logic
NASA
Concurrent Computing
Java
Space vehicles
Space missions
Information technology
Computer science
USA Councils
System testing

Rights

closedAccess

License

© Copyright 2021 IEEE