在对新版工作流模式进行深入分析后发现其中有八种模式虽然可以被现有的扩展信牌驱动模型所支持,但却不完全满足模式在执行环境下的约束,即不能保证模式所对应的模型区域安全执行,为此提出了形式化的解决方案旨在使信牌驱动模型实现对模式执行约束的支持.首先需要对模式所对应的模型区域进行形式化定义并提供识别该模型区域的算法,提出了通过保证区域内信牌箱的安全进而保证对应模型区域安全执行的策略.%After analyzing new workflow patterns in depth, it is found that the present extended Xinpai-driven model can sup-port most of them, but the implementation constraints of some patterns can not be supported yet, as the 8 patterns listed. In re-sponse to this problem, this paper proposed the formal solutions so as to achieve better support to workflow patterns by Xinpai-driven model. Firstly it was necessary to define formally the specific region corresponding to every pattern and provided the al-gorithm to identify the region. Secondly it put forward a strategy which could ensure corresponding region to run safely by ensu-ring every Xinpai box' s safety in corresponding region.
展开▼