计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2009年
4期
128-130
,共3页
Web服务%有色Petfi网%Web服务网模型%合成建模
Web服務%有色Petfi網%Web服務網模型%閤成建模
Web복무%유색Petfi망%Web복무망모형%합성건모
分析了用一般Petri网进行Web服务合成建模的不足,提出用有色Petri网进行改进.利用有色Petri网原理给出了Web服务的形式化定义,描述了Web服务合成的五种基本结构的Petri网模型,通过一个行程规划实例,分析了行程中的不同Web服务,描述了行程规划服务由不同Web服务合成的有色Petri网模型,展示了有色Petri网在Web服务合成建模中的优势.
分析瞭用一般Petri網進行Web服務閤成建模的不足,提齣用有色Petri網進行改進.利用有色Petri網原理給齣瞭Web服務的形式化定義,描述瞭Web服務閤成的五種基本結構的Petri網模型,通過一箇行程規劃實例,分析瞭行程中的不同Web服務,描述瞭行程規劃服務由不同Web服務閤成的有色Petri網模型,展示瞭有色Petri網在Web服務閤成建模中的優勢.
분석료용일반Petri망진행Web복무합성건모적불족,제출용유색Petri망진행개진.이용유색Petri망원리급출료Web복무적형식화정의,묘술료Web복무합성적오충기본결구적Petri망모형,통과일개행정규화실례,분석료행정중적불동Web복무,묘술료행정규화복무유불동Web복무합성적유색Petri망모형,전시료유색Petri망재Web복무합성건모중적우세.
