-
题名一种基于概率扩展的需求描述语言柔性序列图及其实现
- 1
-
-
作者
崔建峰
伊俊敏
-
机构
厦门理工学院计算机与信息工程学院
厦门理工学院管理学院
-
出处
《济南大学学报（自然科学版）》
CAS
北大核心
2016年第6期467-472,共6页
-
基金
国家自然科学基金项目(71371162)
厦门理工学院对外科技合作专项(201401500)
-
文摘
针对实时序列图(live sequence charts,LSC)对系统行为需求描述时不能明确指定行为发生的概率并给出定量描述的不足,在概述LSC和柔性序列图(flexible sequence charts,FSC)的特点基础上,介绍FSC的图形表示及抽象语法定义,提出需求描述语言FSC,并完成该语言的图形化编辑器。结果表明,FSC图形规约编辑器具有创建FSC图及子图、消息通讯路径的定位、LSC及FSC图形元素描述等功能;采用图形方式和文本编辑方式对概率进行定量描述;提出该需求描述语言FSC是对LSC的概率扩展,通过概率分支和消息的三阶段事件概率,描述符合马尔可夫随机反应式系统中与概率相关的交互行为,对位置点对进行定量概率,增加检验位置点对之间的数据完整性活动概率,扩展定量概率描述的范围。
-
关键词
需求描述语言
概率扩展
实时序列图
柔性序列图
-
Keywords
requirement describe language
probabilityenrichment
live sequence charts
flexible sequence charts
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
