协同系统体系结构模型的形式化语义

• 作者: 侯金奎
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 模型驱动开发 协同系统 软件体系结构 形式化语义
• 年，卷（期）: 2009,（z1）
• 所属期刊栏目: 学术论文
• 页码范围: 106-111,105
• 页数: 7页
• 分类号: TP311
• 字数: 5605字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2009.z1.019

摘要

针对模型驱动的协同应用系统开发,将范畴理论、代数规范和进程代数相结合,为软件体系结构模型提出了一种新的语义描述方法.该方法在构件规约描述的基础上,用态射表示构件之间的关系,态射类型蕴含了构件关系的不同语义,从而用类型范畴图表来描述软件体系结构模型,用函子描述体系结构模型之间的映射关系.体系结构模型的形式化描述可用于判断一个转换是否满足某些特性或约束.以一个协同编著系统为例说明了该方法的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	侯金奎	潍坊学院计算机与通信工程学院	23	180	7.0	12.0