国家自然科学基金(60473066)
- 作品数：23 被引量：23H指数：3
- 相关作者：应时王铁峰罗巨波熊惠民虞莉娟更多>>
- 相关机构：武汉大学北京信息工程学院中国人民解放军海军工程大学更多>>
- 发文基金：国家自然科学基金湖北省青年杰出人才基金武汉大学科技创新基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 硬件设计搜索引擎的信息描述体设计被引量：2
- 2006年
- 从因特网上获取信息或资源需要使用搜索引擎,可是目前的通用搜索引擎并不能搜索出使用专业工具设计的各种硬件格式的文件,即硬件部件设计。本文研究一种新的针对硬件部件设计的专用搜索引擎,使用该引擎可根据因特网上基于硬件部件设计特性的分类信息,搜索到硬件部件设计文件,从而为硬件开发者缩短开发周期提供较好的支持。本文给出了该搜索引擎的设计方案。
- 林小茶王铁峰应时
- 关键词：VHDL语言
- 一种面向因特网环境的软件组件分类模式
- 2005年
- 针对已有的软件组件分类模式不适应使用要求的问题,面向因特网环境,提出了一种新的软件组件分类模式CSSC.该模式包括体系分类子模式CSSC-S和分面分类子模式CSSC-F,其中CSSC-S为因特网中的组件专用搜索引擎提供信息支持,CSSC-F为检索引擎提供信息支持.论文结果表明CSSC模式能有效地支持重用者在因特网中查询所需的软件组件.
- 沈美娥王铁峰李明新应时
- 关键词：分面分类法搜索引擎检索引擎
- 基于组合连接器的潜在无限动态结构的规范
- 2007年
- 动态软件体系结构的建模与分析是复杂软件系统设计的一个重要问题。基于体系结构描述语言Wright,提出了一种规范潜在无限动态结构的形式化方法。为了便于使用递归机制,引入了组合连接器和动态角色的概念,从而实现了动态体系结构的逐层展开。实例说明,该方法能为动态体系结构的设计提供一种增量式的开发方式,适用于连接器重用的目的。
- 虞莉娟熊惠民应时
- 关键词：动态角色WRIGHT
- 医院自动送药系统研究被引量：2
- 2006年
- 当今现代化大医院要在楼内建设轨道自走送药系统,免去病人排队取药过程。系统由硬件设计、软件设计和轨道机械设计3部分组成。硬件设计最为主要,如何让自走送药车进出路口转向器、怎样设计翻越楼层的楼层道岔功能、收放药车的调度道口控制设计等为主要论述内容。软件负责监控。轨道机械设计在相关期刊发表。
- 林小茶沈美娥王铁峰应时
- 连接器层次组合的形式化方法研究
- 2008年
- 连接器是软件体系结构设计和开发的一级实体。针对已有的体系结构描述语言难以有效提供连接器的重用,从而使得连接器的建模和分析面临较大的困难和挑战的问题,提出了一种连接器层次组合的形式化方法。该方法以体系结构描述语言Wright为基础,将一个连接器层次化定义为一个体系结构配置。实例表明,它能为连接器提供一种增量式的开发方式,从而能适用于体系结构重用的目的。还使用CSP符号给出了层次组合连接器的形式语义。
- 虞莉娟熊惠民
- 关键词：连接器WRIGHT
- 基于过程模型的服务组合方法被引量：1
- 2009年
- 服务发现和组合是面向服务计算的两个关键问题。本文提出了改进的服务发现和组合方法,利用STRIPS图发现可用服务,利用有限状态自动机匹配行为模型,能够根据用户需求和基于过程模型确定服务子集,构造组合服务,并给出合理的操作执行序列。此方法可以减少服务组合中不能给出服务组合方案和给出错误的组合方案两类错误,提高服务组合的成功率。
- 何智勇贲可荣
- 关键词：OWL-S
- 一种发现运行时软件体系结构的方法
- 2009年
- 运行时软件体系结构能够准确描述目标系统的真实状态和行为,对指导软件的维护和演化起着重要的作用。本文提出了一种发现运行时体系结构的方法,利用系统实现与体系结构风格之间的对应关系,定义了一种基于规则的转换映射;将收集到的底层系统事件解释成体系结构层面的操作,从而可获取运行时体系结构视图;通过一个即时通信系统实例说明了该方法的可行性。
- 张海梅贲可荣
- 基于Object-Z的ReflectiveArchitecture形式化研究被引量：1
- 2010年
- 将元信息、元建模、反射和软件体系结构结合起来,提出了一种基于反射机制的软件体系结构重用方法,该方法是一种更通用、更便捷的重用方法;该方法定义并构造了一种在设计阶段支持软件体系结构重用的反射机制RMR-SA。描绘了基于反射机制RMRSA的反射式软件体系结构Reflective Architecture的元级体系结构模型。运用形式规格说明语言Object-Z对元级体系结构模型进行了完整的描述;选取链接模式Link,给出了它的初始化定理及其证明过程,以此为范例证明了被形式化的反射式软件体系结构的正确性。
- 罗巨波应时
- 关键词：形式化
- 一种基于UDDI构建软组件库的方法被引量：2
- 2006年
- 为了满足软组件重用者在互联网环境下共享软组件资源的需要,提出了一种基于UDD I注册机制使用W eb服务技术构建软组件库的方法。利用UDD I 2.0支持外部分类法的特性,将改进后的刻面分类法以tModel的形式注册到UDD I注册中心,并给出与该分类法相对应的分类验证服务的简单描述。此外,扩充了UDD I的查询功能,将实现查询匹配的服务集成到UDD I中,提供对多种服务描述语言的支持。
- 曹虹华应时杜德慧马于涛
- 关键词：UDDIWEB服务
- 一种支持设计时软件重用的方法ArchBean
- 2010年
- 目前,在设计阶段重用软件体系结构所面临的主要问题是:虽然存在大量的具有重用价值的体系结构制品,但是这些制品却难以得到成功的重用.提出了一种支持软件体系结构设计时重用的ArchBean方法,该方法基于反射机制将支持重用的元信息和体系结构制品本身封装成自包含、自描述的大粒度可重用资源.给出了支持这种方法的反射机制RMRSA和反射式软件体系结构.基于Object-Z形式化描述了PMB协议.详细给出了基于ArchBean方法的支撑工具ArchBean Studio的设计和实施过程.
- 罗巨波应时
- 关键词：STUDIO
