Capítulo - Parte de Libro
Towards Real-Time Semantics for a Distributed Event-Based MOP Language
Fecha
2018Registro en:
978-3-030-02851-0
978-3-030-02852-7
doi.org/10.1007/978-3-030-02852-7_20
Autor
Sanabria-Ardila, Mateo
Garzón Alfonso, Wilmer
Benavides Navarro, Luis Daniel
Resumen
This paper investigates rewriting logic as a suitable means to model the semantics of distributed and concurrent systems implemented using Monitoring Oriented Programming (MOP) frameworks. MOP tools close the gap between specification and implementation, allowing several formal specifications and concrete implementations to be combined into a single executing system. To address real-time monitoring of modern distributed applications, we recently proposed REAL-T, a reactive event-based distributed programming language with explicit support for distributions and time manipulation. REAL-T allows programmers to instrument distributed applications to monitor and enforce specific behavior. It also supports requirements of modern reactive applications (responsiveness, resiliency, elasticity and asynchronous communication). The REAL-T programming model is very flexible, making the semantic specifications very challenging. Este artículo investiga la reescritura de la lógica como un medio adecuado para modelar la semántica de sistemas distribuidos y concurrentes implementados utilizando marcos de Programación Orientada a Monitoreo (MOP). Las herramientas MOP cierran la brecha entre la especificación y la implementación, permitiendo que varias especificaciones formales e implementaciones concretas se combinen en un solo sistema de ejecución. Para abordar el monitoreo en tiempo real de aplicaciones distribuidas modernas, recientemente propusimos REAL-T, un lenguaje de programación distribuida basado en eventos reactivos con soporte explícito para distribuciones y manipulación de tiempo. REAL-T permite a los programadores instrumentar aplicaciones distribuidas para monitorear y hacer cumplir un comportamiento específico. También es compatible con los requisitos de las aplicaciones reactivas modernas (capacidad de respuesta, resiliencia, elasticidad y comunicación asincrónica). El modelo de programación REAL-T es muy flexible, lo que hace que las especificaciones semánticas sean un gran desafío.