%0 Journal Article
%T MODELING ELOTOS BY PERFORMANCE EVALUATION MODEL BASED ON FSM<br>映射ELOTOS到基于FSM的性能估价模型
%A LUO Tiegeng
%A CHEN Huowang
%A GONG Zhenghu
%A QI Zhichang
%A <br>罗铁庚
%A 陈火旺
%A 龚正虎
%A 齐治昌
%J 软件学报
%D 1997
%I 
%X 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.
%K ELOTOS
%K probabilistic specification
%K labeled transition system
%K formal semantics
%K finite state machine
%K trace semantics
%K performance model<br>ELOTOS
%K 概率规范
%K LTS
%K 形式语义
%K FSM
%K 踪迹等价
%K 性能模型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=278A075C6B03129F1427895374C9E1C6&yid=5370399DC954B911&vid=5D311CA918CA9A03&iid=F3090AE9B60B7ED1&sid=E339BF74025BB291&eid=1471D37D8144EBCF&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=14