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

• 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