SCCP Operational Semantics Implementation using the K-Framework
Méndez Nogales, Juan Pablo · Vitela (Pontificia Universidad Javeriana Cali) · 2019
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.