Skip to Main content Skip to Navigation
Theses

Computational aspects of infinite automata simulation and closure system related issues

Résumé : La thèse est consacrée à des problématiques d’algorithmique et de complexité sur deux sujets. Le premier sujet s’intéresse à la composition comportementale des services web. Ce problème a été réduit à la simulation d’un automate par le produit fermé d’un ensemble d’automates. La thèse étudie dans sa première partie la complexité de ce problème en considérant deux paramètres : le nombre des instances considéré de chaque service et la présence des états hybrides : état à la fois intermédiaire et final dans un automate. Le second sujet porte sur les systèmes de fermeture et s’intéresse au calcul de l’extension maximale d’un système de fermeture ainsi qu’à l’énumération des clefs candidates d’une base implicative. On donne un algorithme incrémental polynomial qui génère l’extension maximale d’un treillis codé par une relation binaire. Puis, la notion de key-ideal est définie, en prouvant que leur énumération est équivalente à l’énumération des clefs candidates. Ensuite, on donne un algorithme qui permet de générer les key-ideal minimaux en temps incrémental polynomial et les key-ideal non minimaux en délai polynomial.
Document type :
Theses
Complete list of metadatas

Cited literature [49 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01807642
Contributor : Abes Star :  Contact
Submitted on : Tuesday, June 5, 2018 - 8:33:30 AM
Last modification on : Wednesday, March 4, 2020 - 12:28:02 PM
Document(s) archivé(s) le : Thursday, September 6, 2018 - 1:26:13 PM

File

2017CLFAC031_ENNAOUI.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01807642, version 1

Collections

Citation

Karima Ennaoui. Computational aspects of infinite automata simulation and closure system related issues. Web. Université Clermont Auvergne, 2017. English. ⟨NNT : 2017CLFAC031⟩. ⟨tel-01807642⟩

Share

Metrics

Record views

203

Files downloads

127