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

摘要：

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

关键词：协调模型、分布组件、Petri网

所属期刊栏目：13

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金699730332;上海市科技发展基金995115014

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：629-636