软件组件的共代数语意

摘要：

基于组件的软件开发能够有效提高软件开发的质量与效率.但在一些安全关键的领域,由于形式化模型与方法的缺乏,使得基于组件的开发方法不能成功应用.为了得到一套完整的形式化模型用于描述软件组件及其组成的系统,首先必须对软件组件的形式化语意进行定义.文中提出了一种基于共代数概念的语意,使得满足接口和组件规约的组件对应于一个具体的共代数,并由此推导出了接口和组件的功能契约的形式语意以及接口依赖的共代数语意.通过对一个简单的堆栈进行规约,体现了这种方法的可应用性.

关键词：基于组件的软件开发、软件组件、共代数、形式语意

所属期刊栏目：20

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家高技术研究发展863计划项目2006AA02Z346

在线出版日期：2011-03-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：46-49