Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur

International audienceUn des problèmes en ingénierie des exigences consiste à capter les besoins des utilisateurs le mieux possible. Or force est de constater que les supports d’ingénierie tels que les modèles orientés but ou les diagrammes d’exigences orientés système tels que ceux de SYSML sont parfois trop complexes pour les utilisateurs finaux. Dans cet article, nous proposons un processus systématique permettant aux utilisateurs d’exprimer les exigences à l’aide de modèles cognitifs plus simples tels que les Mind Maps. Ces derniers sont alors transformés en modèles KAOS puis en modèles SYSML en appliquant des techniques de transformations de modèles. Nous avons appliqué cette approche à un cas d’application industriel

Specification and verification of components interaction protocols in multi-agent systems.

International audienc

Controllability Preservation and Behavioural Refinement for Service Protocols

International audienc

Spécification formelle des composants d'interaction à base de rôles : Compatibilité et substituabilité.

National audienc

Formalizing Compatibility and Substitutability of Role-based Interactions Components in Multi-Agent Systems

International audienc

A Formal Framework for Component Protocols Behavioural Compatibility

International audienc

Formalizing Context-Based Behavioural Compatibility and Substitubility for Role Components in MAS.

International audienc

A Compositional Framework to the Specification of Service Protocols Controllability and Substitutability

International audienceService description aims at specifying syntactic and semantic properties of the service by distinguishing several interoperability levels (signature, interaction protocol, and semantics). However, providing a basic service description is not sufficient to facilitate the development of services and provide customized information. To do so, it is important to develop formal methods and sufficient software tools for analysing service description. This paper provides a new compositional framework for specifying controllability and substitutability of service protocols interacting asynchronously. First, we investigate necessary and sufficient conditions for protocols controllability and give sufficient conditions for preserving controllability by composition. Then, we propose two protocols substitutability relations and show the soundness of our formal framework. Finally, we propose two protocols refinement relations for checking our substitutability relations and show that the implementability of protocols under refinement is context-independent. We use INA and CADP tools to automatically verify the protocols controllability and substitutability via refinement

On compatibility and behavioural substitutability of component protocols

International audienc

Compatibility and Conformance of Role-Based Interaction Components in MAS

International audienc