一种基于Petri网的分布组件协调模型 |
| |
作者姓名: | 严莉萍 鲍敢峰 尤晋元 |
| |
作者单位: | 上海交通大学,计算机科学与工程系,分布计算技术中心,上海,200030 |
| |
基金项目: | 国家自然科学基金资助项目(699730332);上海市科技发展基金资助项目(995115014) |
| |
摘 要: | 协调是分布组件系统中的基本问题之一.但是,协调问题至今仍未得到很好的解决.根据实际应用的要求,提出了Concerto协调模型.它以Petri网为数学理论基础,扩充了Petri网的语义,引入了控制缓存和数据缓存,分别反映了分布组件的控制依赖和数据依赖关系,统一了现有的控制驱动和数据驱动两类协调模型.对于Concerto模型的运行,提出了驱动模式、动作规则和Concerto引擎.驱动模式有4种:依赖操作时间的驱动、依赖最小时间的驱动、依赖最大时间的驱动和依赖平均时间的驱动.这些驱动模式在实时系统、流量控制和任
|
关 键 词: | 协调模型 分布组件 Petri网 |
文章编号: | 1000-9825/2002/13(04)0629-08 |
收稿时间: | 2000-02-28 |
修稿时间: | 2000-02-28 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载免费的PDF全文 |
|