周立 作品数:6 被引量:63 H指数:2 供职机构: 教育部 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 国家自然科学基金创新研究群体项目 更多>> 相关领域: 自动化与计算机技术 更多>>
一种支持软件体系结构模型检查的可视化构件交互建模工具的设计与实现 随着软件技术的不断发展,软件系统的复杂性、多变性不断提高,为了满足软件体系结构的正确性要求,仅有系统静态结构信息的描述方法不足以满足这种需求,因此需要在软件体系结构层次对系统行为进行建模。另一方面,为了使用户能够方便地进... 张磊 周立 孙艳春 梅宏关键词:软件体系结构 构件交互 可视化构件 文献传递 一种高可用实时网构软件的构成成分的自动选择方法 Internet环境开放、动态的本质,计算实体自身的自主性和独立性以及网络连接的不稳定性等,均对组装高可用实时网构软件提出了新的要求。本文提出了一种基于Agent的高可用实时软件系统的组装方法。该方法利用Agent封装自... 杨瑜 谢玲 周立 孙熙 焦文品关键词:网构软件 可用性 AGENT 网络连接 文献传递 一种Web Service的服务质量预测方法 被引量:53 2009年 服务消费者在选择服务之前,通常需要基于其他消费者的经验对未使用过的服务的质量进行预测.考虑到不同服务消费者对同一服务的服务质量的感受之间可能存在较大的差别,提出了一种QoS(quality of service)预测方法.该方法以消费者的历史经验为基础,计算消费者之间以及服务之间的相似程度,并以此相似度为基础对消费者并未使用过的服务的QoS进行预测.实验结果表明,这种方法可以显著提高Web服务质量预测的准确性. 邵凌霜 周立 赵俊峰 谢冰 梅宏关键词:WEB服务 相似度 一种基于Agent的高可用性网构软件自动构建方法 被引量:1 2006年 Internet环境开放、动态的本质,计算实体自身的自主性和独立性以及网络连接的不稳定性等,均对保障软件系统可用性提出了新的要求.提出了一种基于Agent的高可用性软件构造方法.该方法使用Agent建模网络环境中的自主计算实体,在计算实体及其连接方式的可用性未知的情况下,由Agent通过学习,在运行一段时间后自适应地构造出可用性较优的软件系统.实验表明,基于该方法构建的系统能达到较高的可用性,并能在环境发生变化时自适应地调整自身的行为. 庄磊 孙熙 周立 焦文品关键词:网构软件 可用性 AGENT 支持协商的网构软件体系结构行为建模与验证 被引量:9 2008年 针对网构软件行为中的不确定性和不完整性,提出了一种支持协商的网构软件体系结构行为建模与验证方法.在建模中,该方法借鉴了UML时序图元素表示法,并增加了建模元素支持行为的不确定与不完整建模.在验证中,除了集成广泛应用的模型检查工具Spin以提供行为模型的验证能力以外,还引入了基于反例引导的抽象-精化过程思想的协商检查,以解决不确定和不完整建模所带来的正确性验证问题. 周立 陈湘萍 黄罡 孙艳春 梅宏关键词:网构软件 软件体系结构 一种基于Agent的高可用性网构软件自动构建方法 Internet环境开放、动态的本质,计算实体自身的自主性和独立性以及网络连接的不稳定性等,均对保障软件系统可用性提出了新的要求.提出了一种基于Agent的高可用性软件构造方法.该方法使用Agent建模网络环境中的自主计... 庄磊 孙熙 周立 焦文品关键词:网构软件 软件可用性 网络环境 文献传递