CAJ | 학술논문

针对体系结构动态行为的语义一致性验证问题，提出了基于生成图的验证方法．首先根据体系结构的动态行为模型构建生成图，然后对生成图的逻辑结构和时间信息进行分析，来完成动态行为模型的逻辑关系和时序关系一致性验证．该方法不但能够有效解决动态行为的语义一致性验证问题，而且还能准确定位模型中出现问题的地方，指导用户进行模型不一致处理和优化动态模型．同时，生成图可供多个模型间的动态行为一致性验证，实用性更强，且在可理解性、可分析性等方面上相比传统方法具有较大改善．
침대체계결구동태행위적어의일치성험증문제，제출료기우생성도적험증방법．수선근거체계결구적동태행위모형구건생성도，연후대생성도적라집결구화시간신식진행분석，래완성동태행위모형적라집관계화시서관계일치성험증．해방법불단능구유효해결동태행위적어의일치성험증문제，이차환능준학정위모형중출현문제적지방，지도용호진행모형불일치처리화우화동태모형．동시，생성도가공다개모형간적동태행위일치성험증，실용성경강，차재가리해성、가분석성등방면상상비전통방법구유교대개선．
For the semantic consistency of the architecture dynamic behavior, a method for validating the model concordance using sprouting graph is presented. The sprouting graph is constructed from the dynamic behavior model of architecture. Then, the logical structure and temporal information are analyzed, so as to verify the logical and temporal relationship consistency of the dynamic behavior model. This method can not only verify the semantic consistency of the architecture dynamic behavior, but also give the place violating the constraints which are useful to users in exception handling and modifying dynamic models. Furthermore, it is more practical, namely sprouting graph can be used for validating the dynamic behavior consistency of models. Also, the understandability and analyzability have great advantages than traditional methods.