Pour savoir comment effectuer et gérer un dépôt de document, consultez le « Guide abrégé – Dépôt de documents » sur le site Web de la Bibliothèque. Pour toute question, écrivez à corpus@ulaval.ca.
 

Publication :
Demonic Kleene Algebra

bul.contributor.advisor-authkeyDesharnais, Jules|=01-0593348
bul.contributor.author-authkeyDe Carufel, Jean-Lou|=01-1026358
bul.description.provenancescspb
bul.identifier.controlNumber1132163351
dc.contributor.advisorDesharnais, Jules
dc.contributor.authorCarufel, Jean-Lou de
dc.date.accessioned2018-04-13T21:38:48Z
dc.date.available2018-04-13T21:38:48Z
dc.date.issued2009
dc.date.updated2018-04-13T21:38:48Z
dc.description.abstractNous rappelons d’abord le concept d’algèbre de Kleene avec domaine (AKD). Puis, nous expliquons comment utiliser les opérateurs des AKD pour définir un ordre partiel appelé raffinement démoniaque ainsi que d’autres opérateurs démoniaques (plusieurs de ces définitions proviennent de la littérature). Nous cherchons à comprendre comment se comportent les AKD munies des opérateurs démoniaques quand on exclut les opérateurs angéliques usuels. C’est ainsi que les propriétés de ces opérateurs démoniaques nous servent de base pour axiomatiser une algèbre que nous appelons Algèbre démoniaque avec domaine et opérateur t-conditionnel (ADD-[opérateur t-conditionnel]). Les lois des ADD-[opérateur t-conditionnel] qui ne concernent pas l’opérateur de domaine correspondent à celles présentées dans l’article Laws of programming par Hoare et al. publié dans la revue Communications of the ACM en 1987. Ensuite, nous étudions les liens entre les ADD-[opérateur t-conditionnel] et les AKD munies des opérateurs démoniaques. La question est de savoir si ces structures sont isomorphes. Nous démontrons que ce n’est pas le cas en général et nous caractérisons celles qui le sont. En effet, nous montrons qu’une AKD peut être transformée en une ADD-[opérateur t-conditionnel] qui peut être transformée à son tour en l’AKD de départ. Puis, nous présentons les conditions nécessaires et suffisantes pour qu’une ADD-[opérateur t-conditionnel] puisse être transformée en une AKD qui peut être transformée à nouveau en l’ADD-[opérateur t-conditionnel] de départ. Les conditions nécessaires et suffisantes mentionnées précédemment font intervenir un nouveau concept, celui de décomposition. Dans un contexte démoniaque, il est difficile de distinguer des transitions qui, à partir d’un même état, mènent à des états différents. Le concept de décomposition permet d’y arriver simplement. Nous présentons sa définition ainsi que plusieurs de ses propriétés.fr
dc.description.abstractWe first recall the concept of Kleene algebra with domain (KAD). Then we explain how to use the operators of KAD to define a demonic refinement ordering and demonic operators (many of these definitions come from the literature). We want to know how do KADs with the demonic operators but without the usual angelic ones behave. Then, taking the properties of the KAD-based demonic operators as a guideline, we axiomatise an algebra that we call Demonic algebra with domain and t-conditional (DAD-[opérateur t-conditionnel]). The laws of DAD-[opérateur t-conditionnel] not concerning the domain operator agree with those given in the 1987 Communications of the ACM paper Laws of programming by Hoare et al. Then, we investigate the relationship between DAD-[opérateur t-conditionnel] and KAD-based demonic algebras. The question is whether every DAD-[opérateur t-conditionnel] is isomorphic to a KAD-based demonic algebra. We show that it is not the case in general. However, we characterise those that are. Indeed, we demonstrate that a KAD can be transformed into a DAD-[opérateur t-conditionnel] which can be transformed back into the initial KAD. We also establish necessary and sufficient conditions for which a DAD-[opérateur t-conditionnel] can be transformed into a KAD which can be transformed back into the initial DAD-[opérateur t-conditionnel]. Finally, we define the concept of decomposition. This notion is involved in the necessary and sufficient conditions previously mentioned. In a demonic context, it is difficult to distinguish between transitions that, from a given state, go to different states. The concept of decomposition enables to do it easily. We present its definition together with some of its properties.en
dc.format.extent230 p.
dc.identifier.bacTC-QQLA-25981
dc.identifier.other25981
dc.identifier.urihttp://hdl.handle.net/20.500.11794/20569
dc.languageeng
dc.rightshttp://purl.org/coar/access_right/c_abf2
dc.subject.classificationQA 76.05 UL 2009
dc.subject.rvmAlgèbre de Kleenefr_CA
dc.titleDemonic Kleene Algebraen
dc.typethèse de doctorat
dc.type.legacyCOAR1_1::Texte::Thèse::Thèse de doctoratfr
dcterms.publisher.locationQuébec
dspace.accessstatus.time2024-03-21 20:14:54
dspace.entity.typePublication
etdms.degree.grantorUniversité Lavalfr_CA
etdms.degree.nameThèse. Informatiquefr_CA
relation.isAdvisorOfPublicationb0a3b0c2-7677-49dd-8f5f-cb0b9e7ce530
relation.isAdvisorOfPublication.latestForDiscoveryb0a3b0c2-7677-49dd-8f5f-cb0b9e7ce530
relation.isAuthorOfPublication1a05d194-9916-4dff-a00f-5193a0c83353
relation.isAuthorOfPublication.latestForDiscovery1a05d194-9916-4dff-a00f-5193a0c83353
relation.isResourceTypeOfPublicationea18b676-87ff-47c6-8d0d-fc3b87c36448
relation.isResourceTypeOfPublication.latestForDiscoveryea18b676-87ff-47c6-8d0d-fc3b87c36448

Fichiers

Bundle original
Voici les éléments 1 - 1 sur 1
En cours de chargement...
Vignette d'image
Nom :
25981.pdf
Taille :
1.94 MB
Format :
Adobe Portable Document Format
Description :
Texte