软件组件的共代数语意

• 作者: 冯刚 张旅
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 基于组件的软件开发 软件组件 共代数 形式语意
• 年，卷（期）: 2010,（12）
• 页码范围: 46-49
• 分类号: TP311.5
• 字数: 4569字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2010.12.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯刚	华南师范大学计算机学院	18	199	5.0	14.0
2	张旅	华南师范大学计算机学院	2	3	1.0	1.0