An approach for interoperability requirements specification and verification - Enterprise Interoperability Access content directly
Conference Papers Year : 2011

An approach for interoperability requirements specification and verification

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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 View
65 Download

Altmetric

Share

Gmail Facebook X LinkedIn More