Category-theoretic fibration as an abstraction mechanism in information systems

@article{Colomb2001CategorytheoreticFA,
  title={Category-theoretic fibration as an abstraction mechanism in information systems},
  author={Robert M. Colomb and Christopher N. G. Dampney and Michael Johnson},
  journal={Acta Informatica},
  year={2001},
  volume={38},
  pages={1-44}
}
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… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 11 references

In:M.Nivat,C.Rattray, T.Rus,G.Scollo (eds) AlgebraicMethodology and Software Technology (AMAST

  • Johnson, M.S.J, Dampney
  • 1993
Highly Influential
5 Excerpts

Category Theory for Computer Scientists

  • M. Barr, C. Wells
  • Englewood Cliffs, NJ: Prentice-Hall
  • 1990
1 Excerpt

Similar Papers

Loading similar papers…