论文部分内容阅读
分布组件的协调是基于组件的分布系统开发中的一个基本问题。针对具体应用，提出了一种分布组件协调模型－－Ｃｏｎｃｅｒｔｏ。Ｃｏｎｃｅｒｔｏ模型以Ｐｅｔｒｉ网为理论基础，综合了现有的控制驱动和数据驱动两类协调模型。Ｐｅｔｒｉ网的变迁与分布组件系统中的事件、条件、操作和时间信息结合起来，提供了与计算机系统交互的方法。在Ｃｏｎｃｅｒｔｏ模型基础上，实现了可视化分布组件协调环境，对分布组件系统进行并发死锁验证