⌈-Pomset pour la modélisation et la vérification de systèmes parallèles

Abstract : Multiset of partially ordered events (pomset) can describe distributed behavior. Although very intuitive and compact, these models are difficult to verify. The main technique used in this thesis is to bring back decision problems for MSO over pomsets to problems for MSO over words. The problems considered are satisfiability and verification. The verification problem for a formula and a given pomset consists in deciding whether such an interpretation exists, and the satisfiability problem consists in deciding whether a pomset satisfying the formula exists. The satisfiability problem of MSO over pomsets is undecidable. A semi-decision procedures can provide solutions for many cases despite the fact that they may not terminate. We propose a new model, so called ⌈-Pomset, making the exploration of pomsets space possible. Consequently, if a formula is satisfiable then our approach will eventually lead to the detection of a solution. Moreover, using ⌈-Pomsets as models for concurrent systems, the model checking of partial order formulas on concurrent systems is decidable. Some experiments have been made using MONA. We compare also the expressive power of some classical model of concurrency such as Mazurkiewicz traces with our ⌈-Pomsets.
Document type :
Theses
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01298527
Contributor : Abes Star <>
Submitted on : Wednesday, April 6, 2016 - 10:23:01 AM
Last modification on : Thursday, January 17, 2019 - 3:10:02 PM
Long-term archiving on : Thursday, July 7, 2016 - 4:41:57 PM

File

mouhamadou-sakho_3339_vm.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01298527, version 1

Citation

Mouhamadou Tafsir Sakho. ⌈-Pomset pour la modélisation et la vérification de systèmes parallèles. Modélisation et simulation. Université d'Orléans, 2014. Français. ⟨NNT : 2014ORLE2068⟩. ⟨tel-01298527⟩

Share

Metrics

Record views

192

Files downloads

153