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

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

Abstract: The coordination of distributed components is an important issue in the development of component-based distributed systems. According to the requirements of practical applications, we propose the Concerto model, which is based on the theory of Petri nets and synthesizes two present coordination models: control-driven and data-driven. It binds the transition of Petri nets with event, condition, poeration and time, and therefore provides an approach to interact with computing systems. Based oil Concerto model, we realize all environment for distributed component coordination. which tverifies the distributed components systems correctness and then interacts, with the computing system to control the execution of distributed components.