支持模型驱动开发的行为描述方法

摘要：

行为模型的描述及其精化是模型驱动开发中的关键问题之一。根据形式化方法建模理论，提出了一种结构模型约束下的行为模型形式化描述方法。通过使用结构模型的操作方法定义行为，使得行为精化中搜索的粒度更大，同时加快了搜索的速度。应用研究表明，该方法能够为模型驱动的软件开发提供有力的支持。

关键词：模型驱动开发、形式化方法、行为建模、自动精化

所属期刊栏目：12

分类号：TP311(计算技术、计算机技术)

在线出版日期：2012-11-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：26-30