支持模型驱动开发的软构件形式化描述方法
来源：计算机应用杂志2015年第9期北京时间：
作者：侯金奎, 王成端
单位：潍坊学院 计算机工程学院, 山东 潍坊 261061
摘要：针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探讨,从图表结构、端口与配置约束、外部行为以及可替换性等四个方面对特性约束保持的问题进行了描述,并建立了相应的判定标准。该方法能为模型之间转换规则的定义提供指导,并为模型转换的效果分析和正确性验证提供依据。应用研究表明,该方法使得构件模型的语义描述能力显著增强,可作为已有软件建模方法的一个有效补充。
关键词：模型驱动的软件开发,模型转换,特性描述,语义验证
基金资助：山东省优秀中青年科学家科研奖励基金计划项目(BS2011DX039);山东省科技发展计划项目(2011YD01042,2011YD01043);山东省高等学校优秀中青年骨干教师国际合作培养计划资助项目。
