支持模型驱动开发的软构件形式化描述方法

• 作者: 侯金奎 王成端
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 模型驱动的软件开发 模型转换 特性描述 语义验证
• 年，卷（期）: 2015,（9）
• 所属期刊栏目: 行业与领域应用
• 页码范围: 2692-2700
• 页数: 9页
• 分类号: TP311.5
• 字数: 10312字
• 语种: 中文
• DOI: 10.11772/j.issn.1001-9081.2015.09.2692

摘要

针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法.在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探讨,从图表结构、端口与配置约束、外部行为以及可替换性等四个方面对特性约束保持的问题进行了描述,并建立了相应的判定标准.该方法能为模型之间转换规则的定义提供指导,并为模型转换的效果分析和正确性验证提供依据.应用研究表明,该方法使得构件模型的语义描述能力显著增强,可作为已有软件建模方法的一个有效补充.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	侯金奎	潍坊学院计算机工程学院	21	116	4.0	10.0
2	王成端	潍坊学院计算机工程学院	13	11	2.0	2.0