Category-theoretic fibration as an abstraction mechanism in information systems

Colomb, Robert M., Dampney, C.N.G. and Johnson, Michael (2001) Category-theoretic fibration as an abstraction mechanism in information systems. Acta Informatica, 38 1: 1-44. doi:10.1007/PL00013321

Author Colomb, Robert M.
Dampney, C.N.G.
Johnson, Michael
Title Category-theoretic fibration as an abstraction mechanism in information systems
Journal name Acta Informatica   Check publisher's open access policy
ISSN 0001-5903
Publication date 2001-09
Sub-type Article (original research)
DOI 10.1007/PL00013321
Volume 38
Issue 1
Start page 1
End page 44
Total pages 44
Editor M. Broy
Place of publication New York
Publisher Springer-Verlag
Collection year 2001
Language eng
Subject C1
280111 Conceptual Modelling
700102 Application tools and system utilities
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.
Keyword Computer Science
Information Systems
Q-Index Code C1

Document type: Journal Article
Sub-type: Article (original research)
Collection: School of Information Technology and Electrical Engineering Publications
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 9 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Tue, 14 Aug 2007, 15:26:10 EST