Middleware reconfiguration relying on formal methods
N Rosa - 2015 IEEE International Conference on Computer and …, 2015 - ieeexplore.ieee.org
Adaptive middleware is a software for developing and executing distributed applications and
can be reconfigured at runtime without its complete stop. The need of reconfiguration is …
can be reconfigured at runtime without its complete stop. The need of reconfiguration is …
Consistent Coordination Decoupling in Tuple Space Based Mobile Middleware: Design and Formal Specifications
Abstract Tuple Space based Mobile Middleware (TSMM), with tuple space as its
coordination medium, provides multiple decoupled behaviors for coordinating interactions …
coordination medium, provides multiple decoupled behaviors for coordinating interactions …