原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
30 4 ( ) Vol30 No. 4
2010 8 JOURNAL OF SUZHOU UN IVERSITY( ENGINEER ING SC IENCE EDITION ) Au . 2010
: 1673- 047X ( 2010) - 04- 0014 - 06
PetriW eb
1 1 1, 2
, ,
( 1. , 215006; 2. , 100080)
: 形式化定义了W eb服务组合过程中的 5种基本逻辑结构, 并采用有色 Petri网表示, 然后
其抽象为服务的代数运算; 在此基础上, 提出了经过服务运算后得到的服务的性质及组合服务的
构造方法; 最后通过实例分析, 说明该建模方法可以保证组合的服务是正确且可终止的
: 有色 Petri网; W eb服务组合; 建模; 可达性分析
: TP311 : A
0
, ( SOC)
SOCW eb, ( EA I)W eb
,
W eb, W eb, W eb
, W eb, W eb 5,
1 PetriW eb
Petri, W eb
, Petr iW eb, Petri Token,
, PetriW eb, Petri
1. 1
1 Petri( ColoredPetriNe,t CPN) CPN = ( , P, T, F, E, C, G ), ( P, T, F)
:
, = {M s , V alue, Strin }, : M s , Value,
S trin , , , ;
P;
T ;
F, F ( P ! T) ∀ ( T ! P);
E, E: F # Boolexpression, , : f F: Type( E ( f) )
= C ( p)M S ∃ Type (V ar( E ( f) ) ) ! , p f, C ( p) MS p, E W eb
: 2010- 03- 24
: ( 1988- ), , W ebPetri
: ( SY SKF0908); (
08KJB520010); ( 101028524)
4 , , : PetriW eb 15
;
C, C: P # , C ( p) p ;
G, G: T # Boolexpression, : t T: Type (V ar( G( t) ) ) ! ( Type( G ( t) ) = Bool
ean, G
W eb, ,
, :
2 W S( services net) CPN W SN = ( , P, T, F, E, C, G, In, Out), :
( , P, T, F, E, C, G ) CPN;
InW S, : x P∀ T: ( x, In) ∀ F, In;
OutW s, : x P∀ T: ( Out, x) ∀ F, Out
, : ,
4: SequenceConcurrenceRecycle Choose
3 , , , W eb
S, CPN W SN= ( , P, T, F, E, C, G, In, Out), 1, :
P = { In, Ou t};
T = { t};
F = { In, t, t, Out };
E = {E ( In, t ) , E ( T, Out ) };
文档评论（0）