Une proposition de composants formels
La notion de composant, bien qu’ancienne, n’a pas encore donné toute sa puissance
d’expression pour la construction de systèmes logiciels complexes. Les propositions actuelles,
au niveau de la conception ou du codage, bien que démonstratives nous semblent encore très
insuffisantes. Il est fondamental que la notion de composants logiciels apparaisse le plus tôt
possible dans le cycle de vie, et en particulier au niveau spécification formelle. Dans cet article
nous présentons notre notion de composant formel sur une étude de cas modélisée en KORRIGAN.
Nos composants sont basés sur une notion de vue graphique et textuelle et utilisent
des systèmes de transitions symboliques, des spécifications algébriques et une colle temporelle.
Nous illustrons divers aspects, notamment la composition, la réutilisation et la communication
entre composants.
The concept of component, even if an old one, has not yet given all its expressive
power as far as building complex systems is concerned. New proposals for components have
appeared at design or code level. Although they are demonstrative, we think they are still not
sufficient enough. It is fundamental for us that the concept of sofware component appears as
soon as possible in the life cycle, in particular at the formal specification level. In this article
we present our formal component concept on a case study modelled with KORRIGAN. Our
components are based upon textual and graphical views, using symbolic transition systems,
algebraic specifications and a temporal glue. We illustrate some of their features, amongst
them composition, reuse and communication between components.
P.POIZAT, J.ROYER
composants formels, composition, réutilisation, patrons de communication, vues.
formal components, composition, reuse, communication patterns, vues.
Français
|
