分布组件系统协调的建模及其验证方法研究

开放自治的组件系统已被广泛接受成为设计和实现复杂软件系统的软件范型，而组件交互是复杂软件系统中最重要的特征，管理组件复杂的交互是协调理论的目标。本课题研究就是从组件协调模型、语言和协调验证方面出发，建立一个管理组件交互协调的方法。具体是建立一个层次式协调模型和相应的建模语言，进行分层协调机制的形式描述和验证方法的研究。