Automated Software Component Synthesis and Reuse via Category Theoretic Computations

摘要

Current software development approaches lack a formal and systematic way to construct, understand, and reuse software components. The paper presents a theory-based approach for software synthesis and reuse at different levels of abstraction and granularity. Focusing on the precise representation and reasoning of software components and their relationships, our approach specifies abstract data types, algorithms, and frameworks base upon categorical models, composes and refines their specifications using category theoretic computations, and therefore enables a high-level of reusability and dynamic adaptability. We also briefly describe the MISCE, a prototype tool that demonstrates the feasibility and effectiveness of the approach.