| 支持模型驱动开发的软构件形式化描述方法 |
| |
| 引用本文： | 侯金奎,王成端. 支持模型驱动开发的软构件形式化描述方法[J]. 计算机应用, 2015, 35(9): 2692-2700. DOI: 10.11772/j.issn.1001-9081.2015.09.2692 |
| |
| 作者姓名： | 侯金奎 王成端 |
| |
| 作者单位： | 潍坊学院 计算机工程学院, 山东 潍坊 261061 |
| |
| 基金项目： | 山东省优秀中青年科学家科研奖励基金计划项目(BS2011DX039);山东省科技发展计划项目(2011YD01042,2011YD01043);山东省高等学校优秀中青年骨干教师国际合作培养计划资助项目。 |
| |
| 摘 要： | 针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探讨,从图表结构、端口与配置约束、外部行为以及可替换性等四个方面对特性约束保持的问题进行了描述,并建立了相应的判定标准。该方法能为模型之间转换规则的定义提供指导,并为模型转换的效果分析和正确性验证提供依据。应用研究表明,该方法使得构件模型的语义描述能力显著增强,可作为已有软件建模方法的一个有效补充。
|
| 关 键 词： | 模型驱动的软件开发 模型转换 特性描述 语义验证 |
| 收稿时间： | 2015-04-15 |
| 修稿时间： | 2015-06-01 |
Formal description approach for software component in model-driven development |
| |
| HOU Jinkui,WANG Chengduan. Formal description approach for software component in model-driven development[J]. Journal of Computer Applications, 2015, 35(9): 2692-2700. DOI: 10.11772/j.issn.1001-9081.2015.09.2692 |
| |
| Authors: | HOU Jinkui WANG Chengduan |
| |
| Affiliation: | School of Computer Engineering, Weifang University, Weifang Shandong 261061, China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
