Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs

RESUME. L'interoperabilite revet un enjeu important pour l'industrie et son absence peut etre vue comme un des principaux freins a un travail collaboratif aussi bien inter-entreprises que intra-entreprise. Il parait donc pertinent d'analyser et de detecter d'eventuels manques ou defauts d'interoperabilite dans l'organisation ou le comportement des entreprises impliquees dans un processus collaboratif. Ces travaux de recherche proposent, dans un contexte d'ingenierie de processus guidee par les modeles, d'utiliser des techniques de verification formelle pour detecter differents types de problemes ou de presomption de problemes d'interoperabilite. Ceci implique, dans un premier temps, de definir les besoins particuliers en interoperabilite devant etre pris en compte dans un contexte collaboratif. Dans un second temps, il est necessaire de formaliser ces besoins en un ensemble d'exigences d'interoperabilite, de maniere aussi formelle que possible. Enfin, ces exigences doivent etre verifiees en se referant aux modeles du ou des processus etudies. Cet article presente la definition et la formalisation des exigences d'interoperabilite sous forme de proprietes prouvables de maniere formelle ou analysables selon d'autres techniques. ABSTRACT. Interoperability is becoming a crucial issue for industry and a lack of interoperability can be seen as an important barrier to a collaborative work. 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. This research work proposes to use formal verification techniques to detect interoperability problems. On the one hand, this induces to be able to define the particular needs to consider. On the other hand, it requires to formalise these needs as a set of unambiguous and, as formal as possible, requirements. Finally, interoperability requirements must be checked thanks to target process model. This paper focuses on the definition and the formalisation of interoperability requirements into interoperability properties that can be formally checked.