| 协同系统体系结构模型的形式化语义 |
| |
| 引用本文： | 侯金奎. 协同系统体系结构模型的形式化语义[J]. 电子学报, 2009, 37(Z1): 106 |
| |
| 作者姓名： | 侯金奎 |
| |
| 作者单位： | 潍坊学院计算机与通信工程学院,山东潍坊,261061;山东大学计算机科学与技术学院,山东济南,250101 |
| |
| 摘 要： | 针对模型驱动的协同应用系统开发,将范畴理论、代数规范和进程代数相结合,为软件体系结构模型提出了一种新的语义描述方法.该方法在构件规约描述的基础上,用态射表示构件之间的关系,态射类型蕴含了构件关系的不同语义,从而用类型范畴图表来描述软件体系结构模型,用函子描述体系结构模型之间的映射关系.体系结构模型的形式化描述可用于判断一个转换是否满足某些特性或约束.以一个协同编著系统为例说明了该方法的应用.
|
| 关 键 词： | 模型驱动开发 协同系统 软件体系结构 形式化语义 |
| 收稿时间： | 2008-09-02 |
Formal Semantics of Architecture Model of Collaborative Systems |
| |
| HOU Jin-kui. Formal Semantics of Architecture Model of Collaborative Systems[J]. Acta Electronica Sinica, 2009, 37(Z1): 106 |
| |
| Authors: | HOU Jin-kui |
| |
| Affiliation: | 1.School of Computer and Communication Engineering;Weifang University;Weifang;Shandong 261061;China;2.School of Computer Science and Technology;Shandong University;Jinan;Shandong 250101;China |
| |
| Abstract: | |
| |
| Keywords: | model-driven development collaborative system software architecture formal semantics |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载免费的PDF全文 |
|
