甘肃科技
甘肅科技
감숙과기
GANSU SCIENCE AND TECHNOLOGY
2012年
9期
26-27
,共2页
语义Web%Web服务组合%Petri网
語義Web%Web服務組閤%Petri網
어의Web%Web복무조합%Petri망
针对现有的语义Web服务组合的描述语言本身缺乏明确的操作语义,无法准确的描述其组合流程的问题,就此提出了一种基于Petri网的语义对Web服务组合流程进行形式化建模的方法,并通过实例验证了该方法的有效性和可行性.
針對現有的語義Web服務組閤的描述語言本身缺乏明確的操作語義,無法準確的描述其組閤流程的問題,就此提齣瞭一種基于Petri網的語義對Web服務組閤流程進行形式化建模的方法,併通過實例驗證瞭該方法的有效性和可行性.
침대현유적어의Web복무조합적묘술어언본신결핍명학적조작어의,무법준학적묘술기조합류정적문제,취차제출료일충기우Petri망적어의대Web복무조합류정진행형식화건모적방법,병통과실례험증료해방법적유효성화가행성.
