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 co...

Full description

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