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

• 作者: 严莉萍 尤晋元 鲍敢峰
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 协调模型 分布组件 Petri网
• 年，卷（期）: 2002,（4）
• 页码范围: 629-636
• 页数: 8页
• 分类号: TP311
• 字数: 6347字
• 语种: 中文

摘要

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