仿真模型可重用性的概念与判定研究

Concepts and evaluation of simulation model reusability

仿真模型重用是当前建模仿真领域的热点和难点问题之一。模型重用的关键是对可重用性的判定。统一的构造了可重用性的形式化概念体系,厘清了可重用性、应用情景、模型假设、模型约束、实验框架、能力框架以及可重用模型等概念及其相互关系;在形式化定义的基础上,给出了可重用性的判定算法,该算法包括应用情景接口兼容性判定和行为逻辑的等价性判定两部分。最后讨论了研究成果的应用策略以及已经完成的工作。

Simulation model reuse is a hot research issue in modeling and simulation （MRS） domain. The main difficulty of model reuse lies in evaluating the reusability of a certain simulation model in a new application. The relevant concepts of simulation model reuse, such as reusability, context, model assumptions, model constraints, experimental frame, scope frame and reusable simulation model, are formally and consistently given first. Then the evaluation theory and algorithms of reusability are present. Two parts of the algorithms, context interfaces compatibility evaluation and behavior logics equivalence judgment, are detailed respectively. The use strategy of this contribution and completed work are also discussed.