ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 30/6 - 2011  - pp.627-658  - doi:10.3166/tsi.30.627-658
TITRE
Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services

TITLE
Kmelia, a formal abstract model to specify and verify the composition of software components and services

RÉSUMÉ
Kmelia est un langage et un modèle à composants multiservices où les composants sont abstraits et formels de façon à pouvoir y exprimer des propriétés et à les vérifier. Dans Kmelia un service peut interagir avec son appelant, encapsuler des services auxquels il donne accès et aussi requérir d’autres services. Ces services sont paramétrés par des données et dotés d’assertions (pré/post-conditions). Dans cet article nous présentons les principales caractéristiques de Kmelia à travers les moyens de composition de services et de composants qui sont offerts. Pour chaque cas nous détaillons les compositions horizontale et verticale, nous abordons aussi le cas des compositions multiparties. Nous discutons en particulier des interactions, déterminées par le mode de composition des composants et services, qui influent sur les propriétés dynamiques à vérifier. Nous présentons ensuite les méthodes d’analyse formelle et l’outil support COSTO. Nous illustrons l’article par l’étude d’une application de commerce informatisée.


ABSTRACT
Kmelia is both a language and a multi-services component-based model. The Kmelia components are abstract and formal to permit the description and the verification of properties. Within Kmelia a service may interact with its caller; it can encapsulate other services to which it gives access and it can also require services. These services are parameterised with data and they are equipped with assertions (pre-post-/conditions). In this article we introduce the main features of Kmelia through the provided means for service composition and component composition. The composition of components and services determines the feasible interactions which influence the dynamic property verification. We present the formal analysis methods and the COSTO toolbox that accompany the Kmelia approach. The article is illustrated with a case study which deals with the management of a trading system.


AUTEUR(S)
Pascal ANDRÉ, Gilles ARDOUREL, Christian ATTIOGBÉ

MOTS-CLÉS
composants, services, architecture logicielle, composition, correction.

KEYWORDS
components, services, software architecture, composition, correctness.

LANGUE DE L'ARTICLE
Français

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier