Conception d'un ADL pour les applications distribuées et mobiles, basé logique de réécriture.

Abstract

In order to adopt a software architecture driven approach to specify mobile systems, we define a unified semantic framework for specifying the bidirectional, steady state and topology, evolution of such type of systems. Since eventual changes on architecture topology may have side effects on the ongoing computations, a unified structure and semantic basis are adopted to specify the two types of dynamism. Interfaces constitute the common structure on which side effects are perceptible. A rule based approach is used to define possible changes on the structure and state. Different facets (topology, behaviour, and reconfiguration) of mobile systems are then easily defined within the same semantic framework. Interactions between the various views are captured via interfaces. Validating syntactic construction defined by the model is a necessary task. The semantic model associated to software architectures specified in MoSAL is also constructed. It consists of a double category with visible interfaces as basic objects. Horizontal category models software architecture possible configurations with components and links as basic morphisms, vertical category models both computation evolution and reconfiguration actions on components interfaces.