可视化分布组件协调环境

摘要：

分布组件的协调是基于组件的分布系统开发中的一个基本问题.针对具体应用,提出了一种分布组件协调模型--Concerto.Conccrto模型以Petri网为理论基础,综合了现有的控制驱动和数据驱动两类协调模型,将Petri网的变迁与分布组件系统中的事件、条件、操作和时间信息结合起来,提供了与计算系统交互的方法.在Concerto模型基础上,实现了可视化分布组件协调环境,对分布组件系统进行并发死锁验证,并与计算系统交互,控制分布组件的运行.

关键词：分布组件、协调模型、Petri网、可视化建模

所属期刊栏目：26

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

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

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

页数：共4页

页码：9-11,60