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

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

A Behavioral Modeling Approach Supporting Model Driven Development

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.