Sufficient and Necessary Condition to Decide Compatibility for a Class of Interorganizational Workflow Nets

Liu Guanjun; Chen Lijing

首页> 外文期刊>Mathematical Problems in Engineering >Sufficient and Necessary Condition to Decide Compatibility for a Class of Interorganizational Workflow Nets

【24h】

Sufficient and Necessary Condition to Decide Compatibility for a Class of Interorganizational Workflow Nets

机译：决定一类组织间工作流网的兼容性的充要条件

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Interorganizational Workflow nets (IWF-nets) can well model many concurrent systems such as web service composition, in which multiple processes interact via sending/receiving messages. Compatibility of IWF-nets is a crucial criterion for the correctness of these systems. It guarantees that a system has no deadlock, livelock, or dead tasks. In our previous work we proved that the compatibility problem is PSPACE-complete for safe IWF-nets. This paper defines a subclass of IWF-nets that can model many cases about interactions. Necessary and sufficient condition is presented to decide their compatibility, and it depends on the net structures only. Finally, an algorithm is developed based on the condition.

机译：组织间工作流网（IWF-net）可以很好地建模许多并发系统，例如Web服务组合，其中多个进程通过发送/接收消息进行交互。 IWF网络的兼容性是这些系统正确性的关键标准。它保证系统没有死锁，活动锁或死任务。在我们之前的工作中，我们证明了对于安全的IWF网络而言，兼容性问题是PSPACE完全的。本文定义了IWF网络的子类，该子类可以对许多有关交互的情况进行建模。给出了决定其兼容性的必要和充分条件，并且仅取决于网络结构。最后，根据条件开发了一种算法。

著录项

来源
《Mathematical Problems in Engineering》 |2015年第5期|392945.1-392945.11|共11页
作者
Liu Guanjun; Chen Lijing;
展开▼
作者单位

Humboldt Univ, Dept Comp Sci, D-12489 Berlin, Germany.;

Shandong Univ Sci & Technol, Dept Software Engn, Qingdao 266590, Peoples R China.;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Soundness of workflow nets: classification, decidability, and analysis [J] . W. M. P. van der Aalst, K. M. van Hee, A. H. M. ter Hofstede, Formal Aspects of Computing . 2011,第3期

机译：工作流网络的可靠性：分类，可判定性和分析
2. Sufficient Conditions and Sensor Placement for Structural Fault Diagnosis in a class of Timed Continuous Petri Nets [J] . R. Casas-Carrillo, O. Begovich, J. Ruiz-León, IFAC PapersOnLine . 2018,第13期

机译：一类定时连续Petri网的结构故障诊断的充分条件和传感器位置
3. Sufficient Conditions and Sensor Placement for Structural Fault Diagnosis in a class of Timed Continuous Petri Nets [J] . R. Casas-Carrillo, O. Begovich, J. Ruiz-León, IFAC PapersOnLine . 2018,第13期

机译：一类定时连续Petri网的结构故障诊断的充分条件和传感器位置
4. A Sufficient and Necessary Condition to Decide Compatibility for Simple Circuit Inter-organization Workflow Nets [C] . Leifeng He, Guanjun Liu, Mimi Wang Asia-Pacific services computing conference . 2016

机译：确定简单电路组织间工作流网的兼容性的充要条件
5. I. A necessary and sufficient condition that a curve lie on a quadric surface; II. A necessary and sufficient condition that a curve lie on a hyperquadric. [D] . Graue, Louis C. 1950

机译：一，曲线位于二次曲面上的充要条件；二。曲线位于二次方上的必要和充分条件。
6. A Comprehensive Expression Profile of MicroRNAs and Other Classes of Non-Coding Small RNAs in Barley Under Phosphorous-Deficient and -Sufficient Conditions [O] . Michael Hackenberg, Po-Jung Huang, Chun-Yuan Huang, 2013

机译：缺磷和充足条件下大麦中MicroRNA和其他类型非编码小RNA的综合表达谱
7. Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets [O] . GuanJun Liu, ChangJun Jiang 2015

机译：基于网络的条件，决定一类组织间工作流网的兼容性和兼容性
8. Cost and Savings Estimates the Air Force Used to Decide Against Relocating the Electromagnetic Compatibility Analysis Center from Annapolis, Maryland, to Duluth, Minnesota [R] . Gurzick, J., Fletcher, B., Strackbein, B. 1983

机译：成本和节省估计空军用于决定将马里兰州安纳波利斯的电磁兼容性分析中心迁至明尼苏达州德卢斯市

Sufficient and Necessary Condition to Decide Compatibility for a Class of Interorganizational Workflow Nets

摘要

著录项

相似文献

相关主题

期刊订阅