首页> 中文期刊> 《软件学报》 >映射ELOTOS到基于FSM的性能估价模型

映射ELOTOS到基于FSM的性能估价模型

         

摘要

ELOTOS是协议描述规范语言LOTOS的扩展。本文用标号转换系统LTS(labeled transition system)给出了ELOTOS的语义。然后,通过对LTS进行踪迹等价性分析,将ELOTOS映射到基于有穷状态同FSM(finite state machine)的性能估价模型。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号