The following CTMC models and properties are available:
-
Simple Proxy model: A CTMC model for a client-server system in which a client process invokes a server process via a simple proxy, with no resiliency pattern implemented.
-
Retry model: A CTMC model for a client-server system in which a client process invokes a server process using the Retry pattern.
-
Static Circuit Breaker model: A CTMC model for a client-server system in which a client process invokes a server process using a static variation of the Circuit Breaker pattern. The Circuit Breaker timeout value is constant.
-
Dynamic Circuit Breaker model: A CTMC model for a client-server system in which a client process invokes a server process using a dynamic variation of the Circuit Breaker pattern. The Circuit Breaker timeout value is dynamically defined.
-
Properties: Model properties to be checked in the above models using PRISM.
See our ICSA 2020 paper for a more detailed description of each model.