Feb 2, 2018 · We formalize the behavior of the monitors with the aid of Abstract State Machines and employ the ASMETA toolset for simulating and analyzing ...

Abstract. Large-Scale Distributed Systems are characterized by high complexity and heterogeneity, which might lead to unexpected failures.

This paper introduces a formal approach for modeling and verifying a monitoring solution for Large-Scale Distributed Systems. We formalize the behavior of the ...

Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines. https://doi.org/10.1007/978-3-319-74781-1_11 · Full text.

Bibliographic details on Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines.

The current paper proposes an Abstract State Machine model for defining monitoring processes addressing failures and unavailability of the system nodes. The ...

The goal of this paper is to integrate the formal modeling capabilities of the. Abstract State Machines (ASMs) for defining a monitoring solution for LDS. We.

This book presents an original formalism: Integrated Model of Distributed Systems (IMDS), which defines a system as two sets: states and messages, ...

We formalize the behavior and the collaboration mechanisms between agents of the system with the aid of Abstract State Machines and employ the ASMETA toolset ...

Formalizing Monitoring Processes for Large-Scale Distributed Systems using Abstract State Machines. A Buga, ST Nemes. Formal Approaches for Advanced Computing ...