期刊文献+

基于时间Petri网的Web服务建模技术研究 被引量:1

Study of building model of web services using time Petri nets
下载PDF
导出
摘要 Web服务是微软和IBM公司为能够解决当前的信息的整合而提出的,是一种部署在Web上、面向Internet的、基于XML的对象/组件技术;其目标是能够自动和统一地封装服务信息、服务行为、数据表示以及商务流程。商务流程的建立对于Web服务是至关重要的,因为Web服务之间的信息协调是以商务流程为基础的。因此IBM为解决该问题,提出了Web服务流程语言(webservicesflowlanguage,WSFL)。但是IBM提出的WSFL没有能够从并发协调的角度来阐述商务流程的建模方法,所以提出利用Petri网为模型描述工具,用于描述与分析商务流程模型,同时给出Petri网与WSFL之间的转换算法,并以实例证明了该模型用于商务流程的建模方法是切实可行的。 Web services presented for solving the current integration of the information system by Microsoft and IBM are the techniques of objects/components based on XML and deployed in web and internet, which aims are able to encapsulate the service information, service behavior, data representation and business flow based on uniform standard, wherever web service are applied to. It is most important that the business flow model is constructed, because the information cooperation of web services is based on it. Consequently, IBM submits the web services flow language (WSFL). The approach of building business flow model is not specified from the view of the concurrent. So the approach of business flow models is brought forward using Petri nets, and then the conversion algorithm from Petri nets to WSFL is proposed. In the end the example proves that the method is feasible
作者 袁志祥
出处 《计算机工程与设计》 CSCD 北大核心 2006年第20期3801-3804,共4页 Computer Engineering and Design
基金 安徽省教育厅青年教师基金项目(2004j9128) 安徽省教育厅自然科学基金项目(2004kj062)
关键词 时间PETRI网 WEB服务 Web服务流语言 商务流程模型 工作流 可扩展标记语言 time Petri nets web services web services flow language business flow model workflow XML
  • 相关文献

参考文献12

二级参考文献27

  • 1[1]W M P van der Aalst.The application of Petri nets to workflow management [J].Journal of Circuits,Systems,and Computers,1998,8(1):21-66.
  • 2[2]W M P van der Aalst.Chapter 10;Three Good reasons for Using a Petri-net-based Workflow Management System.In T.WaKaYaMa et al.,editor,Information and Process Integration in Enterprises;Rethinking documents [M].The Kluwer International Series in Engineering and Computer Science,Kluwer Academic Publishers,Norwell,1998:161-182.
  • 3[3]C A Ellis,K Keddara,G Rozenberg.Dynamic change within workflow systems [J].In N.Comstock and C.Ellis,editors,Conf.on Organizational Computing Systems,ACM,SIGOIS,Milpitas,CA(1995):10-21.
  • 4[4]W M P van der Aalst.Verification of workflow tast structures [A].Information Systems,2000,25(1):43-69.
  • 5[5]Zaidi A K.On temporal logic programming using Petri nets [J].IEEE Transactions on Systems,Man and Cybernetics,May 1999,29(3):245-254.
  • 6[6]Yao Y.A Petri net model for temporal knowledge representation and reasoning [J].IEEE Trans.Systems,Man,and Cybernetics,1994,24(9):1374-1382.
  • 7[7]Lin C,Chanson S T.Logical inference of clauses based on Petri net models [J].International Journal of Intelligent Systems,John Wiley & Sons,August 1998,13:821-840.
  • 8[8]Lin C,Chaudhury A,Whinston A B,Marinescu D C.Logical inference of Horn clauses in Petri net models [J].IEEE Trans.on Knowledge and Data Engineering,June 1993,5(4):416-425.
  • 9[2]Workflow Management Coalition.The workflow referencemodel[S].WFMC 00-1033,1994.
  • 10[3]Workflow Management Coalition.Interfacel: Process definition interchange and process model [S].Technical Report,WFMCTC- 1016-P,Coalition,1998.

共引文献103

同被引文献13

引证文献1

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部