摘要
论文综合论述了代数规范方法在CAD几何成型中的应用[1,2,3]。首先阐述的是代数规范语言的概念,接下来通过引入反射函数,举例说明如何采用CASL语言在其代数性质方面的优点来描述基于n-维通用映射规范的几何成型数学模型。从而形成了高层次的几何成型操作的抽象描述。最后,简单地描述了CASL语言描述的规范到XAML描述的变换实现。
The paper presents the application of algebraic specification in geometric modeling of CAD.Firstly,the algebraic specification language CASL is discussed.Then,inclusion notion is adapted to describe the geometric modeling mathematical model based on the n-Dimensional Generalized Map specification.The advantages of CASL language are shown by algebraic properties and high-level Abstract specification.The XAML approach to CASL specification is proposed in this paper.
出处
《宜春学院学报》
2011年第4期7-9,共3页
Journal of Yichun University
