ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

Ingénierie des Systèmes d'Information

Networking and Information Systems
1633-1311
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 15/5 - 2010  - pp.37-61  - doi:10.3166/isi.15.5.37-61
TITRE
Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs

TITLE
Categorisation and formalisation of interoperability requirements in collaborative processes

RÉSUMÉ
L’interopérabilité revêt un enjeu important pour l’industrie et son absence peut être vue comme un des principaux freins à un travail collaboratif aussi bien inter-entreprises que intra-entreprise. Il paraît donc pertinent d’analyser et de détecter d’éventuels manques ou défauts d’interopérabilité dans l’organisation ou le comportement des entreprises impliquées dans un processus collaboratif. Ces travaux de recherche proposent, dans un contexte d’ingénierie de processus guidée par les modèles, 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é à prendre 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. Enfin, ces exigences doivent être vérifiées en se référant aux modèles du ou des processus étudiés. Cet article présente la définition et la formalisation des exigences d’interopérabilité sous forme de propriétés prouvables de manière 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.


AUTEUR(S)
Sihem MALLEK, Nicolas DACLIN, Vincent CHAPURLAT

MOTS-CLÉS
interopérabilité, exigences, compatibilité, interopération, réversibilité, vérification, propriétés, processus collaboratif.

KEYWORDS
Interoperability, requirements, compatibility, interoperation, reversibility, verification, properties, collaborative process.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (443 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier