科技信息
科技信息
과기신식
SCIENTIFIC & TECHNICAL INFORMATION
2009年
8期
198-199
,共2页
Web服务%面向服务的计算%服务组合%Petri网
Web服務%麵嚮服務的計算%服務組閤%Petri網
Web복무%면향복무적계산%복무조합%Petri망
Web服务组合是面向服务计算下的构建应用的主要方法.而当前Web服务组合的方法由于缺乏有效的验证机制,有时会返回很多无效的结果,降低了服务组合应用的效率.为了解决这些问题,本文基于Petri网的对服务组合流程进行建模,同时引入一种验证算法以验证组合流程的正确性.
Web服務組閤是麵嚮服務計算下的構建應用的主要方法.而噹前Web服務組閤的方法由于缺乏有效的驗證機製,有時會返迴很多無效的結果,降低瞭服務組閤應用的效率.為瞭解決這些問題,本文基于Petri網的對服務組閤流程進行建模,同時引入一種驗證算法以驗證組閤流程的正確性.
Web복무조합시면향복무계산하적구건응용적주요방법.이당전Web복무조합적방법유우결핍유효적험증궤제,유시회반회흔다무효적결과,강저료복무조합응용적효솔.위료해결저사문제,본문기우Petri망적대복무조합류정진행건모,동시인입일충험증산법이험증조합류정적정학성.