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

A Distributed Component Coordination Model Based on Petri Nets

作　　者：严莉萍[1] 鲍敢峰萍 尤晋元萍 

机构地区：[1]上海交通大学计算机科学与工程系 分布计算技术中心,上海200030

出　　处：《软件学报》2002年第4期629-636,共8页Journal of Software

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

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

关 键 词：协调模型 分布组件 PETRI网 软件 计算机 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]