A Distributed Component Coordination Model Based on Petri Nets
一种基于Petri网的分布组件协调模型

Coordination is one of the basic problems in distributed component systems. But up to now this problem has not been solved yet properly. According to the real application, the Concerto model is proposed, which is based on Petri net. Expanding the semantics of Petri net, Concerto model introduces control buffer and data buffer, which reflect the control dependency and data dependency respectively, to unify the present control-driven and data-driven coordination models. For the execution of Concerto model, driving mode,action rule and Concerto engine are forward.There are four kind of driving modes, depended on operation time,minimal time,maximal time and average time respectively.They are useful in application domains such as real-time systems,flow controlling,and task scheduling.As the core of model execution,Concerto engine controls the coordination of distrbuted component system by following certain arbitration rule, which resolves the deadlock and starvation.