Modèle et langage pour la spécification d'architectures basées sur les bus logiciels à messages
Institution:
NiceDisciplines:
Directors:
Abstract EN:
Software use more and more often parallelism and distributed components. These concepts were gradually introduced into programming languages (ADA, JAVA) or give place to the development of specialized languages and middlewares. However, there are a few tools of high level design for such programs. In this thesis, we propose a model of communication based on the messaging software buses and a language for the specification of interactions between distributed objects of the asynchronous reactive type named Reactive Object Language (ROL). This language allows the specification of the network which forms these objects and their reactions to the messages that they receive. The ROL specifications are implementation-independent. For their execution, we propose a translation into the object language JAVA. Currently, the configuration part of the application is lefts on the programmer. By specifying two existing parallel WEB applications asynchronous and distributed (HERMES and BROADWAYV2) with our language ROL, we show that its declaratory syntax makes it possible to simplify the programming and the maintenance of systems made up of reactive objects compared to an approach based on a traditional object language.
Abstract FR:
Les logiciels font de plus en plus appel au parallélisme et aux composants distribués. Ces notions ont été petit à petit introduites dans les langages de programmation (ADA, JAVA) ou donné lieu au développement de langages spécialisés et de middlewares. Cependant, il existe peu d’outils de conception de haut niveau pour de tels programmes. Dans cette thèse, nous proposons un modèle de communication basée sur les bus logiciels à messages et un langage de spécification des interactions entre objets de type réactifs asynchrones distribués nommé ROL (Reactive Object Language) ; Ce langage permet la spécification du réseau que forment ces objets et leurs réactions aux messages qu’ils reçoivent. Les spécifications ROL sont totalement indépendantes de l’implantation. Pour leur exécution, nous proposons une traduction vers le langage objet JAVA. Actuellement, la partie configuration de l’application est laissée à la charge du programmeur. En spécifiant deux applications WEB parallèles asynchrones et distribuées existantes (HERMES et BROADWAYV2) avec notre langage ROL, nous montrons que sa syntaxe déclarative permet de simplifier la programmation et l maintenance de systèmes composés d’objets réactifs par rapport à une approche basée sur un langage à objets traditionnel.