映射elotos到基于fsm的性能估价模型

elotos是协议描述规范语言lotos的扩展．本文用标号转换系统lts（labeledtransitionsystem）给出了elotos的语义．然后，通过对lts进行踪迹等价住分析，将elotos映射到基于有穷状态机fsm（finitestatemachine）的性能估价模型．