Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for subject:(Environnement mutli Domaines). One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Hilia, Mohamed. Canevas sémantique et méthodologie formelle pour le développement des applications ambiantes multi-domaine : Semantic framework and formal methodology for ambient applications development in multi-domain environment.

Degree: Docteur es, Informatique, 2013, Université Paris-Est

L'intelligence ambiante est considérée comme l'une des évolutions majeures de l'informatique ubiquitaire. Elle vise la mise en œuvre des environnements ambiants ou des espaces intelligents permettant d'améliorer la vie quotidienne des utilisateurs, leur bien-être et leur sécurité. Un environnement ambiant dispose d'une multitude d'équipements (capteurs, actionneurs), fournissant des services ubiquitaires atomiques qui sont distribués et de nature hétérogène. Ces services atomiques disponibles dans ce type d'environnement, ne répondent pas directement ou complètement à toutes les exigences et les besoins des utilisateurs. Par ailleurs, ces services de haut niveau peuvent impliquer l'interaction de services ubiquitaires appartenant et/ou contrôlés par différentes structures ou domaines (i.e. environnement multi-domaine). Dans ces travaux de thèse, on a étudié les problématiques reliées à l'agrégation des services ubiquitaires atomiques dans des coopérations et des compositions dans un environnement ambiant multi-domaine afin de répondre à des besoins utilisateurs. Cette étude concerne l'interopérabilité sémantique et comportementale des compositions de services ainsi que leurs spécifications dans un modèle formel basé sur la logique constructive BCDL0. Cette thèse a contribuée par la réalisation d'un canevas sémantique permettant la conception et la vérification formelles des processus coopératifs dans l'assistant à la preuve Isabelle/HOL. Le canevas sémantique proposé consiste en une ontologie de coopération extensible et un langage de spécification de services fiable (Sound) ainsi que des modules de mise en correspondance vers des infrastructures cibles

Ambient Intelligence is considered as the major application domain of ubiquitous computing. It aims at implementing intelligent environments to improve the daily activities, the well-being and the safety of users. An ambient environment has a multitude of devices (sensors, actuators), providing atomic ubiquitous services which are distributed and heterogeneous. These atomic services available in these environments, do not directly or fully meet all the requirements and the needs of users. Moreover, these high-level services may involve the interaction of ubiquitous services owned and/or controlled by different structures or domains (i.e. multi-domain environment). In this work, we studied the problems related to the aggregation of atomic ubiquitous services in cooperations and compositions in an ambient multi-domain environment in order to meet users' needs. This study concerns the semantic and behavioral interoperability of high-level composite services and their formal specification. This latter, is based on the Basic Constructive Description Logic, namely, BCDL0 formal model. This work contributes by realizing a semantic framework for the design and formal verification of cooperative processes in the interactive theorem prover Isabelle/HOL. The proposed semantic framework consists of an extensible cooperation ontology, a sound formal specification language of…

Advisors/Committee Members: Djouani, Karim (thesis director).

Subjects/Keywords: Web sémantique; Environnement mutli-Domaines; Contol d'accès et d'usage; Architecture orienté services; Méthodes formelle; Composition de services; Semantic Web; Multi-Domains environnement; Access and usage control; Service oriented architecture; Formal methods; Service composition

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hilia, M. (2013). Canevas sémantique et méthodologie formelle pour le développement des applications ambiantes multi-domaine : Semantic framework and formal methodology for ambient applications development in multi-domain environment. (Doctoral Dissertation). Université Paris-Est. Retrieved from http://www.theses.fr/2013PEST1198

Chicago Manual of Style (16th Edition):

Hilia, Mohamed. “Canevas sémantique et méthodologie formelle pour le développement des applications ambiantes multi-domaine : Semantic framework and formal methodology for ambient applications development in multi-domain environment.” 2013. Doctoral Dissertation, Université Paris-Est. Accessed January 23, 2021. http://www.theses.fr/2013PEST1198.

MLA Handbook (7th Edition):

Hilia, Mohamed. “Canevas sémantique et méthodologie formelle pour le développement des applications ambiantes multi-domaine : Semantic framework and formal methodology for ambient applications development in multi-domain environment.” 2013. Web. 23 Jan 2021.

Vancouver:

Hilia M. Canevas sémantique et méthodologie formelle pour le développement des applications ambiantes multi-domaine : Semantic framework and formal methodology for ambient applications development in multi-domain environment. [Internet] [Doctoral dissertation]. Université Paris-Est; 2013. [cited 2021 Jan 23]. Available from: http://www.theses.fr/2013PEST1198.

Council of Science Editors:

Hilia M. Canevas sémantique et méthodologie formelle pour le développement des applications ambiantes multi-domaine : Semantic framework and formal methodology for ambient applications development in multi-domain environment. [Doctoral Dissertation]. Université Paris-Est; 2013. Available from: http://www.theses.fr/2013PEST1198

.