一种基于Petri网的分布组件协调模型

协调是分布组件系统中的基本问题之一.但是,协调问题至今仍未得到很好的解决根据实际应用的要求,提出了Concerto协调模型.它以Petri网为数学理论基础,扩充了Petri网的语义,引入了控制缓存和数据缓存,分别反映了分布组件的控制依赖和数据依赖关系,统一了现有的控制驱动和数据驱动两类协调模型.对于Concerto模型的运行,提出了驱动模式、动作规则和Concerto引擎.驱动模式有4种:依赖操作时间的驱动、依赖最小时间的驱动、依赖最大时间的驱动和依赖平均时间的驱动.这些驱动模式在实时系统、流量控制和任务调度等方面具有很好的实用价值.Concerto引擎作为模型运行的核心,按照特定的仲裁机制协调分布组件系统的运行,解决了死锁和饥饿问题.