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

摘要

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