Composition by Colimit and Formal Software Development

Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations in which colimits can be mechanically applied to support software development by refinement. We illustrate the use of colimits to support automated datatype refinement, algorithm design, aspect weaving, and security policy enforcement.

• Type: Conference
• Year: 2006
• Where: BIRTHDAY
• Authors: Douglas R. Smith
• Keywords: Applied Computing, BIRTHDAY 2006, Datatype Refinement, Goguen's Vision, Security Policy Enforcement