Skip to Main content Skip to Navigation
Theses

Mouvement, Interaction, Calcul partout et à tout moment avec l'Ordinateur

Abdelkader Gouaich 1
1 SMILE - Système Multi-agent, Interaction, Langage, Evolution
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : This thesis presents concepts, models and tools for the design and development
of software systems for the Everywhere Anytime Computing context. In fact, the technological
context of software systems is continuously evolving and nowadays the availability of small
communicating devices offers the opportunity to make the Everywhere, Anytime Computing
(EAC) a reality that naturally integrates our societies and economies. Up until now there
has not been an EAC solution that supports the many levels of design in a single framework.
This thesis produces such a framework that deals with: (i) the constraints of the communication
medium in terms of intermittence of the communications; (ii) the management of the
on-the-fly composition and decomposition of the software systems; (iii) the autonomy of the
software entities and systems; (iv) and the management of the interoperability of the open
systems. To answer the first three points, we have introduced an algebraic model of a deployment
environment holding the interacting and autonomous agents. This model is known as
Movement, Interaction, Calculus* (MIC*). The autonomy of the software agents is guaranteed
since MIC* preserves their structural integrity. The interaction scheme within MIC* is
persistent and timely uncoupled. Consequently, the intermittent nature of the communication
media does not affect drastically the functioning of the systems. Finally, thanks to the algebraic
modeling, the composition of MIC* deployment environments is formally specified and
concretely implemented. We have addressed the interoperability from a coordination point of
view. We propose a formalism to express coordination protocols as a graphs expressing the dependencies
on resources between the roles. Using this formalism, a formal link has been made,
using a rewriting system. Furthermore, using Queue Petri Nets we have offered a practical
mean to check the consistency between a coordination protocol and the conversations among
the agents. Finally, an engineering framework is proposed for the design and implementation
of applications within the AEC context as open artificial societies of autonomous agents. In
order to experiment with the suggested approaches, an AEC simulation platform has been
developed. The user can move within a virtual world where she/he can interact dynamically
with the services that are deployed.
Keywords : EAC
Complete list of metadatas

Cited literature [122 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00142843
Contributor : Elisabeth Greverie <>
Submitted on : Monday, April 23, 2007 - 11:50:55 AM
Last modification on : Friday, October 23, 2020 - 4:42:45 PM
Long-term archiving on: : Wednesday, April 7, 2010 - 3:23:11 AM

Identifiers

  • HAL Id : tel-00142843, version 1

Collections

Citation

Abdelkader Gouaich. Mouvement, Interaction, Calcul partout et à tout moment avec l'Ordinateur. Génie logiciel [cs.SE]. Université Montpellier II - Sciences et Techniques du Languedoc, 2005. Français. ⟨tel-00142843⟩

Share

Metrics

Record views

191

Files downloads

645