ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

 ARTICLE VOL 8/1-2 - 2002  - pp.231-245  - doi:10.3166/objet.8.1-2.231-245
TITRE
Une proposition de composants formels

RÉSUMÉ

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.

ABSTRACT

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.

AUTEUR(S)
Pascal POIZAT, Jean-Claude ROYER

MOTS-CLÉS
composants formels, composition, réutilisation, patrons de communication, vues.

KEYWORDS
formal components, composition, reuse, communication patterns, vues.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 34.95 €
• Non abonné : 34.95 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (201 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
made by WAW Lavoisier