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
id ESCUELAIG2_24d17c7d054224b3382d4b40150d650a
oai_identifier_str oai:repositorio.escuelaing.edu.co:001/1842
network_acronym_str ESCUELAIG2
network_name_str Repositorio Institucional ECI
repository_id_str
dc.title.eng.fl_str_mv A Graphical Environment for the Semantic Validation of a Plan Execution Language
title A Graphical Environment for the Semantic Validation of a Plan Execution Language
spellingShingle A Graphical Environment for the Semantic Validation of a Plan Execution Language
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
title_short A Graphical Environment for the Semantic Validation of a Plan Execution Language
title_full A Graphical Environment for the Semantic Validation of a Plan Execution Language
title_fullStr A Graphical Environment for the Semantic Validation of a Plan Execution Language
title_full_unstemmed A Graphical Environment for the Semantic Validation of a Plan Execution Language
title_sort A Graphical Environment for the Semantic Validation of a Plan Execution Language
dc.creator.fl_str_mv Rocha, Camilo
Muñoz, Cesar
Cadavid, Hector
dc.contributor.author.none.fl_str_mv Rocha, Camilo
Muñoz, Cesar
Cadavid, Hector
dc.contributor.researchgroup.spa.fl_str_mv Informática
dc.subject.armarc.none.fl_str_mv High level languages
Program verification
Rewriting systems
User interfaces
topic 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
dc.subject.armarc.spa.fl_str_mv Sistemas interactivos
PLEXIL5
Ciencias de la Computación
MAUDE
Tecnologías de la información
Lógica
Interfaces de usuario
Sistemas de reescritura
dc.subject.proposal.eng.fl_str_mv Logic
NASA
Concurrent Computing
Java
Space vehicles
Space missions
Information technology
Computer science
USA Councils
System testing
description 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.
publishDate 2009
dc.date.issued.none.fl_str_mv 2009
dc.date.accessioned.none.fl_str_mv 2021-11-18T20:47:36Z
dc.date.available.none.fl_str_mv 2021-11-18T20:47:36Z
dc.type.spa.fl_str_mv Capítulo - Parte de Libro
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_3248
dc.type.content.spa.fl_str_mv Text
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/bookPart
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_3248
status_str publishedVersion
dc.identifier.isbn.none.fl_str_mv 9780769536378
dc.identifier.uri.none.fl_str_mv https://repositorio.escuelaing.edu.co/handle/001/1842
identifier_str_mv 9780769536378
url https://repositorio.escuelaing.edu.co/handle/001/1842
dc.language.iso.spa.fl_str_mv eng
language eng
dc.relation.ispartofseries.none.fl_str_mv SMC-IT;
dc.relation.citationendpage.spa.fl_str_mv 207
dc.relation.citationstartpage.spa.fl_str_mv 201
dc.relation.indexed.spa.fl_str_mv N/A
dc.relation.references.spa.fl_str_mv V. 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.
G. Berry "The foundations of Esterel" Proof Language and Interaction: Essays in Honour of Robin Milner 2000.
P. 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.
P. 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.
G. Dowek C. Munoz and C. Pasareanu A small-step semantics of PLEXIL 2008.
G. 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.
S. 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.
"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.
J. Meseguer "Conditional rewriting logic as a unified model of concurrency" Theoretical Computer Science vol. 96 no. 1 pp. 73-155 1992.
T.-F. Serbanuta G. Rosu and J. Meseguer "A rewriting logic approach to operational semantics" Inf Comput. vol. 207 no. 2 pp. 305-340 2009.
F. Buschmann R. Meunier H. Rohnert P. Sornmerlad and M. Stal Pattern-Oriented Software Architecture Wiley vol. 1 1996.
M. Fowler Patterns of Enterprise Application Architecture Reading Massachusetts:Addison Wesley Nov. 2002.
A. 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.
S. Ramesh and P. Sampath SCADE: Synchronous Design and Validation of Embedded Control Software Springer Netherlands 2007.
G. 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.
J. Meseguer and G. Rosu "The rewriting logic semantics project" Theor. Comput. Sci. vol. 373 no. 3 pp. 213-237 2007.
dc.rights.eng.fl_str_mv © Copyright 2021 IEEE
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_14cb
dc.rights.uri.spa.fl_str_mv https://creativecommons.org/licenses/by/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/closedAccess
dc.rights.creativecommons.spa.fl_str_mv Atribución 4.0 Internacional (CC BY 4.0)
rights_invalid_str_mv © Copyright 2021 IEEE
https://creativecommons.org/licenses/by/4.0/
Atribución 4.0 Internacional (CC BY 4.0)
http://purl.org/coar/access_right/c_14cb
eu_rights_str_mv closedAccess
dc.format.extent.spa.fl_str_mv 7 páginas.
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv © Copyright 2021 IEEE
dc.publisher.place.spa.fl_str_mv USA.
institution Escuela Colombiana de Ingeniería Julio Garavito
bitstream.url.fl_str_mv https://repositorio.escuelaing.edu.co/bitstream/001/1842/7/A%20Graphical%20Environment%20for%20the%20Semantic%20Validation%20of%20a%20Plan%20Execution%20Language.png
https://repositorio.escuelaing.edu.co/bitstream/001/1842/8/A%20Graphical%20Environment%20for%20the%20Semantic%20Validation%20of%20a%20Plan%20Execution%20Language.pdf.jpg
https://repositorio.escuelaing.edu.co/bitstream/001/1842/6/A%20Graphical%20Environment%20for%20the%20Semantic%20Validation%20of%20a%20Plan%20Execution%20Language.pdf
https://repositorio.escuelaing.edu.co/bitstream/001/1842/2/license.txt
https://repositorio.escuelaing.edu.co/bitstream/001/1842/3/IEEE%20XPLORE.pdf.txt
https://repositorio.escuelaing.edu.co/bitstream/001/1842/5/A%20Graphical%20Environment%20for%20the%20Semantic%20Validation%20of%20a%20Plan%20Execution%20Language.pdf.txt
bitstream.checksum.fl_str_mv 556b91c51cea144bc1efc3850c31576e
fb3a7f5ccb6391bef76836710d3daf80
50ebb33c403a3ccb274a784eaec27fe6
5a7ca94c2e5326ee169f979d71d0f06e
d784fa8b6d98d27699781bd9a7cf19f0
d784fa8b6d98d27699781bd9a7cf19f0
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Escuela Colombiana de Ingeniería Julio Garavito
repository.mail.fl_str_mv repositorio.eci@escuelaing.edu.co
_version_ 1814355626226089984
spelling Rocha, Camiloebfd407af468605647a49186059da397600Muñoz, Cesard010620c004c882204e4c6699af11cfa600Cadavid, Hectorfb166b8a674d5a3e0e470304f48d3fd6600Informática2021-11-18T20:47:36Z2021-11-18T20:47:36Z20099780769536378https://repositorio.escuelaing.edu.co/handle/001/1842This 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.Este 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.7 páginas.application/pdfeng© Copyright 2021 IEEEUSA.SMC-IT;207201N/AV. 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.G. Berry "The foundations of Esterel" Proof Language and Interaction: Essays in Honour of Robin Milner 2000.P. 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.P. 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.G. Dowek C. Munoz and C. Pasareanu A small-step semantics of PLEXIL 2008.G. 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.S. 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."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.J. Meseguer "Conditional rewriting logic as a unified model of concurrency" Theoretical Computer Science vol. 96 no. 1 pp. 73-155 1992.T.-F. Serbanuta G. Rosu and J. Meseguer "A rewriting logic approach to operational semantics" Inf Comput. vol. 207 no. 2 pp. 305-340 2009.F. Buschmann R. Meunier H. Rohnert P. Sornmerlad and M. Stal Pattern-Oriented Software Architecture Wiley vol. 1 1996.M. Fowler Patterns of Enterprise Application Architecture Reading Massachusetts:Addison Wesley Nov. 2002.A. 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.S. Ramesh and P. Sampath SCADE: Synchronous Design and Validation of Embedded Control Software Springer Netherlands 2007.G. 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.J. Meseguer and G. Rosu "The rewriting logic semantics project" Theor. Comput. Sci. vol. 373 no. 3 pp. 213-237 2007.© Copyright 2021 IEEEhttps://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/closedAccessAtribución 4.0 Internacional (CC BY 4.0)http://purl.org/coar/access_right/c_14cbA Graphical Environment for the Semantic Validation of a Plan Execution LanguageCapítulo - Parte de Libroinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_3248http://purl.org/coar/resource_type/c_2df8fbb1Textinfo:eu-repo/semantics/bookParthttp://purl.org/redcol/resource_type/ARThttp://purl.org/coar/version/c_970fb48d4fbd8a85High level languagesProgram verificationRewriting systemsUser interfacesSistemas interactivosPLEXIL5Ciencias de la ComputaciónMAUDETecnologías de la informaciónLógicaInterfaces de usuarioSistemas de reescrituraLogicNASAConcurrent ComputingJavaSpace vehiclesSpace missionsInformation technologyComputer scienceUSA CouncilsSystem testingTHUMBNAILA Graphical Environment for the Semantic Validation of a Plan Execution Language.pngA Graphical Environment for the Semantic Validation of a Plan Execution Language.pngimage/png128697https://repositorio.escuelaing.edu.co/bitstream/001/1842/7/A%20Graphical%20Environment%20for%20the%20Semantic%20Validation%20of%20a%20Plan%20Execution%20Language.png556b91c51cea144bc1efc3850c31576eMD57open accessA Graphical Environment for the Semantic Validation of a Plan Execution Language.pdf.jpgA Graphical Environment for the Semantic Validation of a Plan Execution Language.pdf.jpgGenerated Thumbnailimage/jpeg15992https://repositorio.escuelaing.edu.co/bitstream/001/1842/8/A%20Graphical%20Environment%20for%20the%20Semantic%20Validation%20of%20a%20Plan%20Execution%20Language.pdf.jpgfb3a7f5ccb6391bef76836710d3daf80MD58metadata only accessORIGINALA Graphical Environment for the Semantic Validation of a Plan Execution Language.pdfA Graphical Environment for the Semantic Validation of a Plan Execution Language.pdfCapítulo - Parte de Libroapplication/pdf710363https://repositorio.escuelaing.edu.co/bitstream/001/1842/6/A%20Graphical%20Environment%20for%20the%20Semantic%20Validation%20of%20a%20Plan%20Execution%20Language.pdf50ebb33c403a3ccb274a784eaec27fe6MD56metadata only accessLICENSElicense.txtlicense.txttext/plain; charset=utf-81881https://repositorio.escuelaing.edu.co/bitstream/001/1842/2/license.txt5a7ca94c2e5326ee169f979d71d0f06eMD52open accessTEXTIEEE XPLORE.pdf.txtIEEE XPLORE.pdf.txtExtracted texttext/plain2https://repositorio.escuelaing.edu.co/bitstream/001/1842/3/IEEE%20XPLORE.pdf.txtd784fa8b6d98d27699781bd9a7cf19f0MD53open accessA Graphical Environment for the Semantic Validation of a Plan Execution Language.pdf.txtA Graphical Environment for the Semantic Validation of a Plan Execution Language.pdf.txtExtracted texttext/plain2https://repositorio.escuelaing.edu.co/bitstream/001/1842/5/A%20Graphical%20Environment%20for%20the%20Semantic%20Validation%20of%20a%20Plan%20Execution%20Language.pdf.txtd784fa8b6d98d27699781bd9a7cf19f0MD55metadata only access001/1842oai:repositorio.escuelaing.edu.co:001/18422022-11-23 03:01:04.206metadata only accessRepositorio Escuela Colombiana de Ingeniería Julio Garavitorepositorio.eci@escuelaing.edu.coU0kgVVNURUQgSEFDRSBQQVJURSBERUwgR1JVUE8gREUgUEFSRVMgRVZBTFVBRE9SRVMgREUgTEEgQ09MRUNDScOTTiAiUEVFUiBSRVZJRVciLCBPTUlUQSBFU1RBIExJQ0VOQ0lBLgoKQXV0b3Jpem8gYSBsYSBFc2N1ZWxhIENvbG9tYmlhbmEgZGUgSW5nZW5pZXLDrWEgSnVsaW8gR2FyYXZpdG8gcGFyYSBwdWJsaWNhciBlbCB0cmFiYWpvIGRlIGdyYWRvLCBhcnTDrWN1bG8sIHZpZGVvLCAKY29uZmVyZW5jaWEsIGxpYnJvLCBpbWFnZW4sIGZvdG9ncmFmw61hLCBhdWRpbywgcHJlc2VudGFjacOzbiB1IG90cm8gKGVuICAgIGFkZWxhbnRlIGRvY3VtZW50bykgcXVlIGVuIGxhIGZlY2hhIAplbnRyZWdvIGVuIGZvcm1hdG8gZGlnaXRhbCwgeSBsZSBwZXJtaXRvIGRlIGZvcm1hIGluZGVmaW5pZGEgcXVlIGxvIHB1YmxpcXVlIGVuIGVsIHJlcG9zaXRvcmlvIGluc3RpdHVjaW9uYWwsIAplbiBsb3MgdMOpcm1pbm9zIGVzdGFibGVjaWRvcyBlbiBsYSBMZXkgMjMgZGUgMTk4MiwgbGEgTGV5IDQ0IGRlIDE5OTMsIHkgZGVtw6FzIGxleWVzIHkganVyaXNwcnVkZW5jaWEgdmlnZW50ZQphbCByZXNwZWN0bywgcGFyYSBmaW5lcyBlZHVjYXRpdm9zIHkgbm8gbHVjcmF0aXZvcy4gRXN0YSBhdXRvcml6YWNpw7NuIGVzIHbDoWxpZGEgcGFyYSBsYXMgZmFjdWx0YWRlcyB5IGRlcmVjaG9zIGRlIAp1c28gc29icmUgbGEgb2JyYSBlbiBmb3JtYXRvIGRpZ2l0YWwsIGVsZWN0csOzbmljbywgdmlydHVhbDsgeSBwYXJhIHVzb3MgZW4gcmVkZXMsIGludGVybmV0LCBleHRyYW5ldCwgeSBjdWFscXVpZXIgCmZvcm1hdG8gbyBtZWRpbyBjb25vY2lkbyBvIHBvciBjb25vY2VyLgpFbiBtaSBjYWxpZGFkIGRlIGF1dG9yLCBleHByZXNvIHF1ZSBlbCBkb2N1bWVudG8gb2JqZXRvIGRlIGxhIHByZXNlbnRlIGF1dG9yaXphY2nDs24gZXMgb3JpZ2luYWwgeSBsbyBlbGFib3LDqSBzaW4gCnF1ZWJyYW50YXIgbmkgc3VwbGFudGFyIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBkZSB0ZXJjZXJvcy4gUG9yIGxvIHRhbnRvLCBlcyBkZSBtaSBleGNsdXNpdmEgYXV0b3LDrWEgeSwgZW4gY29uc2VjdWVuY2lhLCAKdGVuZ28gbGEgdGl0dWxhcmlkYWQgc29icmUgw6lsLiBFbiBjYXNvIGRlIHF1ZWphIG8gYWNjacOzbiBwb3IgcGFydGUgZGUgdW4gdGVyY2VybyByZWZlcmVudGUgYSBsb3MgZGVyZWNob3MgZGUgYXV0b3Igc29icmUgCmVsIGRvY3VtZW50byBlbiBjdWVzdGnDs24sIGFzdW1pcsOpIGxhIHJlc3BvbnNhYmlsaWRhZCB0b3RhbCB5IHNhbGRyw6kgZW4gZGVmZW5zYSBkZSBsb3MgZGVyZWNob3MgYXF1w60gYXV0b3JpemFkb3MuIEVzdG8gCnNpZ25pZmljYSBxdWUsIHBhcmEgdG9kb3MgbG9zIGVmZWN0b3MsIGxhIEVzY3VlbGEgYWN0w7phIGNvbW8gdW4gdGVyY2VybyBkZSBidWVuYSBmZS4KVG9kYSBwZXJzb25hIHF1ZSBjb25zdWx0ZSBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIEVzY3VlbGEsIGVsIENhdMOhbG9nbyBlbiBsw61uZWEgdSBvdHJvIG1lZGlvIGVsZWN0csOzbmljbywgCnBvZHLDoSBjb3BpYXIgYXBhcnRlcyBkZWwgdGV4dG8sIGNvbiBlbCBjb21wcm9taXNvIGRlIGNpdGFyIHNpZW1wcmUgbGEgZnVlbnRlLCBsYSBjdWFsIGluY2x1eWUgZWwgdMOtdHVsbyBkZWwgdHJhYmFqbyB5IGVsIAphdXRvci5Fc3RhIGF1dG9yaXphY2nDs24gbm8gaW1wbGljYSByZW51bmNpYSBhIGxhIGZhY3VsdGFkIHF1ZSB0ZW5nbyBkZSBwdWJsaWNhciB0b3RhbCBvIHBhcmNpYWxtZW50ZSBsYSBvYnJhIGVuIG90cm9zIAptZWRpb3MuRXN0YSBhdXRvcml6YWNpw7NuIGVzdMOhIHJlc3BhbGRhZGEgcG9yIGxhcyBmaXJtYXMgZGVsIChsb3MpIGF1dG9yKGVzKSBkZWwgZG9jdW1lbnRvLiAKU8OtIGF1dG9yaXpvIChhbWJvcykK

Publicaciones similares