Mostrar el registro sencillo del ítem

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

dc.contributor.authorRocha, Camilo
dc.contributor.authorMuñoz, Cesar
dc.contributor.authorCadavid, Hector
dc.date.accessioned2021-11-18T20:47:36Z
dc.date.available2021-11-18T20:47:36Z
dc.date.issued2009
dc.identifier.isbn9780769536378
dc.identifier.urihttps://repositorio.escuelaing.edu.co/handle/001/1842
dc.description.abstractThis 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.eng
dc.description.abstractEste documento presenta PLEXIL5, el entorno visual interactivo formal de PLEXIL, un entorno gráfico que proporciona una interfaz fácil de usar para la semántica operativa formal de PLEXIL. PLEXIL es un lenguaje de ejecución de planes sincrónicos desarrollado por la NASA para respaldar las operaciones espaciales autónomas. PLEXIL5 sirve como banco de pruebas para diseñadores, desarrolladores y usuarios del sistema ejecutivo de PLEXIL para validar, mantener y depurar la implementación del sistema contra la semántica formal del lenguaje. La semántica formal ejecutable de PLEXIL es una teoría lógica de reescritura ejecutable en el lenguaje de Maude.spa
dc.format.extent7 páginas.spa
dc.format.mimetypeapplication/pdfspa
dc.language.isoengspa
dc.publisher© Copyright 2021 IEEEspa
dc.relation.ispartofseriesSMC-IT;
dc.rights© Copyright 2021 IEEEeng
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/spa
dc.titleA Graphical Environment for the Semantic Validation of a Plan Execution Languageeng
dc.typeCapítulo - Parte de Librospa
dc.type.versioninfo:eu-repo/semantics/publishedVersionspa
oaire.accessrightshttp://purl.org/coar/access_right/c_14cbspa
oaire.versionhttp://purl.org/coar/version/c_970fb48d4fbd8a85spa
dc.contributor.researchgroupInformáticaspa
dc.publisher.placeUSA.spa
dc.relation.citationendpage207spa
dc.relation.citationstartpage201spa
dc.relation.indexedN/Aspa
dc.relation.referencesV. Verma A. Jonsson C. S. Pasareanu and M. Iatauro "Universal executive and PLEXIL: Engine and language for robust spacecraft control and operations" American Institute of Aeronautics and Astronautics Space 2006 Conference 2006.spa
dc.relation.referencesG. Berry "The foundations of Esterel" Proof Language and Interaction: Essays in Honour of Robin Milner 2000.spa
dc.relation.referencesP. Caspi D. Pilaud N. Halbwachs and J. Plaice "Lustre: A declarative language for programming synchronous systems" Proceedings of the 14th Symposium on Principles of Programming Languages (POPL) 1987.spa
dc.relation.referencesP. L. Guernic T. Gautier M. L. Borgne and C. L. M. e. "Programming real-time applications with SIGNAL" Proceedings of the IEEE vol. 79 no. 9 pp. 1321-1336 1991.spa
dc.relation.referencesG. Dowek C. Munoz and C. Pasareanu A small-step semantics of PLEXIL 2008.spa
dc.relation.referencesG. Dowek C. Munoz and C. Pasareanu "A formal analysis framework for PLEXIL" Proceedings of 3rd Workshop on Planning and Plan Execution for Real-World Systems September 2007.spa
dc.relation.referencesS. Owre J. Rushby and N. Shankar "PVS: A prototype verification system" 11th International Conference on Automated Deduction (CADE) ser. Lecture Notes in Artificial Intelligence vol. 607 pp. 748-752 Jun. 1992.spa
dc.relation.references"All About Maude - A High-Performance Logical Framework How to Specify Program and Verify Systems in Rewriting Logic" in Lecture Notes in Computer Science Springer vol. 4350 2007.spa
dc.relation.referencesJ. Meseguer "Conditional rewriting logic as a unified model of concurrency" Theoretical Computer Science vol. 96 no. 1 pp. 73-155 1992.spa
dc.relation.referencesT.-F. Serbanuta G. Rosu and J. Meseguer "A rewriting logic approach to operational semantics" Inf Comput. vol. 207 no. 2 pp. 305-340 2009.spa
dc.relation.referencesF. Buschmann R. Meunier H. Rohnert P. Sornmerlad and M. Stal Pattern-Oriented Software Architecture Wiley vol. 1 1996.spa
dc.relation.referencesM. Fowler Patterns of Enterprise Application Architecture Reading Massachusetts:Addison Wesley Nov. 2002.spa
dc.relation.referencesA. K. Bhattacharjee S. D. Dhodapkar S. A. Seshia and R. K. Shyama-sundar "A graphical environment for the specification and verification of reactive systems" in SAFECOMP ser. Lecture Notes in Computer Science Springer vol. 1698 pp. 431-444 1999.spa
dc.relation.referencesS. Ramesh and P. Sampath SCADE: Synchronous Design and Validation of Embedded Control Software Springer Netherlands 2007.spa
dc.relation.referencesG. Berry "Synchronous design and verification of critical embedded systems using scade and esterel" in FMICS ser. Lecture Notes in Computer Science Springer vol. 4916 pp. 2 2007.spa
dc.relation.referencesJ. Meseguer and G. Rosu "The rewriting logic semantics project" Theor. Comput. Sci. vol. 373 no. 3 pp. 213-237 2007.spa
dc.rights.accessrightsinfo:eu-repo/semantics/closedAccessspa
dc.rights.creativecommonsAtribución 4.0 Internacional (CC BY 4.0)spa
dc.subject.armarcHigh level languages
dc.subject.armarcProgram verification
dc.subject.armarcRewriting systems
dc.subject.armarcUser interfaces
dc.subject.armarcSistemas interactivosspa
dc.subject.armarcPLEXIL5spa
dc.subject.armarcCiencias de la Computaciónspa
dc.subject.armarcMAUDEspa
dc.subject.armarcTecnologías de la informaciónspa
dc.subject.armarcLógicaspa
dc.subject.armarcInterfaces de usuariospa
dc.subject.armarcSistemas de reescrituraspa
dc.subject.proposalLogiceng
dc.subject.proposalNASAeng
dc.subject.proposalConcurrent Computingeng
dc.subject.proposalJavaeng
dc.subject.proposalSpace vehicleseng
dc.subject.proposalSpace missionseng
dc.subject.proposalInformation technologyeng
dc.subject.proposalComputer scienceeng
dc.subject.proposalUSA Councilseng
dc.subject.proposalSystem testingeng
dc.type.coarhttp://purl.org/coar/resource_type/c_3248spa
dc.type.contentTextspa
dc.type.driverinfo:eu-repo/semantics/bookPartspa
dc.type.redcolhttp://purl.org/redcol/resource_type/ARTspa


Ficheros en el ítem

Thumbnail
Nombre:
A Graphical Environment for the ...
Tamaño:
693.7Kb
Formato:
PDF
Descripción:
Capítulo - Parte de Libro
Ver/

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

© Copyright 2021 IEEE
Excepto si se señala otra cosa, la licencia del ítem se describe como © Copyright 2021 IEEE