计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2009年
9期
203-205
,共3页
Web服务组合%验证%Petri网%可达图
Web服務組閤%驗證%Petri網%可達圖
Web복무조합%험증%Petri망%가체도
针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法.采用可达图作为分析工具,对Web服务网的可达性、有界性、安全性和活性等特性进行分析,给出验证Web服务组合正确性的方法,并举例说明了这种方法的应用.
針對基于Petri網的Web服務組閤形式化建模,給齣瞭Web服務網的正確性定義和可達圖的構造算法.採用可達圖作為分析工具,對Web服務網的可達性、有界性、安全性和活性等特性進行分析,給齣驗證Web服務組閤正確性的方法,併舉例說明瞭這種方法的應用.
침대기우Petri망적Web복무조합형식화건모,급출료Web복무망적정학성정의화가체도적구조산법.채용가체도작위분석공구,대Web복무망적가체성、유계성、안전성화활성등특성진행분석,급출험증Web복무조합정학성적방법,병거례설명료저충방법적응용.
