000			01888nmm a2200217 a 4500
008			160202e2016 ck ||||fq||d| 00| 0 spa d
082	0	4	_223 _a006 _bR763s TS
100	1		_aRomero González, Miguel Ángel _93344
245	0	0	_aUna semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP) _h[Recurso Electrónico] / _cMiguel Ángel Romero González
260			_aBogotá (Colombia) : _bEscuela Colombiana de Ingeniería Julio Garavito, _c2017.
300			_a45 paginas. _blustracionesi., gráficas.
502			_aTesis (Ingeniería de Sistemas)
504			_aIncluye Bibliografía
520			_aEste documento presenta una semántica ejecutable en lógica de reescritura 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 conocimiento 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.
650		0	_9484 _aLENGUAJE DE PROGRAMACIÓN
650		0	_99612 _aPROGRAMACIÓN LOGICA
700			_aRocha, Camilo _938240 _edirector.
856			_uhttp://repositorio.escuelaing.edu.co/handle/001/522
942			_2ddc _cTE
999			_c19894 _d19894