Une description générique formelle des systèmes à base de services : Application du raffinement et de l' enrichissement algébrique au problème des interactions de services
Institution:
Evry-Val d'EssonneDisciplines:
Directors:
Abstract EN:
Feature-oriented systems are software systems which are incremently re-designed in order to provide new options to their users. This leads to modify and / or enrich some oldest systeme behaviors. The description of such a behavior modification is called a feature. Features are designed and integrated in an independant way. This independance leads to unpredicted behaviors which are called interactions. In the frame formal methods, there exists several characterisations of the notion of interaction, but all if them depends on the underlying logic of the formal methods of interest. In this thesis, we propose generic definitions of the notions of feature, feature-oriented systems and feature interactions. Those latest are grounded in the theory of institutions. From any arbitrary institution, we show how to define a new institution devoted to feature specifying. Then we show how to compose those features in order to model feature systems and feature integrations. Interactions are the enlighted by the study of two kind of properties : The emerging properties which denotes behaviors of the system unpredicted by the feature description, and non-conformance properties which denotes behaviors promissed by the feature description which are not behaviors of the system. In the last part of the thesis we show how those properties are preserved through enrichments and refinements. In the both case (enrichment and refinement) we show that emerging properties are preserved (enventhough some new ones may appear) While some non-conformance properties may disappear. Finally we propose to impose sufficient conditions in order to obtain complete preservation of emerging and non-conformance properties.
Abstract FR:
Un système orienté-services est un système logiciel destiné à être re-conçu incrémentalement pour fournir à ses utilisateurs de nouvelles options. Ceci amène à modifier et / ou enrichir certains comportements du systèmes. La modification de tels comportements est appelée service. Les services sont conçus et intégrés indépendamment les uns des autres. Cette indépendance a pour effet d'induire des comportements du système non prévus. Ces derniers sont appelés : Interactions. Dans le cadre des méthodes formelles, il existe plusieurs caractérisations de la notion d'interaction, mais ces dernières dépendent de la logique sous-jacente. Dans cette thèse, nous proposons des définitions génériques des notions de services, systèmes orienté-services et interaction. Ces dernières sont caractérisées dans la théorie des institutions. A partir d'une institution quelconque, nous montrons comment définir une nouvelle institution dédiée à spécifier des services. Puis nous montrons comment composer ces services de façon à modéliser les systèmes de services et l'opération d'intégration de services. Les interactions sont alors mises en lumière par l'étude de deux types de propriétés : Les propriétés émergentes qui dénotent des comportements du système non prédits par la description du service et les propriétés de non-conformités qui dénotent des comportements promis par la description du services et qui ne sont pas des comportements du système. Dans la dernière partie de la thèse, nous montrons comment ces propriétés sont conservées au travers de primitives d'enrichissement et de raffinement. Dans les deux cas, (enrichissement et raffinement), nous montrons que les propriétés émergentes sont préservées (bien que de nouvelles puissent apparaître) alors que les propriétés de non conformité peuvent disparaître. Finallement, nous proposons d'imposer des conditions suffisantes pour obtenir une conservation complète des propriétés émergentes et de non-conformité.