关于受限Petri网的Web服务建模.pdfVIP

下载本文档

4
0
约4.44万字
约 50页
2017-08-30 发布于安徽
举报
版权申诉

关于受限Petri网的Web服务建模.pdf

1、本文档共50页，可阅读全部内容。
2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
8、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

摘要摘要有严格的形式化语义，而且具有直观的图形化描述，既可以用于静态的结构分析，也可用于动态的行为分析，因此非常适合对Web服务行为进行建模和分析。本课题研究基于Petri网的Web服务行为建模方法。本文的主要工作包括： 1．基于Petri网，提出一种web服务行为建模方法，不仅对web服务行为的控制流建模，而且对web服务的数据流建模。 2．用jaVa设计并实现可视化的Web服务行为建模工具，支持用户以自然直观的方式建立Web服务的行为模型，设计Web服务行为的内部数据结构，为今后基于此建模方法的Web服务合成和Wcb服务适配奠定基础。 3．通过实例对可视化的Web服务行为建模工具进行分析测试，验证web 服务行为建模方法的正确性。关键词：面向服务的计算，web服务行为，Petri网，建模 AbstI．act Abstract W曲sen，ice ist11e alldb撕sofW曲se州ce and modelingpr伽ise Composition W曲sen，ice nctnot haLsstrictf-0nnal alsohaS ad印tation．Petrio芏11y semantics，but for canbeusedstatic intuitiVe黟aphicaldescnption，which s觚ctu】融锄alysis蠲well as behaVior itiswell—suitedforW曲seⅣicebehaVior dyn锄ic a11alysis，so modeling aIld snldiesW曲seⅣicebehaviorbaSedonPetri analySis．11lisp印cr net．Ourwork me consistsof mainly f01lowingpart： 1-BasedonPetri aW曲seⅣicebehaVior net，wepropose modelingmemod，w11ich isnot formecontr01now alsoformedataflow ordy modeling，bllt modeling． JaVa avisualizedtoolforW曲ser、，ice 2．Usinglanguage，wedesi印aJldimpleIIlent behaVior userst0buildW曲seⅣicebehaviormodelandt0 modelin＆allowing desi印 intenlaldatashuctllreof、V曲ser啊cebehaviorinananlraI andintuitivemanner． whichfouIldstllebaLsisof如tureworkonWebserVice aIldW曲servicc Composition baSed ontllis