| 摘要: |
| 协调是分布组件系统中的基本问题之一.但是,协调问题至今仍未得到很好的解决.根据实际应用的要求,提出了Concerto协调模型.它以Petri网为数学理论基础,扩充了Petri网的语义,引入了控制缓存和数据缓存,分别反映了分布组件的控制依赖和数据依赖关系,统一了现有的控制驱动和数据驱动两类协调模型.对于Concerto模型的运行,提出了驱动模式、动作规则和Concerto引擎.驱动模式有4种:依赖操作时间的驱动、依赖最小时间的驱动、依赖最大时间的驱动和依赖平均时间的驱动.这些驱动模式在实时系统、流量控制和任 |
| 关键词: 协调模型 分布组件 Petri网 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金资助项目(699730332);上海市科技发展基金资助项目(995115014) |
|
| A Distributed Component Coordination Model Based on Petri Nets |
|
YAN Li-ping,BAO Gan-feng,YOU Jin-yuan
|
| Abstract: |
| 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. |
| Key words: coordination model distributed component Petri net |
