CAJ | 학술논문

模型驱动开发(MDD)是由OMG提出的通用软件开发标准,旨在解决软件开发过程中遇到的需求多变以及重复开发等问题.模型驱动开发一般使用UML作为建模语言,然而UML是一种符号化语言系统,其语义采用自然语言描述,是半形式化语言,无法精确和严格描述模型行为从而实现模型的验证.为了解决这个问题,提出一种UML模型验证的方法,其核心是xUML的状态图,xUML是UML的增强子集,拥有精确的语义.并在分析Rhapsody可执行框架OXF的基础上,设计并实现了一个模型可执行框架.最后通过一个模型执行的例子验证了该框架的可用性.
모형구동개발(MDD)시유OMG제출적통용연건개발표준,지재해결연건개발과정중우도적수구다변이급중복개발등문제.모형구동개발일반사용UML작위건모어언,연이UML시일충부호화어언계통,기어의채용자연어언묘술,시반형식화어언,무법정학화엄격묘술모형행위종이실현모형적험증.위료해결저개문제,제출일충UML모형험증적방법,기핵심시xUML적상태도,xUML시UML적증강자집,옹유정학적어의.병재분석Rhapsody가집행광가OXF적기출상,설계병실현료일개모형가집행광가.최후통과일개모형집행적례자험증료해광가적가용성.
Model-driven development is a general software development standard proposed by OMG, aiming at eliminating such problems as requirement change and duplicated development. Generally, it uses UML as the model language. However,UML is only a notation, with no formal semantics attached to its individual diagrams. Behavior definition and expression are not precise and detailed enough to execute model verification. In order to address the problem, a validation method based on Executable UML is proposed in this paper, which uses statechart as its core model. Executable UML, which could be viewed as an enhanced subset of UML with precise semantics. Furthermore, we design and implement a framework which can execute the model after analyzing the Object Execution Framework. Finally, we verify the availability of framework through a example of statechart simulation execution.