一种语义扩展的DEVS模型表示方法  

Semantic Extended Representation Approach of DEVS Model

作　　者：彭勇[1] 钟容华[1] 黄健[1] 黄柯棣[1] 

机构地区：[1]国防科技大学机电工程与自动化学院,长沙410073

出　　处：《系统仿真学报》2010年第11期2519-2523,共5页Journal of System Simulation

摘　　要：离散事件系统规范(DEVS)是建立在一般系统理论的基础上的有效的模块化系统建模规范。针对当前基于DEVS的仿真模型表示方法不能描述模型上下文,不能有效支持模型语义组合、重用的问题,提出了语义扩展的DEVS模型表示方法(SEM-DEVS)。SEM-DEVS在原有的DEVS模型规范基础上,增加了模型的实验框架和语义扩展接口,增加了对模型行为表示能力的要求。在SEM-DEVS形式化定义的基础上给出了实验框架以及语义扩展接口的逻辑关系及匹配方法。以逻辑公式方式表示实验框架和语义扩展接口,给出SEM-DEVS的一种实现方法。Based on general theory, DEVS is an effective and module modeling specification. For the problem of lacking capability of current model representation approaches to describe context and support semantics reuse and composition of simulation model, a Semantic Extended DEVS （SEM-DEVS） model representation approach was proposed. On the base of DEVS, experiment frame and semantic extended port of model were extended to SEM-DEVS. Stricter request to describe the behavior of model was proposed in SEM-DEVS. Logic relationship and match method of experiment frame and semantic extended port of model was brought forward base on formal definition of SEM-DEVS. An implement of SEM-DEVS was proposed, in which experiment frame and semantic extended port were both represented by logic formulas.

关 键 词：离散事件系统规范 语义 仿真模型 模型表示 

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