A Behavioral Model for Composition of Software Components
L'ingénierie des systèmes logiciels à base de composants nécessite un modèle formel comme fondation. Virtuellement tous les modèles actuels de composants utilisent une forme particulière d'appel de méthode orienté-objet comme base de leur sémantique de composition. À l'opposé, les Abstract Behavior Types (ABT) offrent un modèle plus simple aux composants et à leur composition. Reo est un langage de coordination exogène qui fournit un intergiciel permettant la composition dynamiquement reconfigurable de composants sur les plates-formes distribuées et mobiles. Le modèle ABT sert de formalisme unificateur pour exprimer le comportement des connecteurs Reo ainsi que celui des composants. Au travers d'exemples, nous montrons le pouvoir d'expressivité de Reo et l'applicabilité du modèle ABT.
Engineering of component based software systems requires a formal model for its foundation. Virtually all contemporary component models use some form of object oriented method invocation for their component composition semantics. In contrast, Abstract Behavior Types (ABT) offer a simpler model of components and their composition. Reo is an exogenous coordination language that provides a middleware for dynamically reconfigurable component composition on distributed, mobile platforms. The ABT model serves as a unifying formalism to express the behavior of Reo connectors, as well as that of components. By examples, we show the expressive power of Reo, and the applicability of the ABT model.
F.ARBAB
composants, composition, Reo, types comportementaux abstraits, coordination exogène.
Components, Composition, Reo, Abstract Behavior Types, Exogenous Coordination.
Anglais
|