RT Conference Proceedings
T1 Programming Open Distributed Systems in Maude
A1 Durán, Francisco
A1 Eker, Steven
A1 Escobar, Santiago
A1 Martí Oliet, Narciso
A1 Rubio Cuéllar, Rubén Rafael
A1 Talcott, Carolyn
A2 Bruni, Alessandro
A2 Momigliano, Alberto
A2 Pradella, Matteo
A2 Rossi, Matteo
AB Maude is a high-performance logical framework based on rewriting logic and supporting formal specification, verification and declarative programming of concurrent systems. Since most concurrent open systems are made up of actor-like objects that communicate with each other through message passing, Maude provides special features to support their specification, verification and programming. Since open systems are heterogeneous, involving widely different kinds of objects such as sensors, actuators, devices, databases, graphical user interfaces, and so on, Maude supports declarative message-passing interaction between Maude objects and a wide variety of heterogeneous external objects. In this paper we explain and illustrate a methodology where an open system can first be designed and verified in Maude and then implemented as a distributed system of heterogeneous objects in a way that seamlessly bridges the gap between its formal specification and verification and its distributed implementation.
YR 2024
FD 2024-09-09
LK https://hdl.handle.net/20.500.14352/113290
UL https://hdl.handle.net/20.500.14352/113290
LA eng
NO Agencia Estatal de Investigación
NO Generalitat Valenciana
NO OTAN
DS Docta Complutense
RD 7 abr 2025