Abstract: A computer-implemented method and system for determining colimits of hereditary diagrams. A user specifies a diagram of diagram and specifies performance of a colimit operation. Once the colimit is performed, the name of the colimit is added to the hereditary diagram. The described embodiment supports diagrams of diagrams, also called hierarchical diagrams.
Type:
Grant
Filed:
September 19, 2000
Date of Patent:
November 8, 2005
Assignee:
Kestrel Institute
Inventors:
Dusko Pavlovic, Douglas R. Smith, Junbo Liu