机译:具有任务同步模式的隐私保留行为正确验证跨组织工作流程
Shandong Univ Technol Sch Comp Sci & Technol Zibo 255000 Peoples R China;
Shandong Univ Sci & Technol Qingdao 266590 Peoples R China;
Dublin City Univ Sch Comp Insight Ctr Data Analyt Dublin 9 Ireland;
Shandong Univ Sci & Technol Qingdao 266590 Peoples R China;
New Jersey Inst Technol Dept Elect & Comp Engn Newark NJ 07102 USA|Macau Univ Sci & Technol Collaborat Lab Intelligent Sci & Syst Macau 999078 Peoples R China;
Tongji Univ Minist Educ Key Lab Embedded Syst & Serv Comp Shanghai 200092 Peoples R China;
Task analysis; Synchronization; Organizations; Petri nets; Privacy; Standards organizations; Behavioral correctness verification; business privacy preservation; cross-organizational workflow; discrete event systems; Petri nets; task synchronization pattern;
机译:带回传的工作流以及正确性的增量验证
机译:带回传的工作流以及正确性的增量验证
机译:应用基于Petri网的约简方法验证工作流模型的正确性
机译:基于同步的工作流模型的正确性验证
机译:事务和工作流的语义正确性。
机译:实施跨组织工作流:经验报告
机译:具有任务同步模式的隐私保留行为正确性验证跨组织工作流程
机译:CrossFlow:动态虚拟企业中的跨组织工作流管理