Please use this identifier to cite or link to this item: https://repositorio.escuelaing.edu.co/handle/001/522
Exportar a Bibtex Exportar a RIS Exportar a Excel Buscar en google Schoolar Buscar en microsoft academic
Title: Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP)
Authors: Romero González, Miguel Ángel 
metadata.dc.thesis.grantor: Rocha Niño, Hernan Camilo (dir)
Keywords: SCCP
Lógica de reescritura
Especificación formal
Maude
SMT-Solver
Tkinter
Python
Parser
Issue Date: 2017
metadata.dc.description.resumen: 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.
Abstract: 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.
URI: http://repositorio.escuelaing.edu.co/handle/001/522
http://catalogo-intra.escuelaing.edu.co/cgi-bin/koha/catalogue/detail.pl?biblionumber=19894
Appears in Collections:FA - Trabajos de Grado Sistemas

Files in This Item:
File Description SizeFormat 
Romero González, Miguel Ángel - 2017.pdfDocumento trabajo de grado746.72 kBAdobe PDFThumbnail
View/Open
Autorización.pdfAutorización de Publicación en Repositorio Institucional de la Escuela446.57 kBAdobe PDFThumbnail
View/Open
Show full item record

Page view(s)

3
checked on Nov 9, 2017

Download(s)

3
checked on Nov 9, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.