Conditions for interoperability

Rossiter, Nick and Heather, Michael (2005) Conditions for interoperability. In: 7th International Conference on Enterprise Information Systems, 25-28 May 2005, Florida.

[img]
Preview
PDF (Conference paper)
Rossiter_Conditions for interoperability.pdf

Download (168kB) | Preview

Abstract

Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases needs to be replaced by a categorical four-level one based on concepts, constructions, schema types and data together with the mappings between them. Such an architecture provides natural closure as further levels are superfluous even in a global environment. The architecture is traversed by means of the Godement calculus: arrows may be composed at any level as well as across levles. The necessary and sufficient conditions for interoperability are satisfied by composable (formal) diagrams both for intension and extension in categories that are cartesian closed and locally cartesian closed. Methods like partial categories and sketches in schema design can benefit from Freyd’s punctured diagrams to identify precisely type-forcing natural transformations. Closure is better achieved in standard full categories. Global interoperability of extension can be achieved through semantic annotation but only if applied at run time.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: Management information systems, Internetworking (Telecommunication)
Subjects: G500 Information Systems
Department: Faculties > Engineering and Environment > Computer Science and Digital Technologies
Depositing User: EPrint Services
Date Deposited: 27 Nov 2008 10:09
Last Modified: 10 May 2017 17:05
URI: http://nrl.northumbria.ac.uk/id/eprint/1020

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics


Policies: NRL Policies | NRL University Deposit Policy | NRL Deposit Licence