焦文品 作品数:29 被引量:399 H指数:9 供职机构: 北京大学信息科学技术学院高可信软件技术教育部重点实验室 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 文化科学 更多>>
用XYZ/E形式化体系结构风格 被引量:28 2000年 该文用时序逻辑语言 XYZ/ E刻画了若干种常见的体系结构风格 .在刻画风格之前 ,首先通过研究常见组件及连接方式间的关系分析了风格之间的关系 。 焦文品 史忠植关键词:软件体系结构 形式化 XYZ/E 一种可定制的自主构件运行支撑框架 被引量:20 2008年 描述了一种动态、可定制的构件自主化的实现手段及运行平台,试图通过对实现自主构件的方法和手段的探索,为开发具有自主性的基于Internet的软件系统提供一定的实践基础和经验.在实现自主构件时,采取了改装已有普通构件的方式,将软件Agent技术和构件技术结合起来,通过为构件定制行为规则和规划来控制和调度构件的行为,使得构件能够根据环境的状态调整自己的行为.同时,通过集成可以解释和执行声明式规则的规则引擎,使得可以在不修改构件源代码和重新部署构件的情况下,动态定制和实现构件的自主性行为能力. 孙熙 庄磊 刘文 焦文品 梅宏关键词:网构软件 软件AGENT 构件运行支撑平台 一种基于元组空间的智能传感器协同感知机制 被引量:7 2015年 随着具有一定计算能力和无线通信能力的智能传感器(称为mote)的出现,越来越多的物联网应用可以实现对环境及其变化的就地感知、就地决策和就地反应.但因为mote的感知能力和感知范围有限,它们需要协同感知才能更全面地感知环境的状态,才能更好地适应环境的变化.而传统的mote协同感知的实现方法要求开发人员过多地关注mote之间的交互逻辑,并且mote应用也无法适应复杂环境的不断变化.为了避免开发人员在交互逻辑上花费过多的精力,同时保障开发出来的mote应用系统能够适应不稳定的外界环境,提出了一种基于元组空间的mote协同感知支撑机制,使得mote之间的协同感知过程(包括交互的建立过程以及对环境变化的适应过程)对开发人员完全透明.最后实现了一个简单的应用场景,展示了该方法如何满足功能需求以及在环境发生变化时如何对环境进行适应. 王睿智 史庭训 焦文品关键词:智能传感器 协同感知 自适应 元组空间 一种规则驱动的网络服务组装机制 被引量:10 2006年 提出了一种规则驱动的服务组装方法,实现了一个基于软件Agent的框架,在运行时刻监控和管理组装流程的执行.该方法给出一个算法将流程规约转化为等价的规则集合以用于指导Agent的行为,并允许用户通过定义一组可插拔(pluggable)的自适应策略,方便地扩展流程对变化的适应能力.框架实现基于反射式中间件平台PKUAS,该平台为网络服务和软件Agent提供运行支持,并基于其反射机制为Agent提供运行时刻的环境信息. 孙熙 刘譞哲 焦文品 黄罡 梅宏关键词:适应性 软件AGENT 一种基于自主构件的网构软件协作框架 被引量:5 2006年 网构软件的协作具有真分布、无全局规划、非强制性等新的特征,这对协作提出了新的要求.在传统构件的基础上,借鉴Agent领域中对自主性的理解,使用自主构件这一概念来对具有自主性的计算资源进行建模,并描述了一种基于自主构件的协作框架.该框架中借助环境改变来引导自主构件间的协作行为,协作过程中没有直接干预其他自主构件的行为,更没有强迫其他自主构件参与,但自主构件却能采取所期望的行动最终实现协作目标. 刘文 孙熙 焦文品 王千祥关键词:网构软件 AGENT 基于结构化功能模型的移动Agent调度策略 网络促进了信息的交流和数据的共享,然而其规模增长和形式多样性并没有直接带来计算能力的相应提高,人们正在研究和探索新的网络编程技术以使其能更加有效地发挥作用.通过将执行代码从客户端传送至服务器的这种新的Client/Ser... 武成岗 焦文品 史忠植关键词:网络编程 网络服务 并发执行 形式化多主体系统中的交互及交互协议 被引量:8 2001年 深入研究了多主体系统中的交互及其协议 ,并用一种进程演算 ;即 π演算进行了形式化的描述 .为了研究主体之间的交互 ,首先对参与交互的主体的行为进行了分类 ,并形式化地描述了其行为规范 ,然后用进程定义了主体间的交互协议 ,并在此基础上分析了主体交互的一致性及无死锁性 . 焦文品 史忠植关键词:分布式人工智能 交互协议 一种基于自主构件的网构软件协作框架 网构软件的协作具有真分布、无全局规划、非强制性等新的特征,这对协作提出了新的要求.在传统构件的基础上,借鉴Agent领域中对自主性的理解,使用自主构件这一概念来对具有自主性的计算资源进行建模,并描述了一种基于自主构件的协... 刘文 孙熙 焦文品 王千祥关键词:网构软件 AGENT 一种基于双向选择的多Agent系统自动集成方案 被引量:2 2010年 多Agent系统集成方案的选择能极大程度地影响多Agent系统的性能。目前大多数的多Agent系统集成方案只关注于系统级的行为与性能。本文在关注多Agent系统性能的同时,也关注各个Agent的收益。本文提出一种基于双向选择的多Agent系统集成方案,在此方案中,Agent根据自身的意愿选择合适的角色进行申请,同时角色根据对各个Agent的信任值选择合适的Agent来承担其任务。实验表明,随着若干次系统学习,多Agent系统协作任务完成时间能较快地下降,Agent在单位时间内的收益逐步提高。 方汐 马剑竹 王茂光 焦文品关键词:多AGENT系统 角色 一种以软件体系结构为中心的网构软件开发方法 被引量:46 2006年 作为Internet环境下的一种新型的软件形态,网构软件对传统的软件开发理论、方法与技术提出了一系列的挑战.作为一种以软件复用为核心思想、以软件构件为基本实体、以软件体系结构为中心、以软件中间件为运行支撑的软件开发方法学,ABC(architecture based component composition)方法能够有力支持网构软件的开发.其中,基于特征的领域建模以及特定应用的特征模型剪裁方法和技术,反映了网构软件在问题空间实现自底向上、从“无序”到“有序”的构造过程;基于自适应软件体系结构的分析与设计方法,支持自适应网构软件的开发;具有反射机制、支持自主构件的中间件平台则为网构软件的运行,尤其是网构软件结构的自适应和实体的自适应提供支撑机制. 梅宏 黄罡 赵海燕 焦文品关键词:网构软件 软件体系结构