支持模型驱动开发的行为描述方法
行为模型的描述及其精化是模型驱动开发中的关键问题之一。根据形式化方法建模理论,提出了一种结构模型约束下的行为模型形式化描述方法。通过使用结构模型的操作方法定义行为,使得行为精化中搜索的粒度更大,同时加快了搜索的速度。应用研究表明,该方法能够为模型驱动的软件开发提供有力的支持。
模型驱动 形式化方法 行为建模 自动精化 软件开发
张玉艳 王帅强 侯金奎
潍坊学院 计算机与通信工程学院,潍坊 261061 山东大学 计算机科学与技术学院,济南 250101 潍坊学院 计算机与通信工程学院,潍坊 261061 山东大学 计算机科学与技术学院,济南 250101
国内会议
广州
中文
305-308
2008-11-11（万方平台首次上网日期，不代表论文的发表时间）