CAJ | 학술논문

需求规约到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二义性,为了解决这一问题,需要赋予UML-RT模型形式化语义.进程代数是一种用来解决并发系统通信问题的形式化方法,具有精确的语法和语义,并且便于机器自动检验与验证.TCSP是进程代数CSP的实时扩展,适合于规约实时系统带有时间约束的行为.提出一种基于进程代数规约生成SA模型的方法.首先建立了自然语言规约到SA模型的转换框架;然后使用时间通信顺序进程(TCSP)描述实时系统需求规约,通过建立TCSP到UML-RT的转换机制,从而实现进程代数规约到SA模型的转换;最后通过一个实例来验证该方法在实时软件建模过程中的有效性.实验分析表明通过该方法建立的UML-RT模型能够从整体上提高实时系统SA设计的可信性.
수구규약도연건체계결구(SA)모형적전환시연건공정영역적일개연구열점,UML-RT엄범용우실시계통연건체계결구건모,연이기우자연어언규약건립적UML-RT모형왕왕시불정학적,존재이의성,위료해결저일문제,수요부여UML-RT모형형식화어의.진정대수시일충용래해결병발계통통신문제적형식화방법,구유정학적어법화어의,병차편우궤기자동검험여험증.TCSP시진정대수CSP적실시확전,괄합우규약실시계통대유시간약속적행위.제출일충기우진정대수규약생성SA모형적방법.수선건립료자연어언규약도SA모형적전환광가;연후사용시간통신순서진정(TCSP)묘술실시계통수구규약,통과건립TCSP도UML-RT적전환궤제,종이실현진정대수규약도SA모형적전환;최후통과일개실례래험증해방법재실시연건건모과정중적유효성.실험분석표명통과해방법건립적UML-RT모형능구종정체상제고실시계통SA설계적가신성.