基于着色Petri网的Web合成服务会话协议

《基于着色Petri网的Web合成服务会话协议》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、基于着色!"#$%网的&"’合成服务会话协议黄超白黄上腾!上海交通大学计算机与信息技术系"上海!""";"#摘要基于着色2(76@网的会话协议不仅能准确地描述’()服务的业务流程特征"而且具备强大的数据承载能力$该文以123+%’/语言为例"在对’()服务特性进行分析的基础上"给出了基于着色2(76@网的会话协议以及相应的’()合成服务设计方法$通过这种框架"可以运用成熟的2(76@网技术"对’()服务模型进行进一步的分析和验证"以提高服务的正确性和可靠性$关键词’()服务123+%’/着色2(76@网会话协议文章编号&""!NO;;&N!!""#%"%N"&%

2、;N";文献标识码,中图分类号P2;Q&()*+"$,-#%)*!$)#).)/)0&"’()12),%#%)*3"$+%."4-,"5)*()/)$"5!"#$%6"#78-*9(:-)’-%78-*93:-*9#"*9$9(47$DR8@V(6C@7F"/T58HT5@!""";"%;’,#$-.#&

3、’()C(6V@B(")I75ACDT5CC76D8HB545)@A@7FDRG575BD875@8@8H$X87T()5C@CDR585AFC@CDRR(57I6(CDR’()C(6V@B("7T@C454(675E(C7T((Y5S4A(DR123+%’/A58HI5H(7D@876DGIB(7T(BD8V(6C57@D846D7DBDA)5C(GD8BDAD6(G2(76@8(758GBD66(C4D8G@8HS(7TDGRD6’()BDS4DC@7@D8C(6V@B(G(C@H8@8H$1F7T@CR65S(WD6E"S57I6(7(BT8DADHFDR

4、2(76@8(7B58)(544A@(G7D585ZAF[(58GV(6@RF7T(RI8B7@D85A@7F58G6(A@5)@A@7FDR’()C(6V@B($<"=>)$5,&’()C(6V@B("123+%’/"BDAD6(G2(76@8(7"BD8V(6C57@D846D7DBDA&引言示"也有描述语言表示"两者之间的转换可以运用工具来完成!’()服务技术的发展使互联网上的企业级计算实现了一在着色2(76@网的图形中"有以下几个基本概念&个飞跃!基于’()服务的业务过程语言发展已有很长时间"$&%库所$4A5B(%"椭圆形表示"描述系统状态!*+,-.

5、#’/0+#123+%’/的出现"使人们能够合成许多伙伴$!%变迁$7658C@7@D8%"矩形表示"描述系统活动!$45678(6%服务"执行预先设定好的业务流程!通常’()服务的$;%弧$56B%"箭头表示"描述变迁发生时系统状态的变化!操作不是独立的"它们互相关联"并且共同维护着有状态的会$%%令牌$7DE(8%"每个库所都有一个令牌集合"每个令牌包含一个给定类型的数据元素!话"因此’()服务供应商需要有自己的会话协议!’/9+本身2(76@网相比有限状态机具有更强的表述能力"使得它更不提供这样的规范描述"为此:2公司向’;<提出了’/<+适合于描述会话协

6、议规范!而着色2(76@网进一步扩展了2(76@规范!它是基于*=+格式和有限状态机的会话协议描述语言"网的令牌机制"使它具有色彩$BDAD6%和类型$7F4(%"能用于描能够和’/9+一起发布在>99?注册表中!然而"’/<+是只述复杂的数据对象!以下给出了着色2(76@网的形式化定义!能描述相对简单的会话协议"它不支持特殊事件的处理"也不定义&$着色2(76@网%&一个2(76@网是一个元组!"#$$!"""支持基于多个伙伴的会话协议!’()服务的会话技术还远未%"&"’"!"(")"*%"其中&成熟!"&一个非空类型的有限集"也称为色集$BDAD6(GC(

7、7C%’该文推荐一种基于着色2(76@网的会话协议框架"它不仅"&一个库所的有限集’能够清晰地描述复杂的业务流程"还能够承载数据消息类型!%&变迁的有限集’通过这个框架"可以将基于着色2(76@网的会话协议引入’()&&弧的有限集"且"#%$"$&$%$&$+’服务合成模型"使设计者能够对服务过程#伙伴#客户等进行综’&自&至",%%%,"的节点函数集’合有效的分析和验证!!&自"至"的色彩函数集’(&自%至表达式的守卫$HI56G%函数集"且&-’%&J%./0!基本概念$1$-%%K2(%./0$345$1$-%%%)*L’!$&着色2(76@网)&自&至表

8、达式的表达式函数集"且&