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

CASL:Algebraic Specification Approach to Geometric Modeling

作　　者：袁伟[1] 孙永强[2] 

机构地区：[1]上海大学计算机学院,上海200072 [2]上海交通大学计算机系,上海200030

出　　处：《宜春学院学报》2011年第4期7-9,共3页Journal of Yichun University

摘　　要：论文综合论述了代数规范方法在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.

关 键 词：代数规范语言 几何学成型 计算机辅助设计 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]