Dissertations / Theses on the topic 'Internet des objets – Programmation'
To see the other types of publications on this topic, follow the link: Internet des objets – Programmation.
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Internet des objets – Programmation.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Muroor, Nadumane Ajay Krishna. "Modèles et vérification pour la composition et la reconfiguration d'applications basées sur le web des objets." Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALM067.
Abstract:
Les applications de l'Internet des objets (IoT) sont construites en interconnectant les objets du quotidien en réseau. Les objets connectés collaborent ensemble, afin d'observer l'environnement les entourant, et agir sur celui-ci. Pour le grand public, l'un des moyens de créer des applications IoT consiste à combiner différents objets à l'aide de règles d'action conditionnelle (ECA). Ces règles se présentent généralement sous la forme « SI quelque chose se produit, ALORS faire quelque chose ». Le web des objets (Web of Things ou WoT) est un ensemble de normes et de principes qui intègrent les capacités du web et les styles architecturaux à l'IoT. Bien que l'architecture WoT associée aux règles de la ECA simplifie dans une large mesure la construction d'applications IoT, il reste des défis à relever afin que les utilisateurs finaux puissent développer aisément des applications avancées et correctes, en raison de la nature dynamique, réactive et hétérogène des systèmes IoT.L'objectif général de ce travail est de tirer parti des méthodes formelles pour fournir un certain niveau de garantie aux utilisateurs finaux des applications IoT. Cela permet, au moment de la conception, d'assurer que l'application conçue se comportera comme prévu lorsque celle-ci sera déployée. Dans ce contexte, nous proposons un cadre de développement formel basé sur le WoT. Les objets sont décrits à l'aide d'un modèle dérivé de la spécification Thing Description du WoT. Ensuite, les applications sont conçues non seulement en spécifiant les règles individuelles ECA, mais aussi en associant ces règles à l'aide d'un langage de composition. Ce langage permet aux utilisateurs de construire des scénarios d'automatisation plus expressifs. La description des objets et leur composition sont traduites dans une spécification formelle à partir de laquelle le comportement complet de l'application est identifié. Afin de garantir une conception correcte de l'application avant le déploiement, cette thèse propose de valider un ensemble de propriétés génériques et spécifiques sur le comportement complet de l'application. En outre, les applications déployées peuvent être reconfigurées au cours de leur cycle de vie. Le travail supporte la reconfiguration en spécifiant des propriétés de reconfiguration qui permettent de comparer qualitativement le comportement de la nouvelle configuration avec la configuration d'origine. La mise en œuvre de toutes les propositions est réalisée en étendant la plate-forme Mozilla WebThings. Un nouvel ensemble d'interfaces utilisateur est construit pour prendre en charge la composition des règles et la reconfiguration de l’application. Un composant permettant de transformer automatiquement les modèles WoT en modèles formels, pleinement intégré au sein d’une boite à outils de vérification formelle a été développé. Enfin, un moteur de déploiement est construit en étendant les API de WebThings. Il dirige le déploiement des applications et des reconfigurations en respectant la sémantique de leur compositionThe Internet of Things (IoT) applications are built by interconnecting everyday objects over a network. These objects or devices sense the environment around them, and their network capabilities allow them to communicate with other objects to perform utilitarian tasks. One of the popular ways to build IoT applications in the consumer domain is by combining different objects using Event-Condition-Action (ECA) rules. These rules are typically in the form of IF something-happens THEN do-something. The Web of Things (WoT) are a set of standards and principles that integrate architectural styles and capabilities of web to the IoT. Even though WoT architecture coupled with ECA rules simplifies the building of IoT applications to a large extent, there are still challenges in making end-users develop advanced applications in a simple yet correct fashion due to dynamic, reactive and heterogeneous nature of IoT systems.The broad objective of this work is to leverage formal methods to provide end-users of IoT applications certain level of guarantee at design time that the designed application will behave as intended upon deployment. In this context, we propose a formal development framework based on the WoT. The objects are described using a behavioural model derived from the Thing Description specification of WoT. Then, the applications are designed not only by specifying individual ECA rules, but also by composing these rules using a composition language. The language enables users to build more expressive automation scenarios. The description of the objects and their composition are encoded in a formal specification from which the complete behaviour of the application is identified. In order to guarantee correct design of the application, this work proposes a set of generic and application-specific properties that can be validated on the complete behaviour before deployment. Further, the deployed applications may be reconfigured during their application lifecycle. The work supports reconfiguration by specifying reconfiguration properties that allow one to qualitatively compare the behaviour of the new configuration with the original configuration. The implementation of all the proposals is achieved by extending Mozilla WebThings platform. A new set of user interfaces are built to support the composition of rules and reconfiguration. A model transformation component which transforms WoT models to formal models and an integration with formal verification toolbox are implemented to enable automation. Finally, a deployment engine is built by extending WebThings APIs. It directs the deployment of applications and reconfigurations respecting their composition semantics
2
Rammal, Darine. "Memory safety for synchronous reactive programming." Electronic Thesis or Diss., Orléans, 2024. http://www.theses.fr/2024ORLE1002.
Abstract:
Les langages réactifs synchrones constituent un excellent choix pour la programmation de l'IoT en raison de leur sémantique claire pour l'interaction entre le système et l'environnement. Cependant, en ce qui concerne les systèmes critiques en termes de sécurité ou contraints en ressources, des propositions récentes telles que Fairthreads ou ReactiveML font face à un problème bien connu. La gestion manuelle de la mémoire de Fairthreads peut entraîner des erreurs, tandis que la collecte des déchets de ReactiveML assure la sécurité de la mémoire mais introduit une surcharge d'exécution. Cette thèse vise à résoudre le problème de la sécurité de la mémoire en développant un langage de programmation réactif spécifiquement conçu pour les systèmes en temps réel, intégrant des threads coopératifs et une exécution synchrone. En nous appuyant sur le solide système de types du langage de programmation Rust, nous proposons un système de types similaire à Rust pour un langage de programmation réactif de noyau appelé MSSL. MSSL offre un modèle de threads coopératifs et facilite le partage de données mutables entre les threads tout en préservant la sécurité des types et des emprunts. Pour y parvenir, nous introduisons une nouvelle abstraction appelée Trc (Thread Reference Counting), qui combine la sécurité de propriété des références de Rust avec le mécanisme de comptage de références des pointeurs intelligents de Rust. Nous présentons ensuite la sémantique et le système de types de MSSL pour démontrer ses capacités à maintenir la sécurité des types, la sécurité des emprunts et la sécurité de la concurrence. De plus, nous étendons MSSL en introduisant des extensions réactives, en intégrant le concept de signaux qui offrent des moyens de communication puissants, flexibles et fiables. Enfin, nous fournissons une implémentation en Java de l'ensemble complet de MSSL, en basant sur la sémantique et les règles de typage de son système de typesSynchronous Reactive Languages are an excellent choice for IoT programming due to their clear system-environment interaction semantics. However, when it comes to safety- critial or resource-constrained systems, recent proposals like Fairthreads or ReactiveML face a well-known issue. Fairthreads' manual memory management can lead to errors, while ReactiveML's garbage collection ensures memory safety but introduces execution overhead. This thesis aims to address the memory safety issue by developing a reactive programming language specifically designed for real-time systems, incorporating cooperative threads and synchronous execution. Drawing from the robust type system of the Rust programming language, we propose a Rust-like type system for a kernel reactive programming language named MSSL. MSSL features a cooperative threading model and facilitates mutable data sharing between threads while preserving type and borrowing safety. To achieve this, we introduce a novel abstraction called Trc (Thread Reference Counting), which combines the ownership safety of Rust references with the reference counting mechanism of Rust smart pointers. Then, we present the semantics and type system of MSSL to demonstrate its capabilities in maintaining type safety, borrowing safety, and concurrency safety. Furthermore, we extend MSSL by introducing reactive extensions, incorporating the concept of signals that offer powerful, flexible, and reliable means of communication. Finally, we provide a Java implementation of the complete MSSL set, based on the semantic and typing rules of its type system
3
Mansour, Elio. "Détection d’évènements dans des environnements connectés." Thesis, Pau, 2019. http://www.theses.fr/2019PAUU3017/document.
Abstract:
L’intérêt croissant pour les environnements connectés (bâtiments, villes, usines intelligents) etl’évolution des réseaux de capteurs, technologies de gestion/communication de données ont ouvertla voie à des applications intéressantes et utiles qui aident les utilisateurs dans leurs tâchesquotidiennes (augmenter la productivité dans une usine, réduire la consommation d’énergie).Cependant, diverses améliorations sont encore nécessaires. Par exemple, comment améliorer lareprésentation de ces environnements complexes, dynamiques et hétérogènes. En outre, commentfaciliter l’interaction entre les utilisateurs et leurs environnements connectés et comment fournir desoutils de surveillance et de gestion de tels environnements.Dans cette thèse, nous nous concentrons sur quatre défis principaux: (i) représenter un ensemblediversifié de composants et d’éléments liés à l’environnement et à son réseau de capteurs; (ii) fournirun langage de requête qui gère les interactions utilisateur/environnement connecté (pour la définitionde l’environnement, la gestion de données, la définition d’événements); (iii) faire face à la dynamiquede l’environnement et à son évolution dans le temps; et (iv) proposer un mécanisme générique dedétection d’événements pour mieux surveiller l’environnement.Pour ce faire, nous présentons d’abord un modèle de données basé sur une ontologie qui représentedes environnements et réseaux de capteurs hybrides. Couvrant ainsi divers capteurs (statique, mobile),environnements (infrastructures, équipements) et données (scalaires, multimédia). Ensuite, nousintroduisons un langage de requête que l’on pourrait utiliser pour diverses tâches (définirl’environnement connecté, la recherche d’informations, la définition d’événements, la gestion dedonnées). De plus, afin de suivre les changements d’environnement, nous fournissons un optimiseurde requêtes qui permet aux requêtes soumises de gérer la dynamique de l’environnement avant leurexécution. Enfin, nous proposons un noyau de détection d’événement qui prend en entrée lesdéfinitions d’événement et détecte les événements ciblés.Nous regroupons les modules susmentionnés dans un framework global pour la détectiond’événements dans des environnements connectés. Notre proposition est générique, extensible, etpourrait être utilisée avec différents environnements connectés tels que des bâtiments, des villes. .The rising interest in smart connected environments (e.g., smart buildings, cities, factories) and theevolution of sensors, data management/communication technologies have paved the way forinteresting and useful applications that help users in their every day tasks (e.g. increasing comfort,reducing energy consumption). However, various improvements are still required. For instance, howto enhance the representation of such complex, dynamic, and heterogeneous environments.Moreover, how to facilitate the interaction between users and their connected environments, and howto provide tools for environment monitoring and management.In this thesis, we focus on four main challenges: (i) representing a diverse set of components andelements related to the environment and its sensor network; (ii) providing a query language thathandles user/connected environment interactions (e.g., environment definition, data management,event definition); (iii) coping with the dynamicity of the environment and its evolution over time; and(iv) proposing a generic event detection mechanism for improved environment monitoring.To do so, we first present an ontology-based data model that represents hybrid environments/sensornetworks. Thus covering diverse sensors (e.g., static, mobile), environments (e.g., infrastructures,devices), and data (e.g., scalar, multimedia). Then, we introduce a query language that one might usefor various tasks (e.g., defining the connected environment, information retrieval, event definition,data management). Furthermore, to keep up with the environment changes we provide a queryoptimizer that allows the submitted queries to cope with the dynamicity of the environment prior totheir execution. Finally, we propose an event detection core that takes event definitions as input anddetects the targeted events.We group the aforementioned modules in one global framework for event detection in connectedenvironments. Our proposal is generic, extensible, and could be used with different connectedenvironments such as buildings, cities. .
4
Pelenc, Stéphane. "Objets et contraintes." Montpellier 2, 1998. http://www.theses.fr/1998MON20099.
Abstract:
La programmation par objets et la programmation par contraintes connaissent depuis quelques annees, un vif succes dans l'informatique. Si les atouts du paradigme objet s'expriment en termes de modularite, de reutilisabilite et de representation, la notion de contrainte apporte quant a elle, une grande declarativite dans le domaine de la resolution de problemes. Associer ces deux paradigmes semble naturel et a deja fait l'objet de nombreuses etudes. Cette association permet d'une part, d'utiliser la programmation par objet pour representer et gerer des contraintes en beneficiant ainsi pour les contraintes, des qualites logicielles des objets, d'autre part, de contraindre des objets afin d'etendre le pouvoir expressif des objets. Apres une presentation generale des contraintes, notamment des csp bases sur une enumeration des domaines couplee avec des techniques de reduction et des contraintes fonctionnelles basees sur une propagation locale de valeurs, quelques rappels sur les objets en programmation et en representation des connaissances, ce memoire propose une modelisation exhaustive des diverses manieres naturelles d'associer ces deux paradigmes en soulignant les apports specifiques de chacun. Nos contributions portent sur l'extension de l'algorithme de propagation locale (planifiee) deltablue et l'integration des deux types de contraintes (csp et fonctionnelles). Nous proposons egalement une interpretation par des operations de reecriture des contraintes sur des chemins d'attributs, et introduisons la notion de contrainte generique, basee sur une transposition aux contraintes des fonctions generiques de certains langages de programmation par objets comme clos ou dylan. Enfin, le modele objet yacos (yet another constraints objects system), ecrit au dessus du systeme y3, fournit quelques elements de reponses pour l'implementation d'un systeme alliant objets et contraintes.
5
DOUIN, JEAN-MICHEL. "Objets, programmation en logique et implantation parallele." Paris, CNAM, 1993. http://www.theses.fr/1993CNAM0165.
Abstract:
La premiere partie de cette these integre dans le langage modulog certains resultats recents de la recherche sur les langages a objets et propose une nouvelle definition des objets en programmation logique. La deuxieme partie porte sur la parallelisation de l'interpreteur modulog. Un modele ensembliste est retenu comme support rigoureux de l'heritage. Le langage modulog#o autorise la definition de classe et de l'heritage multiple. Modulog#o definit la notion d'objet mutable en programmation logique. Les classes peuvent declarer un invariant utilisant l'unification retardee sur les variables libres. Outre la selection classique des methodes, modulog#o utilise le principe de retraction. L'unification est etendue et repose sur le calcul de la borne inferieure de deux classes d'objets. Les extensions sont decrites par une semantique operationnelle en regles inductives. L'interpretation de ces regles transcrites en prolog fournit un prototype de l'interpreteur modulog#o. Une premiere implantation en langage imperatif est egalement developpee. La parallelisation utilise les modeles en et-restreint et ou appliques aux buts des queues de clauses du programme modulog. L'architecture parallele utilisee est de type mimd a memoire locale. Les etudes menees montrent un gain notable en performance si l'on adopte un parallelisme explicite. La comparaison est faite avec le parallelisme implicite
6
ROY, PIERRE. "Satisfaction de contraintes et programmation par objets." Paris 6, 1998. http://www.theses.fr/1998PA066742.
Abstract:
La satisfaction de contraintes est un est un formalisme et un ensemble de techniques pour la resolution de problemes combinatoires. L'integration de ce paradigme dans un langage de programmation par objets vise deux objectifs. D'une part, la programmation par objets permet une implementation efficace et interessante des techniques de satisfaction de contraintes. D'autre part, les objets peuvent etre utilises pour definir et resoudre des problemes structures plus facilement. Traditionnellement, les systemes de contraintes implementes dans un langage a objets sont des extensions du langage sous forme de bibliotheques de classes. Nous montrons, a l'aide du systeme backtalk, les interets d'une approche de type framework. Backtalk est illustre sur plusieurs exemples et nous comparons ces performances avec certains des meilleurs systemes existants actuellement. Nous illustrons cette partie avec une application a la creation de grilles de mots croises. Nous nous interessons d'autre part a la resolution de problemes structures, c'est-a-dire dont les inconnues sont des objets complexes et non pas des nombres. L'approche traditionnelle consiste a utiliser une representation numerique de tels problemes, ce qui permet d'employer les techniques de resolution de contraintes numeriques, qui sont les mieux maitrisees. Cependant, cette demarche souleve trois difficultes majeures : elle complique sensiblement la definition des contraintes, elle empeche la reutilisation de classes predefinies et elle conduit dans certains cas a une resolution inefficace. Nous proposons une approche differente, fondee sur une representation explicite des structures du probleme par des objets du langage hote. Cette approche permet d'apporter une solution aux trois difficultes precedentes. Cette partie est illustree par une application a l'harmonisation musicale automatique.
7
GUERRAOUT, RACHID. "Programmation repartie par objets : etudes et propositions." Paris 11, 1992. http://www.theses.fr/1992PA112336.
Abstract:
Cette these contribue a l'etude du concept d'objet dans la programmation repartie. Desormais devenue une realite du monde informatique, cette forme de programmation permet d'augmenter la disponibilite des applications et de diminuer leur temps d'execution. Cependant, concevoir une application repartie demeure une entreprise delicate: les differents niveaux d'abstraction mis en jeu entravent la maintenabilite et la reutilisabilite des programmes, tandis que les acces concurrents et les erreurs constituent autant de sources d'incoherence des executions. Le concept d'objet favorise la modularite des programmes et permet d'aborder la repartition avec un niveau d'abstraction superieur a celui d'entites plus frustes telles que les processus, les canaux de communication, les fichiers etc. L'integration dans un modele d'objets des aspects relatifs a la programmation repartie souleve les problemes de l'expression de la concurrence et du maintien de la coherence. L'etude de ces problemes a ete guidee par les soucis de preserver les proprietes intrinseques du concept d'objet, et de rendre les solutions proposees, aussi orthogonales que possible. Les contributions apportees sont pour l'essentiel: (i) la classification, au regard de la modularite, des differentes alternatives de conception d'un langage a objets concurrents; (ii) l'evaluation des mecanismes transactionnels dans les langages a objets concurrents, et la conception d'un protocole d'invocation atomique asynchrone, baptise acs; (iii) la definition d'un langage a objets concurrents transactionnel, baptise karos; (iv) la realisation d'une plate-forme modulaire, qui permet de combiner dans une meme application, differents mecanismes de controle de concurrence et de recouvrement aux erreurs; (v) la mise en evidence d'une propriete formelle, appelee atomicite generale, qui constitue une mesure de validite de la specification des objets atomiques
8
Codani, Jean-Jacques. "Microprogrammation, architectures, langages à objets : NAS /." [Le-Chesnay] : Institut national de recherche en informatique et en automatique, 1988. http://catalogue.bnf.fr/ark:/12148/cb35000251h.
9
Fouquier, Gilles. "Programmation temps reel a objets : etudes et proportions." Evry-Val d'Essonne, 1996. http://www.theses.fr/1996EVRY0030.
Abstract:
Cette these contribue a l'introduction de la programmation a objets dans le domaine du temps reel. La programmation a objets est reconnue pour favoriser la modularite et la reutilisabilite des logiciels. Cependant son utilisation pour le temps reel pour de nombreux problemes theniques et conceptuels. Pour repondre a ces problemes, un nouveau modele de programmation temps reel a objets est propose. Ce modele a base d'objets actifs permet d'introduire la concurrence en conservant les proprietes d'encapsulation du modele objet. L'aspect temps reel est traite en remplacant le concept de tache par celui de methode en execution, et en associant a chaque envoi de message une contrainte temps reel (priorite ou echeance). L'ordonnancement se fait sur l'ensemble des methodes en execution. Ce modele, nomme atome, se decline en plusieurs sous-modele permettant de traiter les types de controle de concurrence les plus repandues en y integrant le traitement des priorites et des echeances. Les strategies et ordonnancement classiques du temps reel hpf et edf sont integres au modele de maniere a garantir un fonctionnement coherent et a eviter les inversions de priorite ou d'echeance. Ce modele et ses variantes se presentent donc comme de nouvelles proportions pour programmer des applications temps reel a l'aide d'un modele tant objet facilitant a la fois la reutilisation et l'ecriture du code. La faisabilite de cette approche au niveau systeme est demontree au niveau systeme en etendant un langage a objets actifs existant a partir des regles definies dans le modele atome
10
Fouquier, Gilles. "Programmation temps réel à objets : études et proposition /." Gif-sur-Yvette : Direction de l'information scientifique et technique, CEA Saclay, 1996. http://catalogue.bnf.fr/ark:/12148/cb361642829.
11
Lemoine, Frédéric. "Internet des Objets centré service autocontrôlé." Thesis, Paris, CNAM, 2019. http://www.theses.fr/2019CNAM1235/document.
Abstract:
A l'heure du numérique, la quantité d'objets connectés ne cesse de croître et de se diversifier. Afin de supporter cette complexité croissante, nous avons souhaité apporter un maximum d'automatismes à l'Internet des Objets de manière à garantir une qualité de service (QoS) de bout en bout. Pour ce faire, un composant de service autocontrôlé est proposé pour intégrer l'objet dans l'écosystème digital. Grâce à la calibration de chaque service, qui permet la connaissance du comportement, une composition automatisée devient possible. Nous avons illustré la faisabilité de notre approche à travers un cas d'étude. Nous avons également montré comment les objets connectés peuvent s'assembler eux-mêmes, coopérant pour atteindre un objectif commun, tout en répondant aux exigences de QoS globalesIn the digital era, the number of connected objects continues to grow and diversify. To support this increasing complexity, we wanted to bring a maximum of automatisms to the Internet of Things in order to guarantee end-to-end quality of service (QoS). To do this, a self-controlled service component is proposed to integrate the object into the digital ecosystem. Thanks to the calibration of each service, which makes it possible to know the behaviour, an automated composition becomes possible. We have illustrated the feasibility of our approach on a case study. We also have shown how connected objects can assemble themselves, cooperating to achieve a common objective, while meeting global QoS requirements
12
Lemoine, Frédéric. "Internet des Objets centré service autocontrôlé." Electronic Thesis or Diss., Paris, CNAM, 2019. http://www.theses.fr/2019CNAM1235.
Abstract:
A l'heure du numérique, la quantité d'objets connectés ne cesse de croître et de se diversifier. Afin de supporter cette complexité croissante, nous avons souhaité apporter un maximum d'automatismes à l'Internet des Objets de manière à garantir une qualité de service (QoS) de bout en bout. Pour ce faire, un composant de service autocontrôlé est proposé pour intégrer l'objet dans l'écosystème digital. Grâce à la calibration de chaque service, qui permet la connaissance du comportement, une composition automatisée devient possible. Nous avons illustré la faisabilité de notre approche à travers un cas d'étude. Nous avons également montré comment les objets connectés peuvent s'assembler eux-mêmes, coopérant pour atteindre un objectif commun, tout en répondant aux exigences de QoS globalesIn the digital era, the number of connected objects continues to grow and diversify. To support this increasing complexity, we wanted to bring a maximum of automatisms to the Internet of Things in order to guarantee end-to-end quality of service (QoS). To do this, a self-controlled service component is proposed to integrate the object into the digital ecosystem. Thanks to the calibration of each service, which makes it possible to know the behaviour, an automated composition becomes possible. We have illustrated the feasibility of our approach on a case study. We also have shown how connected objects can assemble themselves, cooperating to achieve a common objective, while meeting global QoS requirements
13
Bertrand, Frédéric. "Un modèle de contrôle réactif pour les langages à objets concurrents." La Rochelle, 1996. http://www.theses.fr/1996LAROS005.
Abstract:
Dans une application distribuée, les objets peuvent être considérés comme des unités d'exécution. Ce concept existe déjà depuis plusieurs années, cependant une des difficultés consiste à contrôler le fonctionnement d'un objet en tant que composant d'un programme concurrent. La solution que nous avons étudiée consiste à utiliser une approche réactive pour réaliser ce contrôle. Le choix de cette approche est motivé par l'adéquation du modèle réactif au contrôle et à l'utilisation d'une approche formelle. Ce modèle est basé sur la présence d'une entité de contrôle, au sein de chaque objet, que nous avons appelée contrôleur d'exécution réactif. Ceci permet de dissocier ce qui est relatif aux traitements (exécution des méthodes) de ce qui est relatif au contrôle de ces exécutions. En raison de la distribution des objets, nous avons retenu un modèle d'exécution réactif asynchrone permettant de s'affranchir de la contrainte d'une horloge globale à l'ensemble des objets. Nous avons défini pour le contrôleur deux modèles réactifs d'exécution. Le premier modèle dit réactif pur, dans lequel l'activation d'une méthode ne dépend que de l'état d'exécution des autres méthodes, donc de leur ordonnancement. Le contrôleur est représenté par un système de transitions. Le second modèle dit réactif étendu, dans lequel l'activation d'une méthode peut dépendre de la valeur des attributs de l'objet. Nous étendons le modèle réactif pur en utilisant des automates à contraintes. Grâce à une base formelle dans les deux modèles, il est possible d'effectuer des vérifications sur le contrôleur, l'objet ou un groupe d'objets. Nous avons mis en œuvre ce modèle en utilisant des processus légers pour permettre une concurrence inter-méthodes. Le contrôleur est automatiquement compilé à partir d'une spécification. Notre approche permet de vérifier la présence d'interblocages au sein d'un objet ou d'un groupe d'objets. Le code correspondant au contrôleur de l'objet conserve une taille raisonnable.
14
Boulanger, Frédéric. "Integration de modules syndhrones dans la programmation par objets." Paris 11, 1993. http://www.theses.fr/1993PA112394.
Abstract:
Nous presentons un modele et des outils permettant d'integrer des modules synchrones dans un langage a objets (c#+#+). Ce systeme permet d'appliquer une methodologie de developpement par objets a des applications faisant intervenir du code synchrone. Les modules synchrones, ecrits dans un langage synchrone, sont transformes automatiquement en classes c#+#+. Les instances de ces classes ont le meme comportement que les modules d'origine. Les proprietes verifiees sur ces modules grace aux outils de preuve de l'approche synchrone sont donc conservees. Les principaux problemes traites sont: la communication synchrone entre objets synchrones; la communication asynchrone entre objets synchrones et taches asynchrones; la dynamicite des objets synchrones et de leur interconnexion
15
Oros, Hernandez Miguel Angel. "Conception, implantation et optimisation d'un langage à objets logiques." Bordeaux 1, 1995. http://www.theses.fr/1995BOR10599.
Abstract:
En partant d'approches declaratives au probleme de l'extension de prolog a des objets, telles que les psi-termes de ait-kaci ou les termes a traits de backofen et smolka, nous proposons un nouveau langage d'acces logique incremental a des objets, qui est essentiellement une extension de datalog a des contraintes traduisant l'aspect objet. Nous etudions certains aspects d'optimisation, symbolique au niveau des contraintes, par rapport a une signature, physique au niveau des acces. Une restriction d'un langage ideal propose est implantee en common lisp sous le nom de u-log 3. Nous abordons egalement le probleme de la classification de predicats datalog, dans la perspective de pouvoir utiliser dans les contraintes des sortes ou des traits definis en logique, et pas simplement interpretes dans une base. Une methode exacte, basee sur la deduction naturelle, est proposee pour attaquer ce probleme indecidable, et implantee en prolog iii dans le prototype concept
16
Gyrard, Amélie. "Concevoir des applications internet des objets sémantiques." Thesis, Paris, ENST, 2015. http://www.theses.fr/2015ENST0018/document.
Abstract:
Selon les prévisions de Cisco , il y aura plus de 50 milliards d'appareils connectés à Internet d'ici 2020. Les appareils et les données produites sont principalement exploitées pour construire des applications « Internet des Objets (IdO) ». D'un point de vue des données, ces applications ne sont pas interopérables les unes avec les autres. Pour aider les utilisateurs ou même les machines à construire des applications 'Internet des Objets' inter-domaines innovantes, les principaux défis sont l'exploitation, la réutilisation, l'interprétation et la combinaison de ces données produites par les capteurs. Pour surmonter les problèmes d'interopérabilité, nous avons conçu le système Machine-to-Machine Measurement (M3) consistant à: (1) enrichir les données de capteurs avec les technologies du web sémantique pour décrire explicitement leur sens selon le contexte, (2) interpréter les données des capteurs pour en déduire des connaissances supplémentaires en réutilisant autant que possible la connaissance du domaine définie par des experts, et (3) une base de connaissances de sécurité pour assurer la sécurité dès la conception lors de la construction des applications IdO. Concernant la partie raisonnement, inspiré par le « Web de données », nous proposons une idée novatrice appelée le « Web des règles » afin de partager et réutiliser facilement les règles pour interpréter et raisonner sur les données de capteurs. Le système M3 a été suggéré à des normalisations et groupes de travail tels que l'ETSI M2M, oneM2M, W3C SSN et W3C Web of Things. Une preuve de concept de M3 a été implémentée et est disponible sur le web (http://www.sensormeasurement.appspot.com/) mais aussi embarquéAccording to Cisco's predictions, there will be more than 50 billions of devices connected to the Internet by 2020.The devices and produced data are mainly exploited to build domain-specific Internet of Things (IoT) applications. From a data-centric perspective, these applications are not interoperable with each other.To assist users or even machines in building promising inter-domain IoT applications, main challenges are to exploit, reuse, interpret and combine sensor data.To overcome interoperability issues, we designed the Machine-to-Machine Measurement (M3) framework consisting in:(1) generating templates to easily build Semantic Web of Things applications, (2) semantically annotating IoT data to infer high-level knowledge by reusing as much as possible the domain knowledge expertise, and (3) a semantic-based security application to assist users in designing secure IoT applications.Regarding the reasoning part, stemming from the 'Linked Open Data', we propose an innovative idea called the 'Linked Open Rules' to easily share and reuse rules to infer high-level abstractions from sensor data.The M3 framework has been suggested to standardizations and working groups such as ETSI M2M, oneM2M, W3C SSN ontology and W3C Web of Things. Proof-of-concepts of the flexible M3 framework have been developed on the cloud (http://www.sensormeasurement.appspot.com/) and embedded on Android-based constrained devices
17
Gyrard, Amélie. "Concevoir des applications internet des objets sémantiques." Electronic Thesis or Diss., Paris, ENST, 2015. http://www.theses.fr/2015ENST0018.
Abstract:
Selon les prévisions de Cisco , il y aura plus de 50 milliards d'appareils connectés à Internet d'ici 2020. Les appareils et les données produites sont principalement exploitées pour construire des applications « Internet des Objets (IdO) ». D'un point de vue des données, ces applications ne sont pas interopérables les unes avec les autres. Pour aider les utilisateurs ou même les machines à construire des applications 'Internet des Objets' inter-domaines innovantes, les principaux défis sont l'exploitation, la réutilisation, l'interprétation et la combinaison de ces données produites par les capteurs. Pour surmonter les problèmes d'interopérabilité, nous avons conçu le système Machine-to-Machine Measurement (M3) consistant à: (1) enrichir les données de capteurs avec les technologies du web sémantique pour décrire explicitement leur sens selon le contexte, (2) interpréter les données des capteurs pour en déduire des connaissances supplémentaires en réutilisant autant que possible la connaissance du domaine définie par des experts, et (3) une base de connaissances de sécurité pour assurer la sécurité dès la conception lors de la construction des applications IdO. Concernant la partie raisonnement, inspiré par le « Web de données », nous proposons une idée novatrice appelée le « Web des règles » afin de partager et réutiliser facilement les règles pour interpréter et raisonner sur les données de capteurs. Le système M3 a été suggéré à des normalisations et groupes de travail tels que l'ETSI M2M, oneM2M, W3C SSN et W3C Web of Things. Une preuve de concept de M3 a été implémentée et est disponible sur le web (http://www.sensormeasurement.appspot.com/) mais aussi embarquéAccording to Cisco's predictions, there will be more than 50 billions of devices connected to the Internet by 2020.The devices and produced data are mainly exploited to build domain-specific Internet of Things (IoT) applications. From a data-centric perspective, these applications are not interoperable with each other.To assist users or even machines in building promising inter-domain IoT applications, main challenges are to exploit, reuse, interpret and combine sensor data.To overcome interoperability issues, we designed the Machine-to-Machine Measurement (M3) framework consisting in:(1) generating templates to easily build Semantic Web of Things applications, (2) semantically annotating IoT data to infer high-level knowledge by reusing as much as possible the domain knowledge expertise, and (3) a semantic-based security application to assist users in designing secure IoT applications.Regarding the reasoning part, stemming from the 'Linked Open Data', we propose an innovative idea called the 'Linked Open Rules' to easily share and reuse rules to infer high-level abstractions from sensor data.The M3 framework has been suggested to standardizations and working groups such as ETSI M2M, oneM2M, W3C SSN ontology and W3C Web of Things. Proof-of-concepts of the flexible M3 framework have been developed on the cloud (http://www.sensormeasurement.appspot.com/) and embedded on Android-based constrained devices
18
Bondu, Mathilde. "Ethique et objets connectés." Master's thesis, Université Laval, 2020. http://hdl.handle.net/20.500.11794/67170.
Abstract:
Thèse en cotutelle : Université Laval, Québec, Canada et Université Université Paris-Sud, Cachan, France.Ce projet de recherche porte sur l’opportunité de l’éthique comme mode de régulation des objets connectés. Actuellement au cœur d’une véritable course à l’innovation se faisant de plus en plus pressante, nous relèverons qu’il s’agit de biens complexes rendant difficile leur appréhension par le droit. Ce sujet se focalisera ensuite sur le cadre juridique applicable à cette technologie au regard des données personnelles récoltées de manière massives pour pouvoir enrichir et assurer le fonctionnement de ces objets. Démontrant certaines limites de ce régime légal au regard du poids de l’économie de la donnée, l’éthique sera étudiée de manière théorique dans le contexte du numérique comme outil de régulation, y compris son utilité mais aussi son inévitable manipulation par les acteurs du numérique. Ce projet aura pour objectif enfin de dresser un bilan concret des initiatives véritablement destinées à assurer une meilleure régulation des objets connectés par l’éthique, finalement débitrice d’une forte collaboration entre les trois acteurs principaux du numérique : pouvoirs publics, entreprises et citoyens.
19
Mahieddine, Mohammed. "Modélisation, visualisation et animation d'objets 3D : Approche orientée objets." nice, 1991. http://www.theses.fr/1991NICE4496.
Abstract:
L'objectif de cette thèse est d'étudier l'application de l'approche orientée objets pour la modélisation, la visualisation et l'animation d'objets graphiques en 3 dimensions. Une première phase de cette étude a consiste en la construction d'une extension orientée objets de standards graphiques existants. Pour la construction du graphe d'héritage des classes, une méthode nouvelle est présentée qui consiste à utiliser a la fois l'héritage comportemental et l'héritage implémentationnel. Une extension orientée objets des systèmes core et cgi est présentée pour illustrer ces idées. Une étude exhaustive des méthodes de modélisation des courbes, des surfaces et des solides a permis de montrer l'intérêt des classes et de l'héritage pour réduire la difficulté de confection d'un logiciel de modélisation d'objets géométriques 3d. En ce qui concerne la visualisation des objets, nous montrons les avantages et les limites de l'approche orientée objets pour l'élimination des faces cachées, la manipulation des couleurs et le rendu réaliste (lancer de rayons). Nous montrons ensuite comment décrire l'animation des objets avec les concepts de classes et d'héritage et nous comparons cette approche avec celle des acteurs. La validation de cette approche a consiste à réaliser une application d'animation de robots articules en c++ sous x window. Ce travail démontre que la méthodologie orientée objets permet d'avoir une approche unifiée a la fois pour la modélisation géométrique, la visualisation des objets graphiques et pour leur animation
20
Féraud, Louis. "Etude d'une représentation des objets partagés : définition, implantation, méthodes de preuve." Toulouse 3, 1991. http://www.theses.fr/1991TOU30029.
Abstract:
Cette thèse traite d'une construction linguistique, le module contrôle par priorité (en abrégé mcp) destinée à représenter les objets partages par des processus dans un environnement de parallélisme. Le mcp est un constructeur de types abstraits dote d'un contrôleur local appelé synchroniseur. Le synchroniseur a été conçu selon l'idée qu'il existe deux sortes de contrôles pour accéder a un objet partage: les contrôles lies a l'état intrinseque de l'objet et ceux définis par ordonnancement. Ces deux types de contrôle sont sépares dans un mcp, une notion de priorité globale permettant d'exprimer avec concision l'ordonnancement des opérations. Deux implantations sont présentées dans la thèse: l'une validée en terme de sémaphores destinée a un monoprocesseur, l'autre utilisant un langage d'acteurs visant des environnements distribues. La suite de ce travail concerne deux approches de la validation de solutions utilisant des mcp. Dans la première approche, une sémantique du synchroniseur a été définie dans une logique temporelle linéaire. Le système de preuve offre au programmeur des spécifications en logique temporelle utilisant des constructions du synchroniseur; ces spécifications sont des conditions suffisantes pour garantir des propriétés relatives à l'état intrinseque de l'objet ou à un ordonnancement. Dans la seconde approche, le mcp est modélisé au moyen de machines abstraites. Une machine abstraite est un système de transitions incluant des variations et des messages dont les transitions sont régies par des affectations vectorielles gardées appelées actions. La sémantique d'un synchroniseur est obtenue comme la solution d'un système d'équations au point fixe sur les actions. Les preuves utilisent la même démarche
21
Logozzo, Francesco. "Analyse statique modulaire de langages orientés objets." Palaiseau, Ecole polytechnique, 2004. http://www.theses.fr/2004EPXX0023.
22
Meysembourg-Männlein, Marie Laurence. "Modèle et langage à objets pour la programmation d'applications réparties." Phd thesis, Grenoble INPG, 1989. http://tel.archives-ouvertes.fr/tel-00333509.
Abstract:
Cette thèse a été effectuée dans le cadre du projet Guide mené conjointement par le laboratoire de génie informatique et le centre de recherche Bull de Grenoble depuis mi 86. Guide est le support d'un ensemble de recherches sur la programmation des applications reparties. Ces recherches sont entreprises sur la base du développement d'un système expérimental : le système Guide. Ce dernier est un système d'exploitation reparti à objets qui fournit un haut niveau d'intégration (invisibilité de la répartition notamment). Un premier prototype du système fonctionne depuis fin 88 et permet la programmation et la mise œuvre d'applications par l'intermédiaire d'un langage de programmation spécifique. La thèse contient une présentation et une évaluation du modèle de programmation par objets mis œuvre par ce langage: la présentation met en évidence les principaux choix de conception et les justifie; l'évaluation est basée sur une étude comparative des modèles d'objets de Guide, de Trellis/Owl, d'Emerald et d'Eiffel, et sur des expériences de programmation réalisées sur le prototype. Elle met en évidence les aspects caractéristiques du modèle d'objets de guide, ses apports et ses limites
23
Commelin, Eric. "Des objets actifs reflexifs pour la programmation des applications reactives." Paris 6, 1998. http://www.theses.fr/1998PA066074.
Abstract:
La programmation d'un systeme fortement dependant de son environnement, comme un systeme embarque ou mobile, peut devenir tres complexe si le programmeur doit prendre en compte toutes les configurations possibles de l'environnement. Actpl (pour actnet programming language) est un langage de programmation base sur les concepts objet et acteur. Ce langage est concu pour la programmation de composants reactifs permettant aux applications embarquees, mobiles et/ou distribuees d'adapter leur comportement aux changements de leur environnement. Actpl propose a la fois une adaptation fine du controle des applications grace a un meta-niveau et des mecanismes adaptatifs de haut niveau utilisables sans connaissance de l'architecture meta-niveau. Nous donnons des exemples d'utilisation de notre modele dans le domaine de la programmation distribuee, du calcul parallele et des systemes embarques. Notre prototype utilise des bibliotheques de classes c++. Il fonctionne sur plusieurs systemes d'exploitation unix non modifies, et permet au programmeur d'ecrire un code c++ classique. Les mesures de performance d'actpl montrent que nous avons reussi a conjuguer souplesse et performance en ne faisant payer le cout de nos mecanismes que lorsqu'ils sont utilises. Les performances d'actpl sur une application test sont identiques a celle d'une couche de communication plus simple.
24
MAKPANGOU, MASSAC. "Protocoles de communication et programmation par objets : l'exemple de sos." Paris 6, 1989. http://www.theses.fr/1989PA066329.
Abstract:
Une fonction essentielle d'un systeme d'exploitation reparti est d'offrir a ses utilisateurs les mecanismes de communication qui leur sont necessaires. La grande diversite des attentes interdit de pouvoir satisfaire parfaitement tous ces besoins. Une bonne solution de compromis est de concevoir un systeme prenant en compte le caractere evolutif des problemes a resoudre. L'approche de programmation par objets permet justement de construire une boite a outils de protocoles, d'ou les differentes applications pourront puiser ce qui les interesse. C'est cette approche que nous etudions ici. Nous definissons un ensemble de protocoles de transport offrant au choix, un transfert fiable ou non fiable, de type point a point ou multipoint. Nous definissons aussi des classes de base realisant les fonctions communes aux differents protocoles d'invocation. A partir de ces classes, nous mettons en uvre des protocoles d'invocation, notamment le protocole d'appel de procedure distant et le protocole multi-invocation. L'ensemble de tous ces protocoles constitue une bibliotheque de base de protocoles d'invocation. D'autres protocoles pourront etre definis en reutilisant les diverses classes definies dans cette bibliotheque
25
Vanwormhoudt, Gilles. "Crome : un cadre de programmation par objets structurés en contextes." Lille 1, 1999. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1999/50376-1999-241.pdf.
Abstract:
L'approche orientée objet offre à la base des qualités connues et largement exploitées pour le développement d'environnements logiciels complexes. Nous nous intéressons ici aux logiciels centres sur un référentiel d'objets intervenant dans des contextes applicatifs, ou fonctionnels, multiples. On rencontre de tels environnements dans les activités de conception ou d'ingénierie assistée par ordinateur. Dans une approche exclusivement orientée objet il est souvent difficile de concevoir et de circonscrire les fonctions transversales de tels systèmes. Cette thèse étudie leur double décomposition, orthogonale, en objets et en fonctions pour tirer profit conjointement de leurs qualités structurantes respectives. L'analyse de l'existant montre que ces deux axes de structuration ont souvent été étudiés séparément. Sous l'angle des objets nous retenons les techniques de programmation par points de vue. Elles se situent cependant au niveau granulaire trop fin de l'objet. Sous l'angle des fonctions plusieurs études montrent l'importance d'identifier cette dimension. Cependant les techniques employées ne font pas le lien entre la structuration en fonctions du système et la structuration interne des objets y prenant part. Nous proposons alors CROME, un cadre de programmation par objets structurés en contextes fonctionnels, décrits par des plans. Un plan de base introduit la structure du référentiel sous la forme d'une hiérarchie de classes. Chaque contexte fonctionnel est décrit par un plan qui adapte les objets du référentiel pour ses besoins. Cette adaptation s'appuie sur une technique d'héritage modulaire entre plans, la programmation de communications circonscrites aux contextes, et la programmation inter-contextes au sein des objets. CROME a été méta-programmé dans le langage ROME, profitant de sa représentation multiple par points de vue. Le cadre propose se veut général et nous montrons son application à l'environnement Smalltalk et des expériences de développement.
26
Meysembourg-Männlein, Marie Laurence Mossière Jacques Krakowiak Sacha. "Modèle et langage à objets pour la programmation d'applications réparties." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00333509.
27
Guérin, Jean-Luc. "Grafolog : un système de programmation logique et objets sans variables par le dessin." Compiègne, 1991. http://www.theses.fr/1991COMP393S.
Abstract:
La thèse que nous défendons est que la programmation visuelle offre de nombreux avantages pour la représentation des connaissances logiques. C'est dans ce but que nous avons défini et implémenté le langage graphique Grafolog (graphique, objets, et logique) qui permet à un utilisateur de représenter graphiquement des relations entre objets logiques. L'utilisateur définit et interroge des connaissances en dessinant, dans un formalisme graphique unifié. Notre manuscrit commence par un état de l'art, illustre de nombreux exemples, sur la visualisation de programmes et la programmation visuelle. Dans cette présentation, nous essayons de réaliser un classement des différentes approches pouvant être rencontrées aujourd'hui dans ces deux domaines. Le chapitre suivant est consacré à une brève description du prolog orienté objet sous-jacent à notre système, U-Log, conçu et développé par Paul Y. Gloess à l'université de technologie de Compiègne. Le troisième chapitre décrit Grafolog en tant que langage graphique. La description de la sémantique de notre langage y est effectuée par référence au modèle objet logique D’U-Log. L'idée de base de Grafolog, consiste à représenter les objets logiques par des boites, et les relations entre objets par des flèches. Bien qu'apparemment très simple, ce formalisme s'avère d'une grande puissance expressive, tout en s'affranchissant complètement de l'utilisation de variables. Nous terminons ce chapitre par une discussion des différentes applications possibles de notre système: interface pour base de données, enseignement de prolog, mise au point et explication graphique. Ce dernier point est rendu possible par le dessin du schéma d'interférence D’U-Log en Grafolog. Le dernier chapitre concerne l'implémentation de notre système et plus particulièrement la manière dont a été réalisé le lien entre Grafolog et U-Log. En annexe, nous donnons un manuel d'utilisation de Grafolog dans sa version actuelle. Cette partie met l'accent sur l'interface graphique et les différents outils disponibles pour faciliter l'utilisation du langage graphique.
28
Millan, Thierry. "Ada et les systèmes orientés objets : les environnements persistants au travers d'un système de gestion de bases de données orienté objets." Toulouse 3, 1995. http://www.theses.fr/1995TOU30138.
Abstract:
Les nouvelles applications exigent d'une part, des fonctions de traitement et, d'autre part, des fonctions de stockage et de manipulation de gros volumes de donnees complexes. Par ailleurs, elles doivent pouvoir s'interconnecter de facon a echanger des informations, d'ou la necessite d'utilisation de normes. Dans cette these, nous proposons l'etude et la realisation d'une passerelle entre un langage de haut niveau pour le traitement des donnees (ada) et un sgbd pour leur stockage, leur manipulation et leur echange. En effet, le langage ada a ete concu et realise pour le developpement d'applications industrielles, soumises en consequence a de fortes contraintes telles que la generation d'executables performants et la garantie d'une securite maximale a l'execution. De plus, il existe de nombreuses methodes de conception pour ce langage normalise iso. Le sgbd choisi est oriente objets et suit la norme odmg. Il est ainsi parfaitement adapte au stockage et a la manipulation de donnees complexes. Afin que cette passerelle reste transparente a l'utilisateur, nous definissons l'environnement global des donnees en ada et dans le sgbdoo comme l'ensemble des triplets
29
ANDREOLI, JEAN-MARC. "Proposition pour une synthese des paradigmes de la programmation logique et de la programmation par objets." Paris 6, 1990. http://www.theses.fr/1990PA066020.
Abstract:
Le probleme general de la synchronisation en informatique se pose, dans des termes similaires, tant en programmation logique (synchronisation des inferences logiques) qu'en programmation par objets (synchronisation des transitions d'etat des objets). Partant de ce constat, on propose un systeme de programmation, fonde sur la notion de preuve, qui realise la synthese des deux paradigmes. Le systeme de preuve adopte est celui de la logique lineaire qui, contrairement a son analogue classique, prend explicitement en compte la notion de ressources (temporelles et spatiales) et est donc mieux adapte a une utilisation en informatique
30
Roudier, Yves. "Abstractions reactives pour les langages a objets paralleles : modeles et programmation." Nice, 1996. http://www.theses.fr/1996NICE5047.
Abstract:
Ce travail porte sur l'utilisation de la programmation reactive, et plus particulierement du modele asynchrone, dans les langages a objets paralleles. Ce type de programmation permet de decrire des systemes evoluant en reponse et simultanement aux modifications de leur environnement. Les relations entre reactivite et programmation a objets ont deja fait l'objet de plusieurs etudes, notamment dans le domaine synchrone. Nous dressons tout d'abord un resume des recherches du domaine. Le premier aspect de notre contribution consiste en la definition de trois modeles reactifs, asynchrones et a objets, dotes de possibilites de structuration et d'evolutivite differentes. Le premier est preemptif, le second adapte le langage electre a un cadre objet, le troisieme definit une extension compositionnelle et hierarchique du modele a la electre. Afin de formaliser cette derniere proposition, nous en presentons une semantique operationnelle structurelle. La seconde partie de notre travail etudie les problemes de mise en uvre de ces differentes techniques. L'implantation de ces abstractions reactives est presentee dans le langage eiffel//. Nous expliquons comment nous avons ete amenes a l'utilisation de techniques reflexives, avec pour objectif l'integration de ces abstractions dans le langage c++, sans modification de ce dernier ni de ses compilateurs. Nous abordons notamment la definition d'un protocole meta-objet destine a la reactivite en c++. Nous montrons que ce protocole nous permet egalement de realiser un systeme ouvert et de quelle maniere il est utilisable pour l'integration d'autres paradigmes paralleles et distribues au sein d'une meme plate-forme de developpement ; ce protocole nous permet en particulier d'integrer le modele du langage c++
31
Ngomo, Macaire. "Contribution à l'intégration de la programmation logique et de la programmation par objets : étude, conception et implantation." Rouen, 1996. http://www.theses.fr/1996ROUES039.
Abstract:
Cette thèse prend place dans un projet interne de réalisation de langages à vocation multiple, intégrant plusieurs styles de programmation et adaptés au plus près à nos besoins en matière de conception et programmation des applications. Dans celle-ci, nous étudions les possibilités de combiner les aspects de deux paradigmes de programmation : la programmation logique et de la programmation par objets. Ces dernières années, ces deux paradigmes de programmation ont suscité un intérêt de plus en plus grand parce qu'ils offrent beaucoup d'avantages sur les méthodes traditionnelles de programmation. Dans cette thèse, nous proposons un nouveau modèle pour intégrer ces deux paradigmes de programmation, en mettant en avant l'aspect déclaratif de la programmation logique. Sur la base de ce modèle, nous développons un nouveau langage nommé OO-Prolog (object-oriented Prolog). Ce langage intègre de manière cohérente les grands mécanismes de la programmation logique et de la programmation par objets. Il est basé sur Delphia-Prolog et conçu suivant le modèle métaclasse/classe/instance inspiré du modèle ObjVlisp. L'héritage est dynamique et multiple, avec une sémantique non monotone. Une nouvelle méthode de résolution des conflits est proposée. Elle est basée sur la résolution non-déterministe. Un mécanisme de versions d'objets est proposé permettant de construire l'histoire d'un objet par unification et de la défaire par retour arrière. Ce mécanisme repose sur l'utilisation des structures de données incomplètes. L'aperçu d'une structure incomplète peut s'utiliser pour permettre l'entrée de nouvelles informations moyennant l'unification et donc de prévoir l'avenir. La lecture déclarative des programmes utilisant ces structures est immédiate. De façon opératoire, ces programmes se comprennent en termes de construction d'une structure par incrémentation. Un schéma d'extension de l'unification est proposé, prenant en compte le concept d'identificateur d'objet.
32
Delebecque, Henri. "Introduction du parallélisme dans les langages à objets." Paris 11, 1988. http://www.theses.fr/1988PA112352.
Abstract:
Pour faciliter l'introduction du parallélisme, il a été défini un message à destinataires multiples, adaptable à tout langage objet, possédant un ensemble de propriétés défini. Ce mode communication s'appuie sur deux objets complémentaires: le filtre qui définit l'ensemble des destinataires et le routeur qui assure l'acheminement du message vers ceux-ci. Filtres et routeurs sont des objets adaptables et utilisables indépendamment les uns des autres. Les filtres définis ont été implantes en Small talk 80 et leur impact sur la modularité et la souplesse des objets a été mesurée sur un simulateur de circuits logiques
33
Moisan, Bruno. "Un modèle de programmation parallèle à objets appliqué à la synthèse d'images." Toulouse 3, 1993. http://www.theses.fr/1993TOU30206.
Abstract:
Les applications de synthèse d'images nécessitent des puissances de calcul très importantes. Depuis quelques années de nombreux projets de recherche visent à définir des architectures spécialisées, ou des méthodes et des outils pour paralléliser efficacement ces applications sur les calculateurs parallèles existants. Dans cette optique, notre objectif est de définir une environnement de programmation pour des applications graphiques s'exécutant sur des architectures distribuées. Nous présentons au chapitre 1, les concepts du projet Voxar, point de départ des travaux présentés. Nous rappelons quelques résultats significatifs du système de communication dédié et des applications de rendu réalisées. Nous mettons en évidence les carences de cette approche et nous introduisons au chapitre 2, un outil d'analyse qui nous permet de mieux évaluer ces problèmes. Nous montrons au chapitre 3, un état de l'art des environnements existants et quelques approches intéressantes. Nous proposons au chapitre 4, un environnement SPMD à objets, susceptible de répondre à nos attentes dans le contexte cible. La conception de cet environnement est détaillée, et des résultats expérimentaux sont présentés. Enfin au chapitre 5, nous illustrons la mise en oeuvre de cet environnement sur différentes parallélisations d'une application témoin de rendu réaliste. Nous concluons par une synthèse critique des travaux présentés et nous montrons les perspectives de recherches ouvertes par cette approche
34
Berger, Laurent. "Mise en oeuvre des interactioons en environnements distribués, compilés et fortement typés : le modèle MICADO." Nice, 2001. http://www.theses.fr/2001NICE5644.
Abstract:
La programmation orientée objets a déjà prouvé ses intérêt lors de la mise en œuvre d’applications complexes. Le développement des applications distribuées à l’aide de technologies objets est réalisable mais cela implique de gérer les communications entre les objets distants. Des outils tels que CORBA, RPC et Java RMI facilitent la mise en œuvre de la communication en masquant les accès réseaux. Cette maturation en termes de réseaux et de programmation par objets conduit aujourd’hui à une intensification du développement d’applications distribuées. Cette évolution des applications distribuées augmente le besoin de spécifier explicitement les sémantiques des communications et interactions entre des objets. Cependant, les outils mentionnés ci-dessous ne permettent pas d’exprimer les sémantiques des interactions entre des objets. Seuls quelques travaux vont dans le sens d’une expression et d’une gestion des interactions entre des objets distants indépendamment de leurs fonctionnalités intrinsèques. Cependant, il existe encore des travaux à faire sur la "sémantique" des interactions entre objets distants afin d’apporter encore plus de flexibilité, de facilité et une meilleure réutilisation lors de la mise en œuvre d’applications distribuées. La solution avancée est la définition d’un modèle et d’une architecture distribuée de gestion des interactions entre objets distants, dans les environnements compilés, fortement typés et distribués. Elle est basée sur ISL (Interaction Specification Language), notre langage de description des interactions ainsi que sur un système de réécriture des comportements réactifsObjected oriented programming has already proved its interest to implement complex applications. Distributed applications can also be developed with object technologies but this implies to manage communications between remote objects. Tools such as CORBA, RPC and Java RMI facilitate the communication implementation by hiding network accesses. This maturation in terms of network and object programming is today sufficient to allow an important evolution for the GroupWare distributed applications. This evolution of distributed applications increases the need to specify explicitly the communication and interaction semantics between objects. However the above-mentioned tools do not allow the expression of the semantics of interactions between objects. Few works deal with the way to express and to manage interactions between remote objects independently of their intrinsic behavior. However there are many works to do about the “semantic” of the interactions, i. E. Inter object communications, between remote objects in order to bring more flexible, more reusable and more easy the implementation of distributed applications. The proposed solution is the definition of a model to manage interaction between remote objects in environments used by the industry word, i. E. Compiled, strongly typed and distributed environments. This solution is based upon ISL (Interaction Specification Language) our language to describe interactions and upon a rewriting system for reactive behaviors
35
Desplanques, Yannick. "Contribution à un superviseur de calculs non linéaires." Paris 6, 1991. http://www.theses.fr/1991PA066464.
Abstract:
Une société d'acteurs permet la coopération de plusieurs processus indépendants qui assurent ensemble la résolution de problèmes non linéaires. Un acteur serveur gère la communication entre les différents acteurs qui sont repartis sur plusieurs stations de travail d'un réseau. Le contrôle de l'exécution des calculs est assure par un acteur superviseur indépendant des acteurs codes. Ecrit sous le langage d'acteurs lmg1, il accède à une connaissance de haut niveau nécessaire au contrôle du processus de résolution. Egalement écrit sous lmg1, un acteur interface garantit l'indépendance entre les codes et le superviseur. La richesse de la représentation par objets permet les échanges entre le numérique et le symbolique ainsi que les traductions nécessaires au passage de l'un a l'autre. La seule modification effectuée sur chaque code est l'appel à un module de communication unique en différents points clés de la résolution numérique. Ceci leur permet de dialoguer avec les autres membres de la société d'acteurs. Cette modification mineure permet d'insérer rapidement de nouveaux codes dans la société et de réutiliser la connaissance du système superviseur. Ainsi, le concept de société d'acteurs et la puissance de la programmation par objets assurent au système superviseur de larges possibilités d'extension et une forte réutilisation des connaissances
36
Plaindoux, Didier. "Etude et conception d'un système logique orienté-objet parallèle fortement typé." Toulouse 3, 1997. http://www.theses.fr/1997TOU30315.
37
Ardourel, Gilles. "Modélisation des mécanismes de protection dans les langages à objets." Montpellier 2, 2002. http://www.theses.fr/2002MON20183.
38
Bomme, Patricia. "Objets hybrides dans des applications scientifiques orientées objets." Compiègne, 1998. http://www.theses.fr/1998COMP1113.
Abstract:
L'approche proposée définit, met en œuvre et valide un concept d'objets hybrides (ou objets intelligents), qui intègre une connaissance déclarative accompagnée de raisonnements. Les comportements intelligents ainsi définis, peuvent être invoqués dans les méthodes de l'objet. Les règles d'un objet sont considérées comme des pseudo-méthodes travaillant sur l'état de l'objet. Leur conception d'intégration respecte les caractéristiques des objets, auxquelles elles sont appliquées : l'encapsulation, l'héritage, le polymorphisme et l'identité d'un objet. Les règles sont organisées en une hiérarchie induite de celle de l'application ; ainsi ces deux hiérarchies demeurent toujours cohérentes. Quant aux moteurs d'inférence, ils sont sous le contrôle d'un objet et deviennent des concepts locaux implémentés par des objets temporaires. Cette implémentation ainsi qu'une simple architecture de tableau noir facilitent la définition et la spécialisation des modes de raisonnement. Pour résumer, ces objets intelligents fournissent à leur application hôte, une architecture dans laquelle la connaissance est distribuée et les inférences décentralisées. L'outil final est une librairie implémentant un système expert propositionnel orienté-objet en association avec un modèle d'objets intelligents réutilisables. Cette approche peut être mise en œuvre dans tout environnement compatible c/c++, elle permet d'intégrer des heuristiques dans une application sans introduire de nouvelles contraintes. Le potentiel de l'approche est illustré sur deux exemples industriels : un système d'aide à la décision pour la sélection optimale d’équipements industriels, et sur un pré-processeur bi-et-tridimensionel d'éléments finis en géomécanique.
39
Thomas, Laurent. "Étude comparative des mécanismes de synchronisation et de communication dans les langages à objets pour le parallélisme." Nancy 1, 1992. http://www.theses.fr/1992NAN10253.
Abstract:
Le but que nous avons poursuivi dans ce manuscrit est l'intégration cohérente des mécanismes propres à la programmation objet utilises dans le génie logiciel, réutilisation et extensibilité, et des mécanismes propres à l'expression de la concurrence, communication et synchronisation. Le résultat est un modèle d'objets concurrents utilisant l'héritage pour exprimer la réutilisation et l'extension des contraintes de communication et de synchronisation
40
Hammi, Mohamed Tahar. "Sécurisation de l'Internet des objets." Electronic Thesis or Diss., Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLT006.
Abstract:
L'Internet des Objets ou en anglais the Internet of Things (IoT) représente aujourd'hui une partie majeure de notre vie quotidienne. Des milliards d'objets intelligents et autonomes, à travers le monde sont connectés et communiquent entre eux. Ce paradigme révolutionnaire crée une nouvelle dimension qui enlèveles frontières entre le monde réel et le monde virtuel. Son succès est dû à l’évolution des équipements matériels et des technologies de communication notamment sans fil. L’IoT est le fruit du développement et de la combinaison de différentes technologies. Il englobe presque tous les domaines de la technologie d’information (Information Technology (IT)) actuels.Les réseaux de capteurs sans fil représentent une pièce maîtresse du succès de l'IoT. Car en utilisant des petits objets qui sont généralement limités en terme de capacité de calcul, de mémorisation et en énergie, des environnements industriels, médicaux, agricoles, et autres peuvent être couverts et gérés automatiquement.La grande puissance de l’IoT repose sur le fait que ses objets communiquent, analysent, traitent et gèrent des données d’une manière autonome et sans aucune intervention humaine. Cependant, les problèmes liés à la sécurité freinent considérablement l’évolution et le déploiement rapide de cette haute echnologie. L'usurpation d’identité, le vols d’information et la modification des données représentent un vrai danger pour ce système des systèmes.Le sujet de ma thèse consiste en la création d'un système de sécurité permettant d’assurer les services d’authentification des objets connectés, d’intégrité des données échangées entres ces derniers et de confidentialité des informations. Cette approche doit prendre en considération les contraintes des objets et des technologies de communication utiliséesInternet of Things becomes a part of our everyday lives. Billions of smart and autonomous things around the world are connected and communicate with each other. This revolutionary paradigm creates a new dimension that removes boundaries between the real and the virtual worlds. Its success is due to the evolution of hardware and communication technologies, especially wireless ones. IoT is the result of the development and combination of different technologies. Today, it covers almost all areas of information technology (IT).Wireless sensor networks are a cornerstone of IoT's success. Using constrained things, industrial, medical, agricultural, and other environments can be automatically covered and managed.Things can communicate, analyze, process and manage data without any human intervention. However, security issues prevent the rapid evolution and deployment of this high technology. Identity usurpation, information theft, and data modification represent a real danger for this system of systems.The subject of my thesis is the creation of a security system that provides services for the authentication of connected things, the integrity of their exchanged data and the confidentiality of information. This approach must take into account the things and communication technologies constraints
41
Coste-Manière, Ève. "Synchronisme et asynchronisme dans la programmation des systèmes robotiques : apport du langage Esterel et de concepts objets." Paris, ENMP, 1991. http://www.theses.fr/1991ENMP0273.
Abstract:
Les applications robotiques rencontrées dans le domaine manufacturier, en robotique d'intervention ou encore en Téléopération Assistée par Ordinateur, mettent en œuvre des systèmes complexes composés de dispositifs physiques connectés (capteurs, manipulateurs,. . . ). Pour permettre la réalisation d'applications variées, le système robotique doit exécuter un ensemble d'actions dont l'évolution est guidée par des stimuli. La programmation de ces systèmes implique la mise en œuvre de commandes performantes au sein du contrôleur et nécessite également l'intégration correcte et faible d'informations liées à l'évolution de l'environnement et du système lui-même. Nous proposons dans ce mémoire une méthode de programmation de haut niveau des systèmes robotiques dans le cadre du développement d'un contrôleur ouvert pour la robotique. Cette approche est fondée sur deux concepts essentiels: la notion de fonction de tâche dont le rôle est d'exprimer les objectifs de commande et la programmation synchrone des systèmes réactifs (utilisation du langage ESTEREL) pour modéliser les aspects comportementaux de l'application et de ses actions élémentaires. Les différents composants algorithmiques utilisés dans la synthèse des lois de commande sont structurés sous forme de modèles objets. L'un d'entre eux, la tâche robot, définit par un objectif de commande, est un système réactif particulier. L'utilisation du langage synchrone ESTEREL permet de spécifier son comportement. La tâche robot est l'objet clé de notre approche: il s'agit d'un objet doté d'un comportement. L'enchaînement logique et temporel des tâches robots conduisant à l'élaboration d'une application robotique est décrit à l'aide d'un langage de programmation d'application dont les primitives sont traduites en ESTEREL. Les comportements locaux et globaux sont alors fusionnés, de façon cohérente, en un automate global. L'utilisateur bénéficie ainsi de tous les avantages de l'approche synchrone (environnement et validation) sans avoir à écrire le code ESTEREL correspondant. Il est nécessaire d'assurer une interface correcte entre l'automate synchrone de contrôle de l'application et l'environnement d'exécution des tâches asynchrones: pour cela, une «machine d'exécution» d'ESTEREL particulière a été réalisée à l'aide du logiciel de CAO-3D RHOMEO. Plusieurs exemples d'application empruntés au domaine manufacturier sont traités.
42
Hammi, Mohamed Tahar. "Sécurisation de l'Internet des objets." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLT006/document.
Abstract:
L'Internet des Objets ou en anglais the Internet of Things (IoT) représente aujourd'hui une partie majeure de notre vie quotidienne. Des milliards d'objets intelligents et autonomes, à travers le monde sont connectés et communiquent entre eux. Ce paradigme révolutionnaire crée une nouvelle dimension qui enlèveles frontières entre le monde réel et le monde virtuel. Son succès est dû à l’évolution des équipements matériels et des technologies de communication notamment sans fil. L’IoT est le fruit du développement et de la combinaison de différentes technologies. Il englobe presque tous les domaines de la technologie d’information (Information Technology (IT)) actuels.Les réseaux de capteurs sans fil représentent une pièce maîtresse du succès de l'IoT. Car en utilisant des petits objets qui sont généralement limités en terme de capacité de calcul, de mémorisation et en énergie, des environnements industriels, médicaux, agricoles, et autres peuvent être couverts et gérés automatiquement.La grande puissance de l’IoT repose sur le fait que ses objets communiquent, analysent, traitent et gèrent des données d’une manière autonome et sans aucune intervention humaine. Cependant, les problèmes liés à la sécurité freinent considérablement l’évolution et le déploiement rapide de cette haute echnologie. L'usurpation d’identité, le vols d’information et la modification des données représentent un vrai danger pour ce système des systèmes.Le sujet de ma thèse consiste en la création d'un système de sécurité permettant d’assurer les services d’authentification des objets connectés, d’intégrité des données échangées entres ces derniers et de confidentialité des informations. Cette approche doit prendre en considération les contraintes des objets et des technologies de communication utiliséesInternet of Things becomes a part of our everyday lives. Billions of smart and autonomous things around the world are connected and communicate with each other. This revolutionary paradigm creates a new dimension that removes boundaries between the real and the virtual worlds. Its success is due to the evolution of hardware and communication technologies, especially wireless ones. IoT is the result of the development and combination of different technologies. Today, it covers almost all areas of information technology (IT).Wireless sensor networks are a cornerstone of IoT's success. Using constrained things, industrial, medical, agricultural, and other environments can be automatically covered and managed.Things can communicate, analyze, process and manage data without any human intervention. However, security issues prevent the rapid evolution and deployment of this high technology. Identity usurpation, information theft, and data modification represent a real danger for this system of systems.The subject of my thesis is the creation of a security system that provides services for the authentication of connected things, the integrity of their exchanged data and the confidentiality of information. This approach must take into account the things and communication technologies constraints
43
Scioville, Garcia Rodrigo Krakowiak Sacha Adiba Michel Mossière Jacques. "Gestion des informations persistantes dans un système réparti à objets." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00333525.
44
Aïssaoui, François. "Autonomic Approach based on Semantics and Checkpointing for IoT System Management." Thesis, Toulouse 1, 2018. http://www.theses.fr/2018TOU10061/document.
45
Pazzaglia, Jean-Christophe. "Methodologie et outils pour la programmation reflexive dans les langages a objets." Nice, 1997. http://www.theses.fr/1997NICE5119.
Abstract:
La distinction entre concepteur et utilisateur d'un langage s'estompe des lors que celui-ci propose des capacites reflexives. Certains langages a objets, le plus souvent par l'intermediaire d'un protocole metaobjet, decrivent ainsi non plus un point mais une region dans l'espace des langages. Une etude detaillee des modeles et des techniques actuellement utilises dans ce domaine permet d'exhiber les moyens d'actions offerts et de correler trois facteurs au centre de nos preoccupations : le potentiel expressif, l'efficacite et la facilite d'utilisation. Une analyse in vivo d'un cas d'ecole decline dans trois langages est suivie de plusieurs experimentations. Ces experiences permettent d'isoler les difficultes propres et les differents degres d'utilisation de la programmation reflexive. Nous proposons une representation graphique pour les modeles bijectif et surjectif qui offre une aide aux concepteurs et utilisateurs. Nous insistons sur les contraintes qu'imposent la situation particuliere du meta-programmeur. Nous montrons comment l'architecture des langages ou des solutions ad hoc facilitent la programmation d'extensions reflexives. Nous proposons une action en amont qui modifie la demarche de conception dans le domaine reflexif. L'architecture associee permet la combinaison d'extensions compatibles mais offre aussi le moyen de detecter des eventuelles inconsistances. Les principes generaux de cette approche cooperative sont utilises pour la realisation de deux prototypes permettant une programmation cooperative : le premier avec un langage du type de clos et le second dans un langage d'acteurs reflexifs. Leurs capacites sont exposees via deux utilisations. Un exemple de retro-conception exhibe les differences entre solution originelle et cooperative. Nous detaillons comment la prise en compte des problemes de composition permet d'aboutir a des outils generiques compatibles et capables d'analyser l'execution de programmes reflexifs.
46
Bhatti, Muhammad Usman. "Identification des objets et des aspects dans le code procédural orienté objet." Paris 1, 2009. http://www.theses.fr/2009PA010006.
Abstract:
Les entreprises toujours cherchent des moyens pour réduire le coût de développement de logiciel parce que ce coût a un effet direct sur leur compétitivité. La réutilisation de logiciel réduit le coûts de développement qui elle-même dépend sur les techniques de bonne conception de logiciel s'appuyant sur les heuristique, les modèles, et des motifs de conception. Les langages orientés objets fournissent les moyen pour concevoir des logiciel modulaires où les entités de domaine sont encapsulés dans leurs abstractions correspondantes, connu sous le nom de classes. Ces classes contiennent le données et un ensemble d'opérations qui traitent les données liées aux entités de domaine. Cependant, parfois, le logiciel développé utilisant ces langages de type objet manifeste le manque de conception appropriée et ne peut pas être réutilisé, évolué ou maintenu sans engager des coûts élevés. Nous appelons le logiciel développé utilisant l'état de l'art langages orientés objets, néanmoins mis en application sans utiliser correctement l'analyse e la conception orientée objet « Procedural Object-Oriented Code» (POC). Grosses classes, l'absence des abstractions pour des entités de domaine, et le hiérarchies de classes peu profondes ou complètement absentes représentent des défauts clefs du POc. Le code concernant les entités absentes de domaine, appelé la « logique dispersée» de domaine est éparpillé et embrouillé avec le code des autres classes de système. Ainsi, le POC consiste au code éparpillé associe�� non seulement à l'absence des aspects, mais il manifeste également le code dispersé semblant dû à la « logique dispersée» de domaine.
47
Gransart, Christophe. "Box : un modèle et un langage à objets pour la programmation parallèle et distribuée." Lille 1, 1995. http://www.theses.fr/1995LIL10006.
Abstract:
Ce travail s'inscrit dans le cadre du projet pvc/BOX dont le but est le développement d'un environnement orienté objet pour l'exploitation des machines parallèles distribuées. Le concepteur d'applications réparties est devant un double problème de conception. Il doit représenter les données manipulées par son application (ainsi que les procédures qui les manipulent), mais il doit aussi représenter les activités qui vont coopérer à la réalisation de l'application. Pour répondre à ce besoin, nous introduisons un modèle prenant en charge de manière uniforme ces deux aspects de la conception d'applications réparties. Ce modèle introduit explicitement des entités qualifiées de passives et appelées simplement objets et des entités qualifiées d'actives et appelées fragments. Les premières correspondent aux objets traditionnels des langages séquentiels à objets, mais elles pourront être ici utilisées en présence de flots d'exécution concurrents. Les deuxièmes correspondent à une approche objet de la représentation des activités d'une application répartie. Le modèle introduit aussi des possibilités multiples de coopération entre objets et fragments. Le langage BOX est un langage à objets pour applications distribuées. Il inclut des caractéristiques nouvelles, spécifiques pour ce type d'applications, mais reste un langage pleinement objet. Le langage implante le modèle précédent. L'environnement BOX offre un certain nombre d'outils permettant au concepteur de produire une application répartie à partir des classes du langage. Ces applications s'appuient sur la couche système pvc qui est un support d'exécution permettant l'utilisation des systèmes d'exploitation répartis existants. Face au problème de conception des applications réparties, nous présentons donc dans cette thèse un système complet facilitant cette conception.
48
Ciortea, Andrei-Nicolae. "Tisser le Web Social des Objets : Permettre une Interaction Autonome et Flexible dans l’Internet des Objets." Thesis, Lyon, 2016. http://www.theses.fr/2016EMSE0813/document.
Abstract:
L’Internet des Objets (IoT) vise à créer un eco-système global et ubiquitaire composé d’un grand nombre d’objets hétérogènes. Afin d’atteindre cette vision, le World Wide Web apparaît comme un candidat adapté pour interconnecter objets et services à la couche applicative en un Web des Objets (WoT).Cependant l’évolution actuelle du WoT produit des silos d’objets et empêche ainsi la mise en place de cette vision. De plus, même si le Web facilite la composition d’objets et services hétérogènes, les approches existantes produisent des compositions statiques incapables de s’adapter à des environnements dynamiques et des exigences évolutives. Un autre défi est à relever: permettre aux personnes d’interagir avec le vaste, évolutif et hétérogène IoT.Afin de répondre à ces limitations, nous proposons une architecture pour IoT ouvert et autogouverné, constitué de personnes et d’objets situés, en interaction avec un environnement global via des plateformes hétérogènes. Notre approche consiste de rendre les objets autonomes et d’appliquer la métaphore des réseaux sociaux afin de créer des réseaux flexibles de personnes et d’objets. Nous fondons notre approche sur les résultats issus des domaines des multi-agents et du WoT afin de produit un WoT Social.Notre proposition prend en compte les besoins d’hétérogénéité, de découverte et d’interaction flexible dans l’IoT. Elle offre également un coût minimal pour les développeurs et les utilisateurs via différentes couches d’abstraction permettant de limité la complexité de cet éco-système. Nous démontrons ces caractéristiques par la mise en oeuvre de plus scénarios applicatifsThe Internet of Things (IoT) aims to create a global ubiquitous ecosystem composed of large numbers of heterogeneous devices. To achieve this vision, the World Wide Web is emerging as a suitable candidate to interconnect IoT devices and services at the application layer into a Web of Things (WoT).However, the WoT is evolving towards large silos of things, and thus the vision of a global ubiquitous ecosystem is not fully achieved. Furthermore, even if the WoT facilitates mashing up heterogeneous IoT devices and services, existing approaches result in static IoT mashups that cannot adapt to dynamic environments and evolving user requirements. The latter emphasizes another well-recognized challenge in the IoT, that is enabling people to interact with a vast, evolving, and heterogeneous IoT.To address the above limitations, we propose an architecture for an open and self-governed IoT ecosystem composed of people and things situated and interacting in a global environment sustained by heterogeneous platforms. Our approach is to endow things with autonomy and apply the social network metaphor to createflexible networks of people and autonomous things. We base our approach on results from multi-agent and WoT research, and we call the envisioned IoT ecosystem the Social Web of Things.Our proposal emphasizes heterogeneity, discoverability and flexible interaction in the IoT. In the same time, it provides a low entry-barrier for developers and users via multiple layers of abstraction that enable them to effectively cope with the complexity of the overall ecosystem. We implement several application scenarios to demonstrate these features
49
Nurcan, Selmin. "Représentation de connaissances et gestion de données évolutives dans le contexte de la programmation logique orientée objet." Lyon, INSA, 1991. http://www.theses.fr/1991ISAL0005.
Abstract:
AEpsilon est un système de gestion de base de connaissances basé sur l'intégration des technologies de la programmation logique et des bases de données relationnelles. Son but est de fournir un environnement qui offre à la fois des mécanismes de structuration puissants, tels que la modularité (classes et héritage), et un accès efficace et transparent aux bases de données. Cette thèse décrit en détail l'une des interfaces réalisées dans cet environnement, entre le niveau déductif et les bases de données relationnelles. Une interface hybride (semi interpretee-semi compilee) utilise un protocole de communication à deux phases (statique-dynamique) en minimisant le nombre d'accès à la base de données avec des requêtes au sgbd aussi sélectives que possibles. L'interface ainsi obtenue est intégrée dans le prototype complet Epsilon, en la définissant comme un nouveau moteur d'inférence grâce auquel l'utilisateur n'a plus besoin de distinguer les prédicats logiques des prédicats base de données. Une composante très mal prise en compte dans les systèmes de gestion de connaissance concerne l'évolution automatique de l'appartenance des instances d'une classe vers une autre classe. Ce problème recouvre partiellement les aspects liés à ce que l'on appelle la dynamique dans les bases de connaissances. Dans le but d'ajouter cette composante dans Epsilon, nous avons défini un moteur d'inférence, capable de gérer cette évolution, ce qui se traduit par un changement d'appartenance de n-uplets à des relationsEPSILON is a knowledge Base management system (KBMS) based on the integration of database technology and logic programming paradigm. Its aim is to provide an environment offering at the same time powerful structuring mechanisms, such as modularity, and efficient and transparent access to relational database systems. This work describes an interface implemented in this environment between PROLOG and a relational DBMS. A hybrid interface (half compiled-half interpreted) uses a two phase (static-dynamic) communication protocol minimizing the accesses to the database and generating queries as selective as possible to the database. This interface is integrated into EPSILON by defining it a new inference engine which allows the user logical predicates and database predicates in the same way. An aspect, poorly taken into account in knowledge based systems, in the automatic evolution of instances from a class to another one. This problem corresponds partially to the so-called notion of dynamics in knowledge bases. For integrating this aspect into EPSILON, we defined a new inference engine which is able to manage this evolution (corresponding to the migration of tuples from a database relation to another one)
50
Decouchant, Dominique Mossière Jacques Krakowiak Sacha. "Partage et migration de l'information dans un système réparti à objets." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00324431.