期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

规范流网中OR-join任务的语义及使能判定算法 被引量：2

Semantics and Implementation of the OR-join in Regular Flow Nets
下载PDF
导出
摘要 对规范流网中OR-join任务语义及使能判定算法进行了深入研究。首先介绍YAWL语言中与OR-join任务有关的概念,规范流网的有关定义,然后在此基础上定义规范流网关于OR-join任务新的语义;最后提出一种判定规范流网OR-join任务使能的算法,并举例说明算法的正确性和有效性。 The semantics and implementation of the OR-join is （RFNs）. Firstly the concepts related to OR-join in yet another examined in detail in the context of regular flow nets workflow language （YAWL）, the concepts of RFNs are introduced. Then based on the previous contents, the semantics of RFNs with OR-join are proposed. Finally an implementation towards determining OR-join enablement in RFNs accompanied by an example is illustrated.
作者 曹国荣 谭庆平 吴浩 解金刚
机构地区 国防科学技术大学计算机学院
出处 《计算机科学与探索》 CSCD 2010年第6期542-551,共10页 Journal of Frontiers of Computer Science and Technology
关键词 OR-join任务 规范流网 YAWL语言 PETRI网 OR-join regular flow nets （RFNs） yet another workflow language （YAWL） Petri nets
分类号 TP393 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献11

  • 1Tibco. TIB/In concert process designer user's guideTibco Software Inc, Palo Alto, CA, USA, 2000.
  • 2FileNET. Panagon eProcess designer 4.2.2. FileNET Corporation, Costa Mesa, CA, USA, 2002.
  • 3IBM. IBM MQSeries workflow-getting started with buildtime. IBM Deutschland Entwicklung GmbH, Boeblingen, Germany, 1999.
  • 4Eastman Software. RouteBuilder tool user's guide. Inc, Billerica, MA, USA, 1998.
  • 5Nielsen S P, Easthope C, Gosselink P, et al. Redbook SG24-5963-00 Using Lotus domino workflow 2.0 IS]. Pough- keepsie, USA, 2000.
  • 6van der Aalst W M P, ter Hofstede A H M. YAWL: Yet another workflow language[R]. Queensland University of Technology, 2002.
  • 7Rittgen E Modified EPCs and their formal semantics[R]. Institute of Information Systems, University of Koblenz- Landau, Koblenz, Germany, 1999.
  • 8Xie Jingang, Tan Qingping, Cao Guorong. Modeling and analyzing Web service behavior with regular flow nets [C]//Proceedings of the 2009 International Conference on Web Information Systems and Mining (WISMAICI 2009), Shanghai, China, 2009:309-319.
  • 9Wynn M T, Edmond D, van der Aalst W M P, et al. Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets[C]//LNCS3536: Proceedings of the 26th International Conference on Applications and Theory of Petri Nets(ICATPN 2005), 2005: 423-443.
  • 10van der Aalst W M P, Desel J, Kindler E. On the Semantics of EPCs: A vicious circle[C]//Proceedings of the EPK 2002: Business Process Management using EPCs, Trier, Germany, 2002: 71-80.

同被引文献24

  • 1张亮,姚淑珍.基于Petri网的工作流模式研究[J].计算机集成制造系统,2006,12(1):54-58. 被引量：15
  • 2邹海,边信黔,熊华胜.AUV控制系统规划层使命与任务协调方法研究[J].机器人,2006,28(6):651-655. 被引量：2
  • 3Brogi A, Popescu R. Service Adaptation through Trace Inspec- tion [C] //Proc of Workshop on Service-Oriented Business Process Integration. 2005:44-58.
  • 4Brogi A, Popescu R. Automated Generation of BPEL Adapters [C] //Proc of 4th International Conference on Service Oriented Computing. 2006 : 27-39.
  • 5MassutheP, Wolf K. An Algorithm for Matching Nondeterminb stic Services with Operating Guidelines [J].International Jour- nal of Business Process Integration and Management, 2007, 2 (2) :81-90.
  • 6Massuthe P,Reisig W, Schmidt K. An Operating Guideline Ap- proach to the SOA[J]. Annals of Mathematics, Computing Teleinformatics, 2005,1 (3) : 35-43.
  • 7Schmidt K. Controllability of Open Workflow Nets [C]//Proc of Workshop on Enterprise Modelling and Information Systems Architecture. 2005 :236-249.
  • 8Lohmann N, Massuthe P, Wolf K. Operating Guidelines for Fi- nite-State Services [C] //Proc of 28th International Conference on Application and Theory of Petri nets. 2007:321-341.
  • 9Gierds C, Mooij A J, Wolf K. Specifying and Generating Beha- vioral Service Adapter based on Transformation Rules [R]. Universitfit Rostock. Germany, 2008.
  • 10Nezhad H R M, Benatallah B, Martens A, et al. Semi-Automated Adaptation of Service Interactions [C]//Proc of the 16th World Wide Web Conference. ACM Press, 2007 : 993-1002.

引证文献2

二级引证文献4

计算机科学与探索
2010年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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