基于扩充的FSM的Web应用的建模与组合
联系我

更新时间:

成果类型: 省外成果
所属行业: 其他
研发时间:
-
申请(专利)号
国内:
国际:
成果归属: 上海大学、何涛
技术成熟度: 研发阶段
技术水平:
预期交易价格:
预期投资额度:
成果简介
采用扩展FSM的方法提出了Web应用的组合方法,该方法可以提高Web应用的可靠性。根据状态转换的并行操作,可以使用扩展的FSM动态建模web应用。模型检查工具SPIN可用于检查Web应用的相关性质。
附件