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