山东省优秀中青年科学家科研奖励基金(BS2011DX039)
- 作品数：7 被引量：5H指数：2
- 相关作者：侯金奎王磊王成端杨春花张奎廷更多>>
- 相关机构：潍坊学院齐鲁工业大学潍坊市人民医院更多>>
- 发文基金：山东省科技发展计划项目山东省优秀中青年科学家科研奖励基金山东省高等学校优秀中青年骨干教师国际合作培养计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于构件的服务模型形式化语义描述
- 2013年
- 为解决服务系统描述和构建过程中服务的组合和验证等方面的问题,以范畴理论为基础,引入进程代数,为服务系统的架构模型提出了一种形式化的语义描述方法.整个服务结构模型通过由服务标志和标志态射构成的范畴图表来描述,态射用来表示服务规范之间的关系,余极限用来描述服务的层次组合.以此为基础,进一步从服务端口、结构和行为等方面对服务的组合、分解以及精化过程所中应保持的语义特性进行了分析.实例研究表明:该框架不仅能在抽象层次上支持服务系统的建模和分析,而且还可通过映射抽象模型到实现技术来支持服务组合,可以很好地分析需求分解和服务组合的正确性,可用于指导服务系统的描述和构建.
- 侯金奎王磊张奎廷
- 关键词：形式化语义
- 面向方面软件体系结构编织的形式化描述方法被引量：1
- 2016年
- 面向方面的规范描述在软件体系结构建模和分析中起着重要的作用,但目前已有的方法不能对体系结构方面及其编织逻辑的详细描述提供足够的支持,也缺乏行之有效的方法对方面的编织逻辑进行推理和评价。以Petri网作为行为描述和结构描述的统一基础,提出了一种描述软件体系结构方面及其编织逻辑的形式化方法,并通过实例对相关的概念和模型进行了说明。应用研究表明,该方法描述能力强,不仅能描述复杂的方面结构、行为以及相应的编织逻辑,还可对编织效果进行推理和评价。
- 侯金奎杨春花
- 关键词：软件体系结构形式化描述PETRI网
- 支持Web服务组合与验证的形式化模型被引量：2
- 2015年
- 针对Web服务的组合与验证问题,在范畴理论描述框架的基础上,引入进程代数描述服务组件的外部行为,为Web服务系统的架构描述建立了一种形式化的语义模型。Web服务作为范畴理论中的对象节点,服务间的交互和组合关系作为态射,从而以范畴图表的形式来描述服务网络。在形式化定义服务接口、Web服务、服务组合等概念的基础上,进一步分析讨论了服务组合和交互过程中的语义特性,给出了Web服务可替代性和服务请求可满足性的形式化定义。实例研究表明,该框架增强了Web服务架构的语义描述能力。
- 侯金奎王磊
- 关键词：WEB服务进程代数
- 基于移动服务计算的传感网络拓扑控制
- 2016年
- 针对无线传感网络中拓扑控制方面存在的问题,提出了一种基于移动服务计算的传感网络模型。通过对路由空洞、孤立节点和睡眠调度三个主要问题的分析,建立了相应的拓扑控制方法。仿真研究表明该方法能有效的减少节点能耗,网络的通信负载得以显著减轻,从而延长了无线传感器网络的生命期。
- 侯金奎田纪文
- 关键词：无线传感网络拓扑控制
- 面向移动云服务系统的形式化语义描述方法
- 2016年
- 针对移动云服务系统构建过程中架构设计和语义描述等方面存在的问题,以类型范畴理论为基础,为基于agent的移动云服务系统建立了一种形式化语义描述模型。该方法中,将agent描述为范畴理论中的对象节点,agent之间的交互和依赖关系作为态射,将整个云服务系统描述为一个类型范畴图表。在此基础上,对agent交互与协作、架构设计与精化、agent迁移、agent可替代性以及应用请求的可满足性等进行了分析和讨论。该形式化模型增强了系统架构的语义描述能力,有助于对移动云服务系统的规约进行分析和验证。
- 侯金奎张玉艳
- 关键词：AGENT形式化描述语义验证
- 支持模型驱动开发的软构件形式化描述方法被引量：2
- 2015年
- 针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探讨,从图表结构、端口与配置约束、外部行为以及可替换性等四个方面对特性约束保持的问题进行了描述,并建立了相应的判定标准。该方法能为模型之间转换规则的定义提供指导,并为模型转换的效果分析和正确性验证提供依据。应用研究表明,该方法使得构件模型的语义描述能力显著增强,可作为已有软件建模方法的一个有效补充。
- 侯金奎王成端
- 关键词：语义验证
- 基于Agent的分布式模型形式化语义描述
- 2013年
- 为解决分布式系统构建过程中系统组合和语义验证等方面的问题,基于范畴理论和进程代数,为基于Agent的分布式系统模型提出了一种形式化的语义描述框架。范畴图表用于描述整个系统的结构模型,态射用来表示系统各组成部分之间的交互和协作机制。在此基础上,对Agent规范的描述、组合、精化以及迁移过程中的语义保持问题进行了探讨。应用研究表明,该框架适用于分布式系统模型的描述和构建,有助于分析系统分解和组合的正确性。
- 侯金奎王磊
- 关键词：分布式系统系统组合形式化语义AGENT
