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

摘要

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