形式化构件规约自动生成中的演化转换

• 作者: 刘欣昕 李刚
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 构件 形式化规约 转换
• 年，卷（期）: 2002,（8）
• 所属期刊栏目: 学术探讨
• 页码范围: 69-72
• 页数: 4页
• 分类号: TP311
• 字数: 5179字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2002.08.025

摘要

基于软件体系结构的开发将是未来大型、复杂软件开发的主要技术,而构件是该方法的基础.形式化构件规约对构件的功能描述、分类和检索有重要意义.文中给出了一种用于形式化构件规约自动生成的转换方法即演化转换,对该方法的转换过程、转换规则提取、表示及主要转换算法进行了详细说明,并对规约的完整性和转换的正确性进行了探讨.最后,还对该方法的实现系统及其特点进行了简要介绍.演化转换能较好地控制转换粒度和跨度,时转换正确性和规约完整性也有一定的保证,在转换过程中实现了规约的垂直重用,使构造的模型和规约对需求变化有一定的适应性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李刚	北京航空航天大学计算机系	19	497	10.0	19.0