SysML状态图合理性验证研究与实现

• 作者: 俞晓锋 王立松
• 来源期刊: 电子科技
• 学科: 工学
• 关键词: 状态图 体系结构 性能需求 业务需求
• 年，卷（期）: 2014,（5）
• 所属期刊栏目: 图像·编码与软件
• 页码范围: 127-131
• 页数: 5页
• 分类号: TP311
• 字数: 3907字
• 语种: 中文

摘要

给SysML赋予形式化语义,可在目标系统生成前,对系统的模型进行合理性验证.模型在实现前就被验证,可减少目标系统的测试周期.文中用SysML状态图表示系统的行为模型,通过体系结构和业务需求两方面对行为模型进行验证.按照语义规范和性能需求的标准验证状态图的体系结构.另一方面,在体系结构正确性的基础上,执行带有动作规约语言的状态图,可得到状态图对象的行为过程.并通过判断该行为过程与人们所期望的是否一致,再对业务需求进行验证.最终通过实验验证了该方法的有效性和可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王立松	南京航空航天大学计算机科学与技术学院	64	442	11.0	19.0
2	俞晓锋	南京航空航天大学计算机科学与技术学院	1	2	1.0	1.0