An approach for interoperability requirements specification and verification - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

An approach for interoperability requirements specification and verification

Résumé

Enterprises are today involved in collaborative processes with other partners sharing common economical interests in confidence. This allows these enterprises to focus on their core business, to optimize, and to be effective to respond to customers' needs. Implicitly, a partner that wishes to become involved in a partnership must demonstrate numerous qualities and enable to gain the confidence of other partners. Among other ones, demonstrate its ability to be interoperable is a major issue. This research work aims to define, to formalize and to analyze a set of interoperability requirements that each partner of a collaborative process have to satisfy prior to any collaboration. This paper focuses and illustrates how interoperability requirements related to the static and dynamic aspects of the collaboration may be formalized and verified by the use of a formal verification technique.
Fichier principal
Vignette du fichier
978-3-642-19680-5_9_Chapter.pdf (333.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00588834 , version 1 (26-04-2011)

Licence

Paternité

Identifiants

Citer

Sihem Mallek, Nicolas Daclin, Vincent Chapurlat. An approach for interoperability requirements specification and verification. 3rd IFIP Working Conference on Enterprise Interoperability (IWEI), Mar 2011, Stokholm, Sweden. pp.89-102, ⟨10.1007/978-3-642-19680-5_9⟩. ⟨hal-00588834⟩
161 Consultations
63 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More