Category-theoretic fibration as an abstraction mechanism in information systems

Robert Colomb, Kit Dampney, Michael Johnson

Research output: Contribution to journalArticle

11 Citations (Scopus)

Abstract

This paper examines the problem of establishing a formal relationship of abstraction and refinement between abstract enterprise models and the concrete information systems which implement them. It introduces and justifies a number of reasonableness requirements, which turn out to justify the use of category theoretic concepts, particularly fibrations, to precisely specify a semantics for enterprise models which enables them to be considered as abstractions of the conceptual models from which the implementing information systems are built. The category-theoretic concepts are developed towards the problem of testing whether a system satisfies the fibration axioms, and are applied to case studies to demonstrate their practicability.

Original languageEnglish
Pages (from-to)1-44
Number of pages44
JournalActa Informatica
Volume38
Issue number1
Publication statusPublished - Sep 2001

Cite this