Abstract
Interoperability is the capability of different systems to use each other’s services effectively. It is about sharing functionality and information between systems at different levels, e.g., between physical devices, software applications, business units within one organization, or between different organizations. Interoperability implies that systems are able to interact (i.e., exchange messages), read and understand each other’s messages, and share the same expectations about the effect of the message exchange. In this paper we analyze and define in detail what it means for software systems to be interoperable. We identify three different levels of interoperability – the syntactic, semantic and pragmatic level – and define the requirements for assessing interoperability at each of these levels. We propose a method for formally verifying the semantic and pragmatic interoperability of a number of systems, given a target for integration.
Original language | Undefined |
---|---|
Title of host publication | Proc. Int'l Conf. on Interoperability for Enterprise Software and Applications (I-ESA'06) |
Place of Publication | London |
Publisher | Springer |
Pages | 221-231 |
Number of pages | 11 |
ISBN (Print) | 978-1-84628-713-8 |
DOIs | |
Publication status | Published - 2006 |
Event | 2nd International Conference on Interoperability for Enterprise Software and Applications, I-ESA 2006 - Bordeaux, France Duration: 22 Mar 2006 → 24 Mar 2006 Conference number: 2 |
Publication series
Name | |
---|---|
Publisher | Springer |
Number | 2 |
Conference
Conference | 2nd International Conference on Interoperability for Enterprise Software and Applications, I-ESA 2006 |
---|---|
Abbreviated title | I-ESA |
Country/Territory | France |
City | Bordeaux |
Period | 22/03/06 → 24/03/06 |
Keywords
- EWI-6226
- IR-63220
- METIS-238134
- SCS-Services