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

A Behavioral Modeling Approach Supporting Model Driven Development

作　　者：魏先民[1] 张玉艳[1] 

机构地区：[1]潍坊学院,山东潍坊261061

出　　处：《潍坊学院学报》2012年第4期26-30,共5页Journal of Weifang University

摘　　要：行为模型的描述及其精化是模型驱动开发中的关键问题之一。根据形式化方法建模理论,提出了一种结构模型约束下的行为模型形式化描述方法。通过使用结构模型的操作方法定义行为,使得行为精化中搜索的粒度更大,同时加快了搜索的速度。应用研究表明,该方法能够为模型驱动的软件开发提供有力的支持。Behavioral modeling and its refinement play a key role in model--driven development. According to the theory of modeling by formal methods, this paper proposed a formal approach for behavioral modeling under the constraint of structure model. In the process of refinement, the search granularity becomes coarser and the search process is speeded up by using the operations of the foundational structure models. The application research shows that the approach can make an effective sup- port for model--driven software development.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]