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

作　　者：王雪娇[1] 王碧[1] 

机构地区：[1]江西理工大学信息工程学院,江西赣州341000

出　　处：《福建电脑》2016年第2期95-96,106,共3页Journal of Fujian Computer

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

关 键 词：UML时序图 JAVA 元模型 FSP代数模型 

分 类 号：TP311.56[自动化与计算机技术—计算机软件与理论]