计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (14): 27-30.DOI: 10.3778/j.issn.1002-8331.2010.14.008

• 博士论坛 • 上一篇    下一篇

工作流中同步区与异步区的动态修改

付丽娜,郝克刚   

  1. 西北大学 软件工程研究所,西安 710069
  • 收稿日期:2010-02-05 修回日期:2010-04-09 出版日期:2010-05-11 发布日期:2010-05-11
  • 通讯作者: 付丽娜

Dynamic modification of synchronizedarea and asynchronizedarea in workflow

FU Li-na,HAO Ke-gang   

  1. Software Engineering Institute,Northwest University,Xi’an 710069,China
  • Received:2010-02-05 Revised:2010-04-09 Online:2010-05-11 Published:2010-05-11
  • Contact: FU Li-na

摘要: 在信牌驱动模型中使用同步区/异步区规则旨在解决在不同语义环境下的同步问题。在动态修改中需要解决的一个重要问题便是正确地将同步区修改为异步区或将异步区修改为同步区,即在合适的信牌箱中添加或删除假信牌。深入分析了将同步区修改为异步区及将异步区修改为同步区的策略与算法,并讨论了算法的合理性。最后给出了一些典型的对同步区/异步区进行动态修改的实例。

关键词: 信牌驱动模型, 态修改, 步区, 步区,

Abstract: Synchronizedarea and asynchronizedarea rules are applied to solve problem of synchronization in different semantic enviroment.There is a critical question that synchronizedarea and asynchronizedarea can be modified correctly,in other words false token can be added or deleted in appropriate token-box.The paper studies corresponding strategies and algorithms to solve modification of different areas and rationality of algorithms.And at last it gives several typical examples of dynamic modification to synchronizedarea or asynchronizedarea.

Key words: token-driven model, ynamic modification, ynchronizedarea, synchronizedarea, racture section

中图分类号: