Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level

The paper proposes a new approach to model checking Chandy-Lamport Distributed Snapshot Algorithm (CLDSA). The essential of the approach is that CLDSA is specified as a meta-program in Maude such that the meta-program takes a specification of an underlying distributed system (UDS) and generates the...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of the International Conference on Distributed Computing Systems s. 1586 - 1596
Hlavní autoři:	Thu Doan, Ha Thi, Ogata, Kazuhiro, Bonnet, Francois
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.06.2017
Témata:	Computational modeling Conferences Distributed algorithms Distributed computing distributed snapshot algorithm Electronic mail meta-programming Model checking reachability Reliability system specification
ISSN:	1063-6927
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!