基于进程代数规约生成软件体系结构模型的方法

摘要：

需求规约到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规约建立的UML-RT模型往往是不精确的,存在二义性,为了解决这一问题,需要赋予UML-RT模型形式化语义.进程代数是一种用来解决并发系统通信问题的形式化方法,具有精确的语法和语义,并且便于机器自动检验与验证.TCSP是进程代数CSP的实时扩展,适合于规约实时系统带有时间约束的行为.提出一种基于进程代数规约生成SA模型的方法.首先建立了自然语言规约到SA模型的转换框架;然后使用时间通信顺序进程(TCSP)描述实时系统需求规约,通过建立TCSP到UML-RT的转换机制,从而实现进程代数规约到SA模型的转换;最后通过一个实例来验证该方法在实时软件建模过程中的有效性.实验分析表明通过该方法建立的UML-RT模型能够从整体上提高实时系统SA设计的可信性.

关键词：进程代数规约、软件体系结构、UML-RT、实时系统、时间通信顺序进程

所属期刊栏目：48

分类号：TP311(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划基金项目2009AA010307;江苏省高校自然科学基金项目10KJB520019

在线出版日期：2011-06-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：241-250