Sciweavers

ICEIS
2005
IEEE

Conditions for Interoperability

13 years 9 months ago
Conditions for Interoperability
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....
B. Nick Rossiter, Michael A. Heather
Added 24 Jun 2010
Updated 24 Jun 2010
Type Conference
Year 2005
Where ICEIS
Authors B. Nick Rossiter, Michael A. Heather
Comments (0)