侯丽珊
- 作品数：6 被引量：25H指数：3
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划中国科学院知识创新工程重要方向项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于环境变迁的构件组合模型被引量：4
- 2005年
- Internet为分布构件的重用提供了平台，准确、高效的构件组合是新型软件生产的重要环节．针对新一代的软件模型．网构软件，本文首先建立了构件的环境本体，并提出将变迁图作为刻画环境本体的模型；其次提出了基于环境及其状态变迁的构件描述框架；然后针对网构软件的特征，提出了基于环境变迁的构件组合算法，最后用具体的案例展示了算法的可行性．
- 侯丽珊金芝
- 关键词：网构软件环境本体环境变迁
- 需求驱动的Web服务建模及其验证:一个基于本体的方法被引量：17
- 2006年
- 从Web服务所交互的环境角度出发,提出了基于环境本体的Web服务能力描述框架,从Web服务操作的环境以及操作导致的环境变化两个方面刻画Web服务的能力,并由此建立了需求驱动的Web服务组合模型.同时提出用π演算的进程表达式表示Web服务的行为语义,并建立了从Web服务概念化的能力表示到形式化的进程表示的自动转换机制,在此基础上给出Web服务组合的可行性验证算法及需求可满足性的验证方法.经过验证的Web服务组合模型可以作为备选执行方案之一反馈给需求提出者.
- 侯丽珊金芝吴步丹
- 关键词：WEB服务环境本体Π演算形式化验证
- 基于环境本体的Web服务自动组合及验证
- Web服务技术将静态的、无结构的Web页面扩展到Internet上具有自主行为、具备执行任务能力的服务，Web服务成为基于Internet进行分布式计算的基本元素，实现了分布式系统间的跨平台、跨语言和松耦合。Web服务的...
- 侯丽珊
- 关键词：WEB服务环境本体语义描述
- 基于环境变迁的构件组合模型
- 构件技术的兴起和Internet作为资源共享平台的普及为软件生产方式的变革提供了技术基础.本文针对新一代的软件模型--网构软件,首先提出用软件所处的环境以及软件行为对其环境的影响来刻画软件的能力,其次针对网构软件的新特征...
- 侯丽珊金芝
- 关键词：网构软件环境变迁
- 文献传递
- 多角色需求评审系统的设计与实现被引量：3
- 2009年
- 需求质量对于软件产品质量有至关重要的影响,而需求评审是保证需求质量的有效手段之一。目前的需求评审存在效率低、问题发现率不高、评审结果难以被有效处理等问题。在对需求特性进行研究,以及对实际项目中人员角色及其关注点进行调研的基础上,开发了多角色的需求评审系统MRRS。MRRS系统为每类角色的评审人员提供有针对性的评审指标体系,依照预设算法对评审结果进行量化处理,以GUI形式展示结果,为项目决策提供支持。应用了MRRS系统后,评审效率提高一倍以上。
- 徐淑娴李娟侯丽珊
- 基于环境变迁的构件组合模型被引量：1
- 2005年
- 构件技术的兴起和Internet作为资源共享平台的普及为软件生产方式的变革提供了技术基础.针对新一代的软件模型--网构软件,首先提出用软件所处的环境以及软件行为对其环境的影响来刻画软件的能力,其次针对网构软件的新特征,提出了基于环境变迁的网构软件的组合算法模型,最后用例子进一步验证了模型的合理性和可行性.
- 侯丽珊金芝
- 关键词：网构软件
