SCCP Operational Semantics Implementation using the K-Framework

Metadata
Show full item recordDescription
Este documento presenta una semántica ejecutable para la Programación Espacial Concurrente por Restricciones (del ingles Spatial Concurrent Constraint Programming SCCP). SCCP es un modelo computacional utilizado para razonar sobre la información espacial y conocimiento distribuido entre los procesos de un sistema. En SCCP, los procesos simulan la declaración de conocimientos comunes y la recuperación de información global. Cada agente en SCCP tiene su propio banco de información, y conceptos epistémicos como creencias y conocimientos están representados en un sistema de restricción paramétrica. La implementación de la semántica operacional estructural presentada en este trabajo ha sido desarrollada utilizando K-Framework, un marco semántico ejecutable basado en lógica de reescritura, para definir lenguajes de programación especificando su sintaxis y semántica usando configuraciones, cálculos y reglas de reescritura.Date
2019-02-25Department
Valle del CaucaCity
CaliKeywords
SCCPCCP
Reescritura
Rewriting
K-Framework
Ionic
Mobile App
Facultad de Humanidades y Ciencias Sociales
Programa de Ingeniería de sistemas
Type
Trabajo de GradoCitation
Méndez Nogales, J. P. (2019, febrero 25) SCCP Operational Semantics Implementation using the K-Framework. Pontificia Universidad Javeriana, Cali.Collections
The following license files are associated with this item: