| 摘要: |
| ELOTOS是协议描述规范语言LOTOS的扩展．本文用标号转换系统LTS（labeledtransitionsystem）给出了ELOTOS的语义．然后，通过对LTS进行踪迹等价住分析，将ELOTOS映射到基于有穷状态机FSM（finitestatemachine）的性能估价模型． |
| 关键词: ELOTOS 概率规范 LTS 形式语义 FSM 踪迹等价 性能模型 |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金和国家863高科技项目基金资助. |
|
| MODELING ELOTOS BY PERFORMANCE EVALUATION MODEL BASED ON FSM |
|
LUO Tiegeng,CHEN Huowang,GONG Zhenghu,QI Zhichang
|
| Abstract: |
| ELOTOS is an extension of protocol specification language LOTOS which is an ISO standard. In this paper, the authors try to give the semantics of ELOTOS by defining a derivation system (like LOTOS).Then, from LTS (labeled transition system ) of restricted ELOTOS, they construct the TFSM(trace finite state machine) for trace semantics, and TFSM is a kind of performance evaluation model. |
| Key words: ELOTOS probabilistic specification labeled transition system formal semantics finite state machine trace semantics performance model |
