Title :
Using category theory to model software component dependencies
Author_Institution :
Dept. of Comput. Sci., California State Univ., Bakersfield, CA, USA
Abstract :
As the size and complexity of software systems grow, the identification and proper management of interconnection dependencies among various pieces of a system have become responsible for an increasingly important part of the development effort. In today´s large systems, the variety of encountered interconnection relationships (such as implements, uses, and extends) is very large, while the complexity of protocols for managing them can be very high. The paper tries to address this problem by using category theory. It also gives a framework of dependency modeling
Keywords :
category theory; object-oriented programming; software architecture; category theory; extends; implements; interconnection dependencies; protocols; software component dependencies; software systems; uses; Application software; Computer languages; Computer science; LAN interconnection; Packaging; Programming profession; Protocols; Software development management; Software systems; Software tools;
Conference_Titel :
Engineering of Computer-Based Systems, 2002. Proceedings. Ninth Annual IEEE International Conference and Workshop on the
Conference_Location :
Lund
Print_ISBN :
0-7695-1549-5
DOI :
10.1109/ECBS.2002.999837