摘要
在分层的工作流模型研究的基础上 ,指出了 WPDL 中 AND- JOIN的语义问题 ,并在扩展的信牌驱动模型层 ,对配对结构进行了系统、深入的研究 .形式地定义了最宽泛的配对概念和严格的正则配对的概念 ,分析了它们各自的优缺点 .然后定义了一个既有严格语义、性能可以确定 ,但要求相对宽泛、相对比较实用的扩展正则配对的概念 .利用此概念 。
Based on the hierarchical research of workflow model, it points out the problem of the AND JOIN semantic in WPDL. It is systematically and deeply study on every kinds of the pair structure in the extended Xinpai workflow model. It is formally defined the generous pair and the strict normal pair. The merit and shortcoming of them are analysed. Then it is defined a extended normal pair which not only have the strict sematic and determined performance of Xinpai driven model, but also is relatively generous and practical. It is formally defined the Xinpai workflow model by those concepts.
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第11期1973-1977,共5页
Journal of Chinese Computer Systems
基金
国家"8 63"高技术发展研究计划 ( 863 -3 0 1-ZT0 2 -0 4-0 1)的资助
