Design and Implementation of DSL via Category Theoretic Computations

Domain specific languages provide appropriate built-in abstractions and notations in a particular problem domain, and have been suggested as means for developing highly adaptable software systems. The paper presents a theory-based framework to support domain-specific design and implementation. Focusing concern on reasoning about interactive relationships among software models and objects at different levels of abstraction and granularity, our framework provides a unified categorial environment for intra-model composition and inter-model refinement of specifications via category theoretic computations, and therefore enables a high-level of reusability and dynamic adaptability.