您的位置: 专家智库 > >

焦文品

作品数:29 被引量:399H指数:9
供职机构:北京大学信息科学技术学院高可信软件技术教育部重点实验室更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术文化科学更多>>

文献类型

  • 23篇期刊文章
  • 6篇会议论文

领域

  • 29篇自动化与计算...
  • 1篇文化科学

主题

  • 8篇网构软件
  • 5篇自适
  • 5篇自适应
  • 5篇AGENT
  • 4篇软件体系结构
  • 4篇体系结构
  • 4篇网络
  • 3篇定制
  • 3篇可用性
  • 3篇多主体
  • 3篇高可用
  • 2篇信息系统
  • 2篇英文
  • 2篇中间件
  • 2篇软件AGEN...
  • 2篇人工智能
  • 2篇自动构建方法
  • 2篇自动化
  • 2篇自动化管理
  • 2篇自适应软件

机构

  • 19篇北京大学
  • 8篇中国科学院
  • 2篇华东理工大学
  • 1篇教育部
  • 1篇浙江大学
  • 1篇浙江师范大学
  • 1篇中央财经大学
  • 1篇中国建设银行

作者

  • 29篇焦文品
  • 8篇史忠植
  • 7篇孙熙
  • 7篇梅宏
  • 3篇庄磊
  • 3篇武成岗
  • 3篇王千祥
  • 3篇刘文
  • 3篇周立
  • 2篇周明辉
  • 2篇黄罡
  • 2篇王茂光
  • 2篇田田
  • 2篇史庭训
  • 2篇田启家
  • 2篇林华山
  • 2篇刘洋
  • 1篇赵海燕
  • 1篇谢玲
  • 1篇瞿有甜

