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

Dynamic modification of synchronizedarea and asynchronizedarea in workflow

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

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.