焦文品 作品数:29 被引量:399 H指数:9 供职机构: 北京大学信息科学技术学院高可信软件技术教育部重点实验室 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 文化科学 更多>>
用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 自动化管理 跨组织 分布式应用