山东理工大学学报(自然科学版)
山東理工大學學報(自然科學版)
산동리공대학학보(자연과학판)
JOURNAL OF SHANDONG UNIRERSITY OF TECHNOLOGY(SCIENCE AND TECHNOLOGY)
2004年
2期
8-11
,共4页
协议%协议工程%协议形式描述%协议验证%Petri网
協議%協議工程%協議形式描述%協議驗證%Petri網
협의%협의공정%협의형식묘술%협의험증%Petri망
随着计算机网络与分布式系统的发展,通信协议的设计和实现的复杂性的增加导致了协议程技术的出现.讨论协议形式描述与验证技术的目的与方法,重点介绍了基于FMS、通信演算系统以及Petri网协议验证技术的特点及其优点.
隨著計算機網絡與分佈式繫統的髮展,通信協議的設計和實現的複雜性的增加導緻瞭協議程技術的齣現.討論協議形式描述與驗證技術的目的與方法,重點介紹瞭基于FMS、通信縯算繫統以及Petri網協議驗證技術的特點及其優點.
수착계산궤망락여분포식계통적발전,통신협의적설계화실현적복잡성적증가도치료협의정기술적출현.토론협의형식묘술여험증기술적목적여방법,중점개소료기우FMS、통신연산계통이급Petri망협의험증기술적특점급기우점.