映射ELOTOS到基于FSM的性能估价模型
MODELING ELOTOS BY PERFORMANCE EVALUATION MODEL BASED ON FSM作者机构：国防科技大学计算机系长沙410073
出 版 物：《软件学报》 (Journal of Software)
年 卷 期：1997年第8卷第10期
页 面：788-792页
核心收录：
学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金 国家863高科技项目
主 题：ELOTOS FSM 性能模型 网络协议 计算机网络
摘 要：ELOTOS是协议描述规范语言LOTOS的扩展．本文用标号转换系统LTS（labeledtransitionsystem）给出了ELOTOS的语义．然后，通过对LTS进行踪迹等价住分析，将ELOTOS映射到基于有穷状态机FSM（finitestatemachine）的性能估价模型．
维普期刊数据库
同方期刊数据库