Design and Implementation of DSL Via Category Theoretic Computations

Haifeng Ling,Xianzhong Zhou,Yujun Zheng
DOI: https://doi.org/10.1109/fcst.2009.102
2009-01-01
Abstract: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.
What problem does this paper attempt to address?