摘要
工作流系统的合理性是描述事务处理过程的一个基本要求,目前大多是将工作流网系统的合理性转化为对应的扩展工作流网系统的活性和有界性来考虑.该文从工作流网系统的语言角度研究了合理性的特征,给出合理性的一个网语言刻画,从而揭示了这一基本性质的行为特征.文中进一步研究同步合成工作流网系统和组合合成工作流网系统,分别给出这两种合成系统合理性保持的充分必要条件,为复杂工作流网系统合成建模与分析提供了一种新的途径.
Soundness of workflow system is a fundamental requirement in formalizing transaction processing flow. Most current researches convert soundness of workttow net （WF-net） system to liveness and boundedness of its extended workflow net system. The soundness property is studied in this paper from the language viewpoint of the workflow net system. Net language depiction for soundness is presented to reveM the behavior characteristic of this basic property. Furthermore, synchronous composition and combined composition of the workflow net system is studied. Necessary and sufficient conditions are given for soundness preservation of the two composition systems. This study provides a novel approach to the modeling and analysis for composition in complex WF-net systems.
出处
《应用科学学报》
EI
CAS
CSCD
北大核心
2011年第1期61-65,共5页
Journal of Applied Sciences
基金
国家"973"重点基础研究发展计划基金(No.2010CB328101)
国家自然科学基金(No.90718012)
国家"863"高技术研究发展计划基金(No.2009AA01Z401)
上海重点基础研究项目基金(No.08JC1419300
No.09JC1414200)
上海市曙光跟踪计划项目基金(No.08GG08)资助
