%0 Journal Article
%T 映射elotos到基于fsm的性能估价模型
%A 罗铁庚？
%A 陈火旺？
%A 龚正虎？
%A 齐治昌？
%J 软件学报
%P 788-792
%D 1997
%X elotos是协议描述规范语言lotos的扩展．本文用标号转换系统lts（labeledtransitionsystem）给出了elotos的语义．然后，通过对lts进行踪迹等价住分析，将elotos映射到基于有穷状态机fsm（finitestatemachine）的性能估价模型．
%K elotos
%K 概率规范
%K lts
%K 形式语义
%K fsm
%K 踪迹等价
%K 性能模型
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19971010&flag=1