检索结果-南通市图书馆

Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets

引用

Science China(Information Sciences) 2015年第7期58卷 128-143页

作者： LIU GuanJun JIANG ChangJun Department of Computer Science Tongji University Key Laboratory of the Ministry of Education for Embedded System and Service Computing Tongji University

Inter-organizational workflow nets(IWF-nets) can well model the interactions among multiple processes by sending/receiving messages. Compatibility and weak compatibility are crucial properties for *** latter guarantees that a system is deadlock-free and livelock-free while the former also guarantees that it has no dead tasks. Our previous work proved that the(weak) compatibility problem is PSPACE-complete for safe IWF-nets. This paper defines a class of IWF-nets in which some simple circuits are allowed. Necessary and sufficient conditions are presented to decide compatibility and weak compatibility for this class, and they are dependent on the net structures only. Algorithms are developed based on these conditions. In addition, we show that the traditional net structures like siphon cannot be easily used to decide the(weak) compatibility of IWF-nets.

关键词： formal method workflow nets compatibility business process model web services composition

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Verification of workflow nets with transition conditions

引用

Journal of Zhejiang University-Science C(Computers and Electronics) 2012年第7期13卷 483-509页

作者： Zhao-xia WANG Jian-min WANG Xiao-chen ZHU Li-jie WEN School of Software Tsinghua UniversityBeijing 100084China Department of Computer Science and Technology Tsinghua UniversityBeijing 100084China MOE Key Laboratory for Information System Security Tsinghua UniversityBeijing 100084China National Laboratory for Information Science and Technology Tsinghua UniversityBeijing 100084China SDepartment of Logistical Information&Engineering Logistical Engineering UniversityChongqing 400016China

workflow management is concerned with automated support for business *** management systems are driven by process models specifying the tasks that need to be executed,the order in which they can be executed,which resources are authorised to perform which tasks,and data that is required for,and produced by,these *** workflow instances may run over a sustained period of time,it is important that workflow specifications be checked before they are *** verification is usually concerned with control-flow dependencies only;however,transition conditions based on data may further restrict possible choices between *** this paper we extend workflow nets where transitions have concrete conditions associated with them,called *** then demonstrate that we can determine which execution paths of a WTC-net that are possible according to the control-flow dependencies,are actually possible when considering the conditions based on ***,we are able to more accurately determine at design time whether a workflow net with transition conditions is sound.

关键词： workflow nets Transition condition Verification Process model

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Research of workflow nets Application Based on the Petri nets

Research of Workflow nets Application Based on the Petri Net...

引用

2012 National Conference on Information Technology and Computer Science

作者： Qi Dabin University of Science and Technology Liaoning,Anshan,China Yao Jun Chemical plant of Ansteel stock company,Anshan China Li Qiuju Anshan Normal University Liaoning China Anshan,China

This paper introduced basic knowledge of Petri nets and workflow,and invariant analysis technique of Petri nets models structure,and integrate the real application circumstances of the workflow of receive document in document management,constructs an integrated workflow model based on Petri *** more,the author utilize invariant analysis technique to provide the verification of the model.

关键词： Petri nets workflow nets Performance analysis Receive document

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：