Résumé:
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.
