摘要： Coordination technology is an emerging research area in computer science.This paper gives the definition and taxonomy of coordination technology.Several state-of-the art corrdination models and languages are introduced.At last,future research issues are p

关键词: 协调技术 网络计算 数据驱动 形式化模型 计算机