CAJ | 학술논문

由于简洁、直观的表达能力,Statecharts被用于许多反应系统的行为建模.Statecharts可表示不同抽象层次的系统行为,因而可用来表示逐步求精建模中各步的结果.但对于求精过程中下层是否保持了上层的语义、所建模型是否满足某些性质的问题,却难以在其自身的框架下进行讨论.在这方面,形式化语言XYZ/E可与其互补.XYZ/E是一种可执行线性时序逻辑语言,既可表示系统的性质,又可表示系统的行为.递归地在基本迁移系统上解释Statecharts语义,用XYZ/E公式表示它的时序语义.这一语义是模块级可组合的.求精过程的语义保持,可直接从语义定义得到保证.Statecharts所描述的系统行为模型和性质在同一个逻辑中表示,因此,系统行为是否满足所需性质的问题可由逻辑蕴涵式表示.
유우간길、직관적표체능력,Statecharts피용우허다반응계통적행위건모.Statecharts가표시불동추상층차적계통행위,인이가용래표시축보구정건모중각보적결과.단대우구정과정중하층시부보지료상층적어의、소건모형시부만족모사성질적문제,각난이재기자신적광가하진행토론.재저방면,형식화어언XYZ/E가여기호보.XYZ/E시일충가집행선성시서라집어언,기가표시계통적성질,우가표시계통적행위.체귀지재기본천이계통상해석Statecharts어의,용XYZ/E공식표시타적시서어의.저일어의시모괴급가조합적.구정과정적어의보지,가직접종어의정의득도보증.Statecharts소묘술적계통행위모형화성질재동일개라집중표시,인차,계통행위시부만족소수성질적문제가유라집온함식표시.