Towards Real-Time Semantics for a Distributed Event-Based MOP Language

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.

• Autores: Sanabria, Mateo; Garzón Alfonso, Wilmer; Benavides Navarro, Luis Daniel
• Tipo de recurso: Book
• Fecha de publicación: 2018
• Institución: Escuela Colombiana de Ingeniería Julio Garavito
• Repositorio: Repositorio Institucional ECI
• Idioma: eng
• OAI Identifier: oai:repositorio.escuelaing.edu.co:001/1800
• Acceso en línea: https://repositorio.escuelaing.edu.co/handle/001/1800
• Palabra clave: Semántica de sistemas; Reestructura lógica; Programación orientada a eventos; Lenguaje de programación; REAL-T; Rewriting logic; Semantics; Distributed programming; Event oriented programming; Explicit time management
• Rights: closedAccess
• License: © Springer Nature Switzerland AG 2018