基于时序图的FSP代数模型自动生成方法研究

• 作者: 王碧 王雪娇
• 来源期刊: 福建电脑
• 关键词: UML时序图 Java 元模型 FSP代数模型
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 研究与探讨
• 页码范围: 95-96,106
• 页数: 3页
• 字数: 2744字
• 语种: 中文
• DOI: 10.16707/j.cnki.fjpc.2016.02.049

摘要

系统形式建模方法是构建安全系统的重要保障之一. 基于系统场景的需求描述,提出UML时序图的FSP代数模型自动生成方法. 根据UML时序图与元模型之间的关系自动生成Java框架代码,结合Java框架代码并修改,实现了UML时序图到FSP代数模型自动生成的目的. 丰富了系统形式化建模的理论研究,从应用角度为安全苛求系统的安全性分析与研究提供新途径,拓宽了系统需求场景的形式化建模思路.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王雪娇	江西理工大学信息工程学院	2	12	2.0	2.0
2	王碧	江西理工大学信息工程学院	5	33	3.0	5.0