L'objet numéro spécial

La modularisation, la séparation des préoccupations et les architectures logicielles constituent des thématiques importantes du développement logiciel. Les composants logiciels favorisent la modularisation horizontale et verticale ; ils font l'objet de propositions variées, qualifiées d'industrielles (EJB, COM, .Net, Fractal) ou plus académiques (ArchJava, Sofa, ...). De même les architectures à base de services favorisent la modularisation horizontale et verticale de fonctions ainsi que la délocalisation d'activités ; elles se popularisent à travers les Web services. Les approches par aspects favorisent la modularisation verticale par des couches de préoccupations orthogonales. Nous considérons plus particulièrement les thèmes suivants : modèles, programmation et vérification de propriétés. Les domaines de mise en œuvre des composants, services ou aspects sont par exemples le domaine des lignes de produit, les systèmes embarqués, le commerce électronique, les systèmes d'exploitation, les télécommunications, etc.

Les travaux de recherche ont été actifs sur les trois thématiques et selon plusieurs points de vue : langages de description, modèles sémantiques, infrastructure d'implantation, techniques de vérification de propriétés, génération de code, etc. Un des défis actuels est d'assurer la qualité des modules logiciels (composants et services) et des tissages d'aspects en définissant et vérifiant des propriétés des modules et de leur intégration. Des techniques appropriées mises en œuvre par des outils sont nécessaires pour affronter ce défi. De plus les outils doivent s'appliquer à l'échelle et être interopérables parce que les modules peuvent être issus de différents modèles et environnements.

Dans ce numéro spécial nous souhaitons faire le point sur les outils et techniques de vérification de propriétés dans les modèles à composants, à services ou à aspects. Ces trois approches marquent des avancées dans la construction et l'assemblage de systèmes logiciels. Depuis une décennie, de nombreux modèles ont été proposés, et il nous semble intéressant d'observer l'avancée des recherches en ce qui concerne les outils pour les concepteurs et assembleurs d'éléments logiciels. L'intérêt est l'émergence de bonnes pratiques communes et de standards pour les propriétés, techniques et outils pour les chercheurs et les développeurs que ce soit dans le monde académique ou le monde industriel. Nous nous intéressons donc ici tant au développement d'outils de modélisation, à leur utilisation et leurs bases théoriques qu'aux formats, langages de description de propriétés et supports de vérification ainsi qu'aux expérimentations.

Numéro spécial de L'Objet

Composants, Services et Aspects :

techniques et outils pour la vérification

Date limite (étendue) de soumission : 31-08-2008

Contexte :

Objectifs :

Thèmes :

Comité de rédaction du numéro

Calendrier

L'éditeur et la revue

Recommandations aux auteurs