一种基于概率扩展的需求描述语言柔性序列图及其实现

针对实时序列图(live sequence charts,LSC)对系统行为需求描述时不能明确指定行为发生的概率并给出定量描述的不足,在概述LSC和柔性序列图(flexible sequence charts,FSC)的特点基础上,介绍FSC的图形表示及抽象语法定义,提出需求描述语言FSC,并完成该语言的图形化编辑器。结果表明,FSC图形规约编辑器具有创建FSC图及子图、消息通讯路径的定位、LSC及FSC图形元素描述等功能;采用图形方式和文本编辑方式对概率进行定量描述;提出该需求描述语言FSC是对LSC的概率扩展,通过概率分支和消息的三阶段事件概率,描述符合马尔可夫随机反应式系统中与概率相关的交互行为,对位置点对进行定量概率,增加检验位置点对之间的数据完整性活动概率,扩展定量概率描述的范围。