Contribution to the development of interoperability in enterprise : towards an anticipative approach to detect interoperability problems in collaborative processes
Contribution au développement de l’interopérabilité en entreprise : vers une approche anticipative de détection de problèmes d’interopérabilité dans des processus collaboratifs
Résumé
Interoperability is becoming a crucial issue for industry and a lack of interoperability can be seen as an important barrier to a collaborative work, especially on collaborative process both public (inter-enterprise) and private (intra-enterprise). Indeed, interoperability characterises the ability of any enterprises to interact within a collaborative process. Prior to any effective collaboration, it is necessary to inform enterprises that aim to work together, if they are able to interoperate. Researches in interoperability have shown the benefits of the measurement and the evaluation of interoperability through the proposition of several frameworks and maturity models. However, approaches to detect and anticipate interoperability problems are either not existing or few considered. The research works proposed in this thesis are developed in a context of process engineering-driven models and propose to use formal verification techniques to detect different types of problems or suspected problems of interoperability. On the one hand, this means to be able to define the specific needs of interoperability. On the other hand, it requires to formalise these needs as a set of requirements that are unambiguous and, as formal as possible. Three classes of interoperability requirements are defined: compatibility requirements, interoperation requirements and reversibility requirements. Finally, interoperability requirements must be checked according to the studied process model.
L'interopérabilité revêt un enjeu majeur pour l'industrie et son absence peut être vue comme un des principaux freins à un travail collaboratif pertinent et efficient. C'est particulièrement le cas dans le cadre de processus collaboratifs aussi bien publics (inter entreprises) que privés (intra-entreprise). Il parait donc pertinent d'analyser et de détecter d'éventuels manques ou défauts d'interopérabilité dans des (parties d') entreprises impliquées dans un processus collaboratif avant même que ce processus ne soit implémenté. Les recherches sur l'interopérabilité ont montré l'intérêt de mesurer et d'évaluer l'interopérabilité avec la proposition de cadres et de modèles de maturité. Cependant, la détection et l'anticipation de problèmes d'interopérabilité restent peu étudiés et outillés. Les travaux de recherche proposés dans cette thèse se développent dans un contexte d'ingénierie de processus guidée par les modèles. Ils se proposent d'utiliser des techniques de vérification formelle pour détecter différents types de problèmes ou de présomption de problèmes d'interopérabilité. Ceci implique, dans un premier temps, de définir les besoins particuliers en interopérabilité devant être pris en compte dans un contexte collaboratif. Dans un second temps, il est nécessaire de formaliser ces besoins en un ensemble d'exigences d'interopérabilité, de manière aussi formelle que possible. Ceci abouti à la proposition de trois classes d'exigences d'interopérabilité respectant le cycle de vie d'un processus collaboratif : les exigences de compatibilité, les exigences d'interopération et les exigences de réversibilité. Enfin, ces exigences doivent être vérifiées en se référant aux modèles du ou des processus étudiés.
Origine : Version validée par le jury (STAR)