摘要
可复用构件往往需要引入多态性支持,但是这给构件的形式化定义带来很多困难。采用代数规范系统来定义空间几何实体构件的组织结构及其行为特征,可以有效的支持构件的数据和行为多态性。在多层次的代数规范理论基础上,引入了构件的参数化多态和包含多态,建立了空间几何的实体多态性构件系统,实例表明了系统对于数据和行为多态性方面的有效性。
Polymorphism need be import for reused component, but many difficulties would increase to formal of component. A method of algebra specification is proposed to describe the structure and characteristics of these component, and which support polymorphism for properties and behavior of component. Parametric polymorphism and inclusion polymorphism of component are imported based by the multi-level algebraic specification, and a spaitial components system are developed which verified valid of the method in polymorphism of data and behavior.
出处
《计算机工程与设计》
CSCD
北大核心
2009年第22期5058-5061,5064,共5页
Computer Engineering and Design
基金
浙江省教育厅基金项目(20060579)
关键词
构件
多态
代数规范
空间几何实体
形式化
component
polymorphism
algebraic specification
spatial geometry
formal
