Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution

Matmat Riadh, Kitouni Ilham and Saidouni Djamel Eddine
Additional contact information
Matmat Riadh: MISC Laboratory, Abdelhamid Mehri Constantine 2 University, Constantine, Algeria
Kitouni Ilham: MISC Laboratory, Abdelhamid Mehri Constantine 2 University, Constantine, Algeria
Saidouni Djamel Eddine: MISC Laboratory, Abdelhamid Mehri Constantine 2 University, Constantine, Algeria

International Journal of Distributed Systems and Technologies (IJDST), 2016, vol. 7, issue 3, 21-41

Abstract: The timed automata are extensively used in different fields of formal validation in particular the model checking one. In this paper the authors are interested by a class of TA called durational actions timed automata (daTA) and the zones graph which represents an exact finite state abstraction based on what called Zones. The authors present a novel approach to construct a zone graph, based on the maximality semantics called maximality-based zone graph (MZG) by a local construction approach and they define timed maximality bisimulation relation for real-time model based on the maximality semantics. The authors propose a new method for distributed state space generation of maximality-based zone graph based on DHT structure. They also describe an implementation of this construction (DTaMaZG tool). The experiments given at the end of this article has shown good results especially when comparing with other works that have already proceed in the distributed generation of MLTS (Maximality based Labeled Transition Systems).

Date: 2016
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/IJDST.2016070102 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jdst00:v:7:y:2016:i:3:p:21-41

Access Statistics for this article

International Journal of Distributed Systems and Technologies (IJDST) is currently edited by Nik Bessis

More articles in International Journal of Distributed Systems and Technologies (IJDST) from IGI Global
Bibliographic data for series maintained by Journal Editor ().