侯金奎
- 作品数：84 被引量：166H指数：6
- 供职机构：潍坊学院更多>>
- 发文基金：山东省科技发展计划项目山东省优秀中青年科学家科研奖励基金山东省科技攻关计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信语言文字更多>>
- 基于B方法的Web Service组合描述和验证方法被引量：1
- 2007年
- 对于Web Service及其组合来说,保证其组合的正确性是十分必要的。B方法是一个基于模型的形式化方法,有很强的结构化机制和很好的工具支持,对于建模和软件验证是一种有效的方法。该文基于B方法对Web服务及其组合进行了形式化建模,并能够利用B方法相对成熟和完善的模型检查工具,来完成模型的正确性验证。
- 王帅强万建成侯金奎冯仕红
- 关键词：WEBSERVICEB方法
- 一种大数据平台的数据汇集方法及装置
- 本发明涉及数据统计技术领域，公开了一种大数据平台的数据汇集方法及装置，所述方法包括查询产品的销售渠道，获取各销售渠道中的评论信息，对所述评论信息进行识别，得到内部评价信息；查询产品的推广渠道，获取推广渠道中的反馈信息，对...
- 史智臣王军华侯金奎陈少纯
- 一种基于模型转换的Web应用开发方法
- 随着Web技术的广泛应用和复杂化,设计、开发和维护大型Web应用变得越来越困难.综合Web应用和.NET的特点,提出一种层次化的.NET Web应用模型,并根据MDA方法,实现从平台无关模型到该模型的转换,最终实现代码的...
- 朱晓莉万建成侯金奎
- 关键词：WEB应用代码生成WEB开发
- 文献传递
- 以体系结构为中心的模型转换的语义描述框架(英文)被引量：2
- 2009年
- 在对类型范畴理论进行扩展的基础上,将其与进程代数相结合,为软件体系结构模型及其间的转换关系提供了一种统一的语义描述框架.模型的结构语义由类型范畴图表来指代,其行为语义则由范畴附带的进程行为迹来表示,模型间的映射关系用范畴理论中的态射和函子来形式化描述.该描述框架可用于模型转换中特性保持问题的描述、分析和判定,从而为模型驱动的软件开发提供有力的支持.
- 侯金奎王海洋马军万建成杨潇
- 关键词：模型驱动开发软件体系结构语义描述
- 一种侧开隐藏式计算机键盘清理机构
- 本发明公开了一种侧开隐藏式计算机键盘清理机构，包括机架组件、夹持组件和清扫组件，机架组件包括两个支撑柱、机顶架和机底架，两个支撑柱分别固定连接机顶架的两端，并且其中一个支撑柱固定连接机底架，机顶架上设有夹持组件，机底架上...
- 侯金奎陈春雷周玉涛
- 文献传递
- 协同系统体系结构模型的形式化语义
- 针对模型驱动的协同应用系统开发,基于软件体系结构,利用范畴理论和进程代数形式化描述构件模型以及它们之间的组合和映射关系,使之具有精确的语义。模型的结构语义由类型范畴图表来指代,其行为语义则由范畴附带的进程行为迹来表示,模...
- 侯金奎王海洋万建成
- 关键词：协同工作软件体系结构形式化语义
- 文献传递
- 一种支持模型驱动开发的Web用户界面建模方法被引量：5
- 2006年
- 针对W eb应用的特点,提出了一种基于XML和界面模板技术的界面建模方法。该方法以图形化的方式在模型层展示了W eb用户界面的直观样式,能够对模型驱动的软件开发提供有力的支持。
- 侯金奎张玉艳万建成李晓龙
- 关键词：WEB用户界面XML模型驱动开发
- 一种差分定位方法
- 公开了一种差分定位方法，包括：移动端接收机接收区域内的空间卫星信号；根据公式计算出位置坐标，计算移动端接收机到多颗卫星的距离，再将其代入公式计算新的N，通过多次迭代继续求解移动端接收机的位置。该方法能够有效剔除线性误差和...
- 彭义东施建衡林继斌武宇杨超宁斯佳龙剑侯金奎
- 文献传递
- 面向方面软件体系结构编织的形式化描述方法被引量：1
- 2016年
- 面向方面的规范描述在软件体系结构建模和分析中起着重要的作用,但目前已有的方法不能对体系结构方面及其编织逻辑的详细描述提供足够的支持,也缺乏行之有效的方法对方面的编织逻辑进行推理和评价。以Petri网作为行为描述和结构描述的统一基础,提出了一种描述软件体系结构方面及其编织逻辑的形式化方法,并通过实例对相关的概念和模型进行了说明。应用研究表明,该方法描述能力强,不仅能描述复杂的方面结构、行为以及相应的编织逻辑,还可对编织效果进行推理和评价。
- 侯金奎杨春花
- 关键词：软件体系结构形式化描述PETRI网
- 一种基于模型转换的Web代码自动生成的方法
- 基于模型驱动的软件开发是当前软件工程研究的重点,PIM到PSM的自动转换是MDA的一项关键技术.本文从软件工程的实施出发,提出了一种J2EE平台上基于JSF框架的PAF模型,并详细描述了FMP模型到PAF模型的转换关系,...
- 吴海刚万建成侯金奎
- 关键词：软件开发代码生成软件工程
- 文献传递