传媒

  • 6篇软件学报
  • 4篇计算机研究与...
  • 3篇计算机科学与...
  • 2篇计算机学报
  • 2篇计算机科学
  • 2篇第一届Age...
  • 1篇电子学报
  • 1篇南京大学学报...
  • 1篇计算机工程与...
  • 1篇计算机应用与...
  • 1篇计算机工程与...
  • 1篇中国科学(E...
  • 1篇2005’全...
  • 1篇2007全国...
  • 1篇第六届中国人...
  • 1篇中国科学院计...

年份

  • 1篇2021
  • 1篇2017
  • 1篇2016
  • 1篇2015
  • 1篇2012
  • 1篇2010
  • 3篇2008
  • 1篇2007
  • 6篇2006
  • 3篇2005
  • 3篇2001
  • 4篇2000
  • 1篇1999
  • 1篇1995
  • 1篇1993
29 条 记 录,以下是 1-10
排序方式:
用XYZ/E形式化体系结构风格被引量:28
2000年
该文用时序逻辑语言 XYZ/ E刻画了若干种常见的体系结构风格 .在刻画风格之前 ,首先通过研究常见组件及连接方式间的关系分析了风格之间的关系 。
焦文品史忠植
关键词:软件体系结构形式化XYZ/E
一种可定制的自主构件运行支撑框架被引量:21
2008年
描述了一种动态、可定制的构件自主化的实现手段及运行平台,试图通过对实现自主构件的方法和手段的探索,为开发具有自主性的基于Internet的软件系统提供一定的实践基础和经验.在实现自主构件时,采取了改装已有普通构件的方式,将软件Agent技术和构件技术结合起来,通过为构件定制行为规则和规划来控制和调度构件的行为,使得构件能够根据环境的状态调整自己的行为.同时,通过集成可以解释和执行声明式规则的规则引擎,使得可以在不修改构件源代码和重新部署构件的情况下,动态定制和实现构件的自主性行为能力.
孙熙庄磊刘文焦文品梅宏
关键词:网构软件软件AGENT构件运行支撑平台
一种规则驱动的网络服务组装机制被引量:10
2006年
提出了一种规则驱动的服务组装方法,实现了一个基于软件Agent的框架,在运行时刻监控和管理组装流程的执行.该方法给出一个算法将流程规约转化为等价的规则集合以用于指导Agent的行为,并允许用户通过定义一组可插拔(pluggable)的自适应策略,方便地扩展流程对变化的适应能力.框架实现基于反射式中间件平台PKUAS,该平台为网络服务和软件Agent提供运行支持,并基于其反射机制为Agent提供运行时刻的环境信息.
孙熙刘譞哲焦文品黄罡梅宏
关键词:适应性软件AGENT
一种基于自主构件的网构软件协作框架被引量:5
2006年
网构软件的协作具有真分布、无全局规划、非强制性等新的特征,这对协作提出了新的要求.在传统构件的基础上,借鉴Agent领域中对自主性的理解,使用自主构件这一概念来对具有自主性的计算资源进行建模,并描述了一种基于自主构件的协作框架.该框架中借助环境改变来引导自主构件间的协作行为,协作过程中没有直接干预其他自主构件的行为,更没有强迫其他自主构件参与,但自主构件却能采取所期望的行动最终实现协作目标.
刘文孙熙焦文品王千祥
关键词:网构软件AGENT
形式化多主体系统中的交互及交互协议被引量:8
2001年
深入研究了多主体系统中的交互及其协议 ,并用一种进程演算 ;即 π演算进行了形式化的描述 .为了研究主体之间的交互 ,首先对参与交互的主体的行为进行了分类 ,并形式化地描述了其行为规范 ,然后用进程定义了主体间的交互协议 ,并在此基础上分析了主体交互的一致性及无死锁性 .
焦文品史忠植
关键词:分布式人工智能交互协议
一种基于自主构件的网构软件协作框架
网构软件的协作具有真分布、无全局规划、非强制性等新的特征,这对协作提出了新的要求.在传统构件的基础上,借鉴Agent领域中对自主性的理解,使用自主构件这一概念来对具有自主性的计算资源进行建模,并描述了一种基于自主构件的协...
刘文孙熙焦文品王千祥
关键词:网构软件AGENT
文献传递
一种基于双向选择的多Agent系统自动集成方案被引量:2
2010年
多Agent系统集成方案的选择能极大程度地影响多Agent系统的性能。目前大多数的多Agent系统集成方案只关注于系统级的行为与性能。本文在关注多Agent系统性能的同时,也关注各个Agent的收益。本文提出一种基于双向选择的多Agent系统集成方案,在此方案中,Agent根据自身的意愿选择合适的角色进行申请,同时角色根据对各个Agent的信任值选择合适的Agent来承担其任务。实验表明,随着若干次系统学习,多Agent系统协作任务完成时间能较快地下降,Agent在单位时间内的收益逐步提高。
方汐马剑竹王茂光焦文品
关键词:多AGENT系统角色
用抽象质量类型构建高质量网构软件(英文)
2008年
在开发基于因特网的软件系统(文中称为网构软件)时,在开发过程的各个阶段都需要考虑软件系统的多种质量属性,这样网构软件的质量才能在软件系统的规约和设计阶段进行推导和预测,从而在部署和运行阶段进一步进行评估和验证。提出了一种新的抽象概念,即抽象质量类型,将软件实体的数据状态、相关的操作、质量属性以及保证质量得以实现的环境封装在一个统一的语法单元中,从而为建模软件实体以及推导其功能和非功能属性提供了一种严格的手段。探讨了基于软件体系结构及软件交互过程的抽象质量类型的组合,这为构建高质量网构软件提供了一定的形式化基础。最后,还描出了一个系统原型来展示如何利用抽象质量类型构造网构软件,并验证和提高网构软件系统的相关质量属性。
瞿有甜吴泽君焦文品陈天洲何国龙
关键词:软件质量网构软件
一种以软件体系结构为中心的网构软件开发方法被引量:46
2006年
作为Internet环境下的一种新型的软件形态,网构软件对传统的软件开发理论、方法与技术提出了一系列的挑战.作为一种以软件复用为核心思想、以软件构件为基本实体、以软件体系结构为中心、以软件中间件为运行支撑的软件开发方法学,ABC(architecture based component composition)方法能够有力支持网构软件的开发.其中,基于特征的领域建模以及特定应用的特征模型剪裁方法和技术,反映了网构软件在问题空间实现自底向上、从“无序”到“有序”的构造过程;基于自适应软件体系结构的分析与设计方法,支持自适应网构软件的开发;具有反射机制、支持自主构件的中间件平台则为网构软件的运行,尤其是网构软件结构的自适应和实体的自适应提供支撑机制.
梅宏黄罡赵海燕焦文品
关键词:网构软件软件体系结构
跨组织的分布式应用中服务依赖的自动化管理
2005年
在跨组织分布式应用中,受组织的目标和协作策略的影响,构件间的服务依赖具有不稳定性的特点,这就要求对于服务依赖的管理要有灵活性和动态适应性.而传统的服务依赖管理框架及技术已无法适应管理这类应用中服务依赖关系的要求.提出了一种基于Agent的针对跨组织分布式应用的服务依赖自动化管理方案.其中,Agent通过包装传统构件对外提供服务,并通过Agent的自主性来实现服务依赖管理所要求的灵活性及动态适应性等需求,从而维护了构件间松散灵活的服务依赖关系.
田田焦文品梅宏
关键词:AGENT自动化管理跨组织分布式应用
共3页<123>
聚类工具0