TY - GEN
T1 - Towards Modeling Monitoring Services for Large-Scale Distributed Systems with Abstract State Machines
AU - Buga, Andreea
AU - Nemes, Sorana-Tania
PY - 2017/6
Y1 - 2017/6
N2 - The evolution of Large-Scale Distributed Systems favored the
development of solutions for smart cities. They consist of a large number of sensors, processing centres and services
deployed along a wide geographical area. Due to their complexity and heterogeneity, such systems face a high-level of
uncertainty and the failure of one node can affect the availability of the whole solution. Monitoring services collect
information about the state of components and elaborate a diagnosis, aiming to increase, in strong collaboration with
the adaptation framework, the reliability of the system. This paper proposes an Abstract State Machine model to capture
the properties and behaviour of monitoring and adaptation services addressing failures of the system. The method
encompasses the translation of the requirements of the system to ground models. We discuss the formal structure of the
proposal with respect to the problem domain and emphasize the benefits of adopting this technique. We discuss the
suitability of the method for present and future technologies and compare it with other modeling approaches.
AB - The evolution of Large-Scale Distributed Systems favored the
development of solutions for smart cities. They consist of a large number of sensors, processing centres and services
deployed along a wide geographical area. Due to their complexity and heterogeneity, such systems face a high-level of
uncertainty and the failure of one node can affect the availability of the whole solution. Monitoring services collect
information about the state of components and elaborate a diagnosis, aiming to increase, in strong collaboration with
the adaptation framework, the reliability of the system. This paper proposes an Abstract State Machine model to capture
the properties and behaviour of monitoring and adaptation services addressing failures of the system. The method
encompasses the translation of the requirements of the system to ground models. We discuss the formal structure of the
proposal with respect to the problem domain and emphasize the benefits of adopting this technique. We discuss the
suitability of the method for present and future technologies and compare it with other modeling approaches.
UR - http://ceur-ws.org/Vol-1859/
M3 - Conference proceedings
VL - 1859
T3 - CEUR Workshop Proceedings
SP - 103
EP - 112
BT - Joint Proceedings of the Radar tracks at the 22nd International Working Conference on Evaluation and Modeling Methods for Systems Analysis and Development (EMMSAD)
A2 - CEUR-WS.org, null
ER -
