Category theory has been widely used in computer science, but usually in a very sophisticated manner. This paper argues that elementary category theoretic notions can have important value in the “real world” of software engineering. Perhaps the most elementary categorical notion is that of commutative diagram. Drawing on experience from several applications of category theory to information modelling in major business enterprises we show how commutative diagrams have been used to develop new methodologies in ER-modelling, constraint specification and process modelling. They also suggest new but as yet untested techniques for information model partitioning and information system architecture. The methodologies described here have a firm theoretical basis using the recently isolated theory of lextensive categories and this basis is briefly outlined.
|Title of host publication||Algebraic Methodology and Software Technology|
|Editors||M. Nivat, C. Rattray, T. Rus, G. Scollo|
|Place of Publication||London|
|Publisher||Springer, Springer Nature|
|Number of pages||14|
|Publication status||Published - 1994|
|Name||Workshops in Computing|