期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
多主体团队交互协议 被引量:15
1
作者 盛秋戬 赵志 +1 位作者 刘少辉 史忠植 《软件学报》 EI CSCD 北大核心 2004年第5期689-696,共8页
团队是动态不可预测性环境下协作问题求解的有效方式,联合意图是团队联合求解的关键.因此,主体在团队活动中如何采用言语动作形成、维护、解除联合意图,是一个值得研究的重要问题.旨在设计一种基于主体通信语言FIPA(foundation for inte... 团队是动态不可预测性环境下协作问题求解的有效方式,联合意图是团队联合求解的关键.因此,主体在团队活动中如何采用言语动作形成、维护、解除联合意图,是一个值得研究的重要问题.旨在设计一种基于主体通信语言FIPA(foundation for intelligent physical Agent) ACL(Agent communication language)的多主体团队交互协议.首先,分析了现有FIPA ACL支持团队联合求解的充分性问题.在概念上明确区分了联合请求与委托请求,指出委托请求言语动作不能充分支持团队协作.并扩展定义了联合请求,讨论了相关定理.然后,基于联合请求动作,提出一种主体团队交互协议,并给出了协议的形式化语义,最后讨论了协议的实际应用.区别于现有的基本动作请求协议、合同网协议以及拍卖协议,团队交互协议描述了另一类主体交互模式,对主体交互模块的设计具有指导意义. 展开更多
关键词 联合意图 主体通信语言 联合请求 委托请求 团队交互协议
下载PDF
UML活动图描述工作流模型的执行语义 被引量:11
2
作者 赵志 盛秋戬 史忠植 《计算机研究与发展》 EI CSCD 北大核心 2005年第2期300-307,共8页
UML是软件工程中广泛应用的建模语言 ,但其主要问题是缺少严格的形式化语义 ,因而描述的模型容易产生歧义 根据UML活动图的语法和工作流系统的特点 ,为UML活动图定义了一种执行语义 基于时间转变系统模型 ,将工作流系统的执行描述为时... UML是软件工程中广泛应用的建模语言 ,但其主要问题是缺少严格的形式化语义 ,因而描述的模型容易产生歧义 根据UML活动图的语法和工作流系统的特点 ,为UML活动图定义了一种执行语义 基于时间转变系统模型 ,将工作流系统的执行描述为时间转变和数据转变两个交替进行的过程 时间转变描述时间的前进 ,数据转变修改工作流案例的状态 ,这种语义比层次状态图具有更强的描述并行的能力 。 展开更多
关键词 工作流 UML活动图 语义
下载PDF
多主体交互协议的表示和实现 被引量:5
3
作者 赵志 盛秋戬 +1 位作者 高翔 史忠植 《计算机工程与应用》 CSCD 北大核心 2003年第24期8-11,29,共5页
多主体系统中,按照协议进行的交互具有显著的优点。文章首先提出一种交互协议表示方法,从协议描述和决策规则两方面来表示交互协议;然后改进主体的结构,提出一种知识层、会话控制层和通信层的三层结构,在原有主体结构中增加交互协议解... 多主体系统中,按照协议进行的交互具有显著的优点。文章首先提出一种交互协议表示方法,从协议描述和决策规则两方面来表示交互协议;然后改进主体的结构,提出一种知识层、会话控制层和通信层的三层结构,在原有主体结构中增加交互协议解释器。这种方法使得主体可以灵活地选择交互协议,同时将会话控制从知识层中分离出来,不仅使得交互更加可靠,而且减轻了主体推理的负担,简化了知识层的结构。 展开更多
关键词 交互协议 会话处理 多主体系统 结构化主体通信语言 知识层
下载PDF
DPMAS:一种多主体系统设计方法 被引量:3
4
作者 赵志 杨志文 史忠植 《计算机工程与应用》 CSCD 北大核心 2003年第13期79-82,144,共5页
提出一种多主体系统设计方法DPMAS。首先,该方法以对象作为主体实现的基础,以UML作为基本的建模语言,保证了与面向对象方法的延续性。同时,该方法提供了新的图来表示多主体系统中的知识模型和主体间交互模型,并对UML符号进行了一些改进... 提出一种多主体系统设计方法DPMAS。首先,该方法以对象作为主体实现的基础,以UML作为基本的建模语言,保证了与面向对象方法的延续性。同时,该方法提供了新的图来表示多主体系统中的知识模型和主体间交互模型,并对UML符号进行了一些改进以表示主体特有的概念。 展开更多
关键词 多主体系统 软件工程 UML
下载PDF
一种基于约束传播的多主体规划算法 被引量:3
5
作者 赵志 史忠植 曹虎 《计算机工程》 CAS CSCD 北大核心 2004年第20期16-18,共3页
提出了一种基于约束传播的分布式多主体规划算法。主体之间的冲突检测与协调通过一种特殊的多主体协商来解决。在确定环境中该算法是可靠的。算法中主体之间交换的只是与冲突有关的动作、因果链和约束,具有通信量小、安全性高的优点。
关键词 规划算法 多主体系统 约束传播
下载PDF
Web环境下基于协议组合代数的业务流程整合方法 被引量:1
6
作者 张抗抗 徐如志 +2 位作者 杨峰 赵志 李庆忠 《小型微型计算机系统》 CSCD 北大核心 2013年第1期41-45,共5页
采用协议对基于Web的业务流程建模是当前研究的一个新方向.业务协议是对参与业务过程的业务步骤的描述.本文将多个参与者参与的业务步骤抽象为参与者之间的交互,采用基于交互的协议对业务流程建模,提出了一个业务协议组合代数,构造了一... 采用协议对基于Web的业务流程建模是当前研究的一个新方向.业务协议是对参与业务过程的业务步骤的描述.本文将多个参与者参与的业务步骤抽象为参与者之间的交互,采用基于交互的协议对业务流程建模,提出了一个业务协议组合代数,构造了一组协议组合算子,并证明了该代数的一些相关性质;本文还对协议的相似性进行了分析,为替换协议的选择奠定了基础.文章还通过一个流程组合实例说明了基于协议组合代数的业务流程整合过程. 展开更多
关键词 业务协议 协议组合 协议代数 协议相似性
下载PDF
基于Agent的Peer-to-Peer式分布式构件库系统
7
作者 常洁 许天兵 +1 位作者 赵志 徐如志 《计算机系统应用》 2010年第5期28-31,共4页
为解决构件库中存在的种种问题,在分析了软件复用现状和构件库的特点的基础上,提出了一种基于Agent的P2P式的分布式构件库系统,阐述了系统的体系结构并在理论基础上开发出了原型系统。该系统能够达到软构件复用的目的,验证了方法的可行性。
关键词 软件复用 AGENT PEER-TO-PEER 分布式构件库
下载PDF
一种分布式多主体规划算法
8
作者 赵志 史忠植 曹虎 《模式识别与人工智能》 EI CSCD 北大核心 2004年第4期405-411,共7页
提出一种分布式多主体规划算法.在此算法中,主体规划之间的冲突检测与协调通过多主体协商来解决,即主体规划之间约束一致性的分布式判断.在确定环境中该算法是可靠的.由于算法中主体之间交换的只是与冲突有关的动作、因果链和约束.因此... 提出一种分布式多主体规划算法.在此算法中,主体规划之间的冲突检测与协调通过多主体协商来解决,即主体规划之间约束一致性的分布式判断.在确定环境中该算法是可靠的.由于算法中主体之间交换的只是与冲突有关的动作、因果链和约束.因此具有通信量小、安全性高的优点. 展开更多
关键词 规划算法 多主体系统 约束传播
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部