Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP)

This document presents an executable semantics in rewrite logic for Concurrent Spatial Constraint Programming, abbreviated SCCP. SCCP is a computational model used to reason about spatial information and knowledge distributed among the processes of a system. In SCCP, the processes simulate common kn...

Full description

Autores:
Romero González, Miguel Ángel
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2017
Institución:
Escuela Colombiana de Ingeniería Julio Garavito
Repositorio:
Repositorio Institucional ECI
Idioma:
spa
OAI Identifier:
oai:repositorio.escuelaing.edu.co:001/522
Acceso en línea:
http://catalogo-intra.escuelaing.edu.co/cgi-bin/koha/catalogue/detail.pl?biblionumber=19894
https://repositorio.escuelaing.edu.co/handle/001/522
Palabra clave:
SCCP
Lógica de reescritura
Especificación formal
Maude
SMT-Solver
Tkinter
Python
Parser
SCCP
rewriting logic
formal specification
Maude
SMT-Solver
Tkinter
Parser
Python
Rights
openAccess
License
Derechos Reservados - Escuela Colombiana de Ingeniería Julio Garavito
id ESCUELAIG2_5cf47664052e5eceb2c92c4f9625f0ef
oai_identifier_str oai:repositorio.escuelaing.edu.co:001/522
network_acronym_str ESCUELAIG2
network_name_str Repositorio Institucional ECI
repository_id_str
dc.title.spa.fl_str_mv Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP)
title Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP)
spellingShingle Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP)
SCCP
Lógica de reescritura
Especificación formal
Maude
SMT-Solver
Tkinter
Python
Parser
SCCP
rewriting logic
formal specification
Maude
SMT-Solver
Tkinter
Parser
Python
title_short Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP)
title_full Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP)
title_fullStr Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP)
title_full_unstemmed Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP)
title_sort Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP)
dc.creator.fl_str_mv Romero González, Miguel Ángel
dc.contributor.advisor.spa.fl_str_mv Rocha Niño, Hernan Camilo (dir)
dc.contributor.author.spa.fl_str_mv Romero González, Miguel Ángel
dc.subject.spa.fl_str_mv SCCP
Lógica de reescritura
Especificación formal
Maude
SMT-Solver
Tkinter
Python
Parser
topic SCCP
Lógica de reescritura
Especificación formal
Maude
SMT-Solver
Tkinter
Python
Parser
SCCP
rewriting logic
formal specification
Maude
SMT-Solver
Tkinter
Parser
Python
dc.subject.keywords.spa.fl_str_mv SCCP
rewriting logic
formal specification
Maude
SMT-Solver
Tkinter
Parser
Python
description This document presents an executable semantics in rewrite logic for Concurrent Spatial Constraint Programming, abbreviated SCCP. SCCP is a computational model used to reason about spatial information and knowledge distributed among the processes of a system. In SCCP, the processes simulate common knowledge statement and global information query, in turn, each agent in SCCP has its own information space, and epistemic entities such as knowledge or beliefs are represented in a system of parametric constraints. The executable semantics of SCCP is made available to users and programmers through a tool that integrates a programming language and specification into Maude. From this tool, in addition to simulating programs in this language, it is also possible to verify properties specified in temporal linear logic.
publishDate 2017
dc.date.accessioned.spa.fl_str_mv 2017-02-01T13:25:25Z
dc.date.available.spa.fl_str_mv 2017-02-01T13:25:25Z
dc.date.issued.spa.fl_str_mv 2017
dc.date.accessioned.none.fl_str_mv 2021-10-01T16:02:32Z
dc.date.available.none.fl_str_mv 2021-10-01T16:02:32Z
dc.type.spa.fl_str_mv Trabajo de grado - Pregrado
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_71e4c1898caa6e32
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/submittedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_7a1f
dc.type.content.spa.fl_str_mv Text
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/bachelorThesis
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/TP
format http://purl.org/coar/resource_type/c_7a1f
status_str submittedVersion
dc.identifier.uri.spa.fl_str_mv http://catalogo-intra.escuelaing.edu.co/cgi-bin/koha/catalogue/detail.pl?biblionumber=19894
dc.identifier.uri.none.fl_str_mv https://repositorio.escuelaing.edu.co/handle/001/522
url http://catalogo-intra.escuelaing.edu.co/cgi-bin/koha/catalogue/detail.pl?biblionumber=19894
https://repositorio.escuelaing.edu.co/handle/001/522
dc.language.iso.spa.fl_str_mv spa
language spa
dc.rights.spa.fl_str_mv Derechos Reservados - Escuela Colombiana de Ingeniería Julio Garavito
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.uri.spa.fl_str_mv https://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.creativecommons.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional (CC BY-NC 4.0)
rights_invalid_str_mv Derechos Reservados - Escuela Colombiana de Ingeniería Julio Garavito
https://creativecommons.org/licenses/by-nc/4.0/
Atribución-NoComercial 4.0 Internacional (CC BY-NC 4.0)
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.program.spa.fl_str_mv Ingeniería de Sistemas
institution Escuela Colombiana de Ingeniería Julio Garavito
bitstream.url.fl_str_mv https://repositorio.escuelaing.edu.co/bitstream/001/522/1/Romero%20Gonz%c3%a1lez%2c%20Miguel%20%c3%81ngel%20-%202017.pdf
https://repositorio.escuelaing.edu.co/bitstream/001/522/2/Autorizaci%c3%b3n.pdf
https://repositorio.escuelaing.edu.co/bitstream/001/522/3/license.txt
https://repositorio.escuelaing.edu.co/bitstream/001/522/4/FA%20-%20Trabajos%20de%20Grado%20Sistemas-1019060750.pdf.txt
https://repositorio.escuelaing.edu.co/bitstream/001/522/10/Romero%20Gonz%c3%a1lez%2c%20Miguel%20%c3%81ngel%20-%202017.pdf.txt
https://repositorio.escuelaing.edu.co/bitstream/001/522/12/Autorizaci%c3%b3n.pdf.txt
https://repositorio.escuelaing.edu.co/bitstream/001/522/7/FA%20-%20Trabajos%20de%20Grado%20Sistemas-1019060750.pdf.jpg
https://repositorio.escuelaing.edu.co/bitstream/001/522/11/Romero%20Gonz%c3%a1lez%2c%20Miguel%20%c3%81ngel%20-%202017.pdf.jpg
https://repositorio.escuelaing.edu.co/bitstream/001/522/13/Autorizaci%c3%b3n.pdf.jpg
bitstream.checksum.fl_str_mv fd152f596d9e5c99bf38775ecb1e1a10
ebfd00d341f12de86368aa1398cbe1b3
9480849945fd70c1da11fa639db5a11c
9974afb8c05c7642523b6d3b26493a03
d4797b90a6e5f7ad0ffcb8c35fdf253b
e1c06d85ae7b8b032bef47e42e4c08f9
630c71c7fb1d93f55fddf4ede578c915
13bb2488f11e09d5714bdcee68b2870e
339a815ae8dc8509738d5c9ea776df32
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
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_ 1814355602296537088
spelling Rocha Niño, Hernan Camilo (dir)b391807090ed5aee02db450ba0de86e3300Romero González, Miguel Ángel6e2c9607633d8d9b49f98c9925051c096002017-02-01T13:25:25Z2021-10-01T16:02:32Z2017-02-01T13:25:25Z2021-10-01T16:02:32Z2017http://catalogo-intra.escuelaing.edu.co/cgi-bin/koha/catalogue/detail.pl?biblionumber=19894https://repositorio.escuelaing.edu.co/handle/001/522This document presents an executable semantics in rewrite logic for Concurrent Spatial Constraint Programming, abbreviated SCCP. SCCP is a computational model used to reason about spatial information and knowledge distributed among the processes of a system. In SCCP, the processes simulate common knowledge statement and global information query, in turn, each agent in SCCP has its own information space, and epistemic entities such as knowledge or beliefs are represented in a system of parametric constraints. The executable semantics of SCCP is made available to users and programmers through a tool that integrates a programming language and specification into Maude. From this tool, in addition to simulating programs in this language, it is also possible to verify properties specified in temporal linear logic.Este documento presenta una semántica ejecutable en lógica de re- escritura para programación espacial concurrente por restricciones (del, inglés, Spatial Concurrent Constraint Programming, abreviado SCCP). SCCP es un modelo computacional utilizado para razonar acerca de información espacial y conocimiento distribuido entre los procesos de un sistema. En SCCP, los procesos simulan declaración de conocimien- to común y consulta de información global, a su vez, cada agente en SCCP tiene su propio espacio de información, y entidades epistémicas tal como conocimiento o creencias son representadas en un sistema de restricciones paramétricas. La semántica ejecutable de SCCP se hace disponible a los usuarios y programadores a través de una herramienta que integra un lenguaje de programación y la especificación en Maude. Desde esta herramienta, además de simular programas en este lenguaje, también es posible verificar propiedades especificadas en lógica lineal temporal.PregradoIngeniero(a) de Sistemasapplication/pdfspaDerechos Reservados - Escuela Colombiana de Ingeniería Julio Garavitohttps://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccessAtribución-NoComercial 4.0 Internacional (CC BY-NC 4.0)http://purl.org/coar/access_right/c_abf2SCCPLógica de reescrituraEspecificación formalMaudeSMT-SolverTkinterPythonParserSCCPrewriting logicformal specificationMaudeSMT-SolverTkinterParserPythonUna semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP)Trabajo de grado - Pregradoinfo:eu-repo/semantics/submittedVersionhttp://purl.org/coar/resource_type/c_7a1fTextinfo:eu-repo/semantics/bachelorThesishttp://purl.org/redcol/resource_type/TPhttp://purl.org/coar/version/c_71e4c1898caa6e32Ingeniería de SistemasORIGINALRomero González, Miguel Ángel - 2017.pdfDocumento trabajo de gradoapplication/pdf764639https://repositorio.escuelaing.edu.co/bitstream/001/522/1/Romero%20Gonz%c3%a1lez%2c%20Miguel%20%c3%81ngel%20-%202017.pdffd152f596d9e5c99bf38775ecb1e1a10MD51open accessAutorización.pdfAutorización de Publicación en Repositorio Institucional de la Escuelaapplication/pdf457283https://repositorio.escuelaing.edu.co/bitstream/001/522/2/Autorizaci%c3%b3n.pdfebfd00d341f12de86368aa1398cbe1b3MD52metadata only accessLICENSElicense.txttext/plain1762https://repositorio.escuelaing.edu.co/bitstream/001/522/3/license.txt9480849945fd70c1da11fa639db5a11cMD53open accessTEXTFA - Trabajos de Grado Sistemas-1019060750.pdf.txtExtracted texttext/plain67784https://repositorio.escuelaing.edu.co/bitstream/001/522/4/FA%20-%20Trabajos%20de%20Grado%20Sistemas-1019060750.pdf.txt9974afb8c05c7642523b6d3b26493a03MD54open accessRomero González, Miguel Ángel - 2017.pdf.txtRomero González, Miguel Ángel - 2017.pdf.txtExtracted texttext/plain67715https://repositorio.escuelaing.edu.co/bitstream/001/522/10/Romero%20Gonz%c3%a1lez%2c%20Miguel%20%c3%81ngel%20-%202017.pdf.txtd4797b90a6e5f7ad0ffcb8c35fdf253bMD510open accessAutorización.pdf.txtAutorización.pdf.txtExtracted texttext/plain2https://repositorio.escuelaing.edu.co/bitstream/001/522/12/Autorizaci%c3%b3n.pdf.txte1c06d85ae7b8b032bef47e42e4c08f9MD512metadata only accessTHUMBNAILFA - Trabajos de Grado Sistemas-1019060750.pdf.jpgIM Thumbnailimage/jpeg3337https://repositorio.escuelaing.edu.co/bitstream/001/522/7/FA%20-%20Trabajos%20de%20Grado%20Sistemas-1019060750.pdf.jpg630c71c7fb1d93f55fddf4ede578c915MD57open accessRomero González, Miguel Ángel - 2017.pdf.jpgRomero González, Miguel Ángel - 2017.pdf.jpgGenerated Thumbnailimage/jpeg6509https://repositorio.escuelaing.edu.co/bitstream/001/522/11/Romero%20Gonz%c3%a1lez%2c%20Miguel%20%c3%81ngel%20-%202017.pdf.jpg13bb2488f11e09d5714bdcee68b2870eMD511open accessAutorización.pdf.jpgAutorización.pdf.jpgGenerated Thumbnailimage/jpeg12173https://repositorio.escuelaing.edu.co/bitstream/001/522/13/Autorizaci%c3%b3n.pdf.jpg339a815ae8dc8509738d5c9ea776df32MD513metadata only access001/522oai:repositorio.escuelaing.edu.co:001/5222021-10-01 16:34:18.809open accessRepositorio Escuela Colombiana de Ingeniería Julio Garavitorepositorio.eci@escuelaing.edu.coQXV0b3Jpem8gYSBsYSBFc2N1ZWxhIENvbG9tYmlhbmEgZGUgSW5nZW5pZXLDrWEgSnVsaW8gR2FyYXZpdG8gcGFyYSBwdWJsaWNhciBlbCB0cmFiYWpvIGRlIGdyYWRvLCBhcnTDrWN1bG8sIHZpZGVvLCBjb25mZXJlbmNpYSwgbGlicm8sIGltYWdlbiwgZm90b2dyYWbDrWEsIGF1ZGlvLCBwcmVzZW50YWNpw7NuIHUgb3RybyAoZW4gYWRlbGFudGUgZG9jdW1lbnRvKSBxdWUgZW4gbGEgZmVjaGEgZW50cmVnbyBlbiBmb3JtYXRvIGRpZ2l0YWwsIHkgbGUgcGVybWl0byBkZSBmb3JtYSBpbmRlZmluaWRhIHF1ZSBsbyBwdWJsaXF1ZSBlbiBlbCByZXBvc2l0b3JpbyBpbnN0aXR1Y2lvbmFsLCBlbiBsb3MgdMOpcm1pbm9zIGVzdGFibGVjaWRvcyBlbiBsYSBMZXkgMjMgZGUgMTk4MiwgbGEgTGV5IDQ0IGRlIDE5OTMsIHkgZGVtw6FzIGxleWVzIHkganVyaXNwcnVkZW5jaWEgdmlnZW50ZSBhbCByZXNwZWN0bywgcGFyYSBmaW5lcyBlZHVjYXRpdm9zIHkgbm8gbHVjcmF0aXZvcy4gRXN0YSBhdXRvcml6YWNpw7NuIGVzIHbDoWxpZGEgcGFyYSBsYXMgZmFjdWx0YWRlcyB5IGRlcmVjaG9zIGRlIHVzbyBzb2JyZSBsYSBvYnJhIGVuIGZvcm1hdG8gZGlnaXRhbCwgZWxlY3Ryw7NuaWNvLCB2aXJ0dWFsOyB5IHBhcmEgdXNvcyBlbiByZWRlcywgaW50ZXJuZXQsIGV4dHJhbmV0LCB5IGN1YWxxdWllciBmb3JtYXRvIG8gbWVkaW8gY29ub2NpZG8gbyBwb3IgY29ub2Nlci4KRW4gbWkgY2FsaWRhZCBkZSBhdXRvciwgZXhwcmVzbyBxdWUgZWwgZG9jdW1lbnRvIG9iamV0byBkZSBsYSBwcmVzZW50ZSBhdXRvcml6YWNpw7NuIGVzIG9yaWdpbmFsIHkgbG8gZWxhYm9yw6kgc2luIHF1ZWJyYW50YXIgbmkgc3VwbGFudGFyIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBkZSB0ZXJjZXJvcy4gUG9yIGxvIHRhbnRvLCBlcyBkZSBtaSBleGNsdXNpdmEgYXV0b3LDrWEgeSwgZW4gY29uc2VjdWVuY2lhLCB0ZW5nbyBsYSB0aXR1bGFyaWRhZCBzb2JyZSDDqWwuIEVuIGNhc28gZGUgcXVlamEgbyBhY2Npw7NuIHBvciBwYXJ0ZSBkZSB1biB0ZXJjZXJvIHJlZmVyZW50ZSBhIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBzb2JyZSBlbCBkb2N1bWVudG8gZW4gY3Vlc3Rpw7NuLCBhc3VtaXLDqSBsYSByZXNwb25zYWJpbGlkYWQgdG90YWwgeSBzYWxkcsOpIGVuIGRlZmVuc2EgZGUgbG9zIGRlcmVjaG9zIGFxdcOtIGF1dG9yaXphZG9zLiBFc3RvIHNpZ25pZmljYSBxdWUsIHBhcmEgdG9kb3MgbG9zIGVmZWN0b3MsIGxhIEVzY3VlbGEgYWN0w7phIGNvbW8gdW4gdGVyY2VybyBkZSBidWVuYSBmZS4KVG9kYSBwZXJzb25hIHF1ZSBjb25zdWx0ZSBlbCBSZXBvc2l0b3JpbyBJbnN0aXR1Y2lvbmFsIGRlIGxhIEVzY3VlbGEsIGVsIENhdMOhbG9nbyBlbiBsw61uZWEgdSBvdHJvIG1lZGlvIGVsZWN0csOzbmljbywgcG9kcsOhIGNvcGlhciBhcGFydGVzIGRlbCB0ZXh0bywgY29uIGVsIGNvbXByb21pc28gZGUgY2l0YXIgc2llbXByZSBsYSBmdWVudGUsIGxhIGN1YWwgaW5jbHV5ZSBlbCB0w610dWxvIGRlbCB0cmFiYWpvIHkgZWwgYXV0b3IuIEVzdGEgYXV0b3JpemFjacOzbiBubyBpbXBsaWNhIHJlbnVuY2lhIGEgbGEgZmFjdWx0YWQgcXVlIHRlbmdvIGRlIHB1YmxpY2FyIHRvdGFsIG8gcGFyY2lhbG1lbnRlIGxhIG9icmEgZW4gb3Ryb3MgbWVkaW9zLiBFc3RhIGF1dG9yaXphY2nDs24gZXN0w6EgcmVzcGFsZGFkYSBwb3IgbGFzIGZpcm1hcyBkZWwgKGxvcykgYXV0b3IoZXMpIGRlbCBkb2N1bWVudG8uIApTw60gYXV0b3Jpem8gKGFtb3MpCg==

Publicaciones similares