位置：立项数据库 > 立项详情页
分布组件系统协调的建模及其验证方法研究
  • 项目名称：分布组件系统协调的建模及其验证方法研究
  • 项目类别：青年科学基金项目
  • 批准号：60203029
  • 申请代码：F0201
  • 项目来源：国家自然科学基金
  • 研究期限：2003-01-01-2003-12-01
  • 项目负责人：魏峻
  • 负责人职称：副研究员
  • 依托单位：中国科学院软件研究所
  • 批准年度：2002
中文摘要：

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

中文主题词： 协调模型；组件；建模语言 UML；agent; 形式规范描述
结论摘要：

英文主题词coordination model; component; agent; interaction; UML

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 6
  • 4
  • 0
  • 0
  • 1
期刊论文
基于协作文档的异构工作流管理系统协同模型
基于内容的Pub／Sub系统中分发器网络自重构的研究
可扩展和可配置事件通知服务体系结构
基于优先级和任务共享的工作流负载平衡研究
一种基于产生式的流程模型分析方法
会议论文
Diversifying and Improving Business Process Management Systems by Service Cooperation Middleware
Towards Dynamic Process with Variable Structure by Reflection
Modeling Decentralized Adaptive Process Based on the Service Cooperation Middleware
基于服务协作中间件的动态流程
著作
基于体系结构模型检查分布式控制系统
相关项目
基于Agent和无线传感器网络的普适计算情景感知技术研究
期刊论文 135
中国市场条件下基于计算实验金融方法的行为金融理论研究
期刊论文 18 会议论文 8
基于多智能体的集装箱码头物流运作系统的优化
期刊论文 17 会议论文 1
突发公共事件信息在互联网上的传播机理仿真研究
期刊论文 25 会议论文 14 著作 2
基于Agent的景区游客游憩行为仿真建模研究
期刊论文 5 会议论文 2
基于Agent的突发事件跨媒体数据挖掘研究
期刊论文 46 会议论文 32
基于安全Agent的可信云计算与对等计算融合模型及关键技术的研究
期刊论文 38 会议论文 6
燃料敏化太阳能电池在西藏的稳定性研究
期刊论文 1
基于协调知识水平的分布式协调推理机
期刊论文 19 会议论文 3
魏峻的项目
多代理系统中基于组件的疚互协议工程及其在电子商务中的应用
　面向服务的动态软件体系结构及其支撑环境研究
期刊论文 5
面向需求不确定性的智能服务架构研究
具有自治特性的服务协作关键技术研究
期刊论文 17 会议论文 17 专利 3
面向终端用户的情境化服务构造与演化关键技术研究
期刊论文 9 会议论文 10 获奖 2