CAJ | 학술논문

语法和语义层次的组合并不足以保证仿真组件组合的完整性、有效性和实用性，在语用组合问题分析的基础上，提出了基于扩展有限状态自动机的仿真组件模型形式化描述，包含了仿真组件行为语义和仿真运行语境约束信息，并在此基础上设计了基于XML的仿真组件模型描述规范。最后，通过应用实例具体描述了面向语用组合的仿真组件模型组合过程。组合中考虑了模型发现、组合判定、仿真运行与仿真语境之间的关系，并且实现了面向语用的仿真系统自动化动态构建。
어법화어의층차적조합병불족이보증방진조건조합적완정성、유효성화실용성，재어용조합문제분석적기출상，제출료기우확전유한상태자동궤적방진조건모형형식화묘술，포함료방진조건행위어의화방진운행어경약속신식，병재차기출상설계료기우XML적방진조건모형묘술규범。최후，통과응용실례구체묘술료면향어용조합적방진조건모형조합과정。조합중고필료모형발현、조합판정、방진운행여방진어경지간적관계，병차실현료면향어용적방진계통자동화동태구건。
Syntactic and semantic composition couldn't enough to achieve the integrity,validity and practicability of simulation component composition.Based on the analysis of pragmatic composition,this paper proposed an extended finite state machine-based simulation component formal description,including the behavior semantic of simulation component and the context con-straints of simulation running.And on this basis,it designed the XML-based model description specification.At last,it prac-ticed the pragmatic-oriented simulation component composition progress by an application example.In the progress,this paper considered the relationship among model discovery,composition verification,simulation running and simulation context,and finally implemented the pragmatic-oriented simulation system automatic and dynamic development.