CASL:基于代数规范的几何成型

论文综合论述了代数规范方法在CAD几何成型中的应用[1,2,3]。首先阐述的是代数规范语言的概念,接下来通过引入反射函数,举例说明如何采用CASL语言在其代数性质方面的优点来描述基于n-维通用映射规范的几何成型数学模型。从而形成了高层次的几何成型操作的抽象描述。最后,简单地描述了CASL语言描述的规范到XAML描述的变换实现。