张奎廷

作品数：1被引量：0H指数：0
导出分析报告
供职机构：潍坊学院计算机工程学院更多>>
发文主题：形式化语义架构模型更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《华中科技大学学报（自然科学版）》更多>>
所获基金：山东省科技发展计划项目山东省优秀中青年科学家科研奖励基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于构件的服务模型形式化语义描述
《华中科技大学学报（自然科学版）》2013年第S2期1-5,共5页侯金奎 王磊 张奎廷 
山东省优秀中青年科学家科研奖励基金资助项目(BS2011DX039);山东省科技发展计划资助项目(2011YD01042;2011YD01043)
为解决服务系统描述和构建过程中服务的组合和验证等方面的问题,以范畴理论为基础,引入进程代数,为服务系统的架构模型提出了一种形式化的语义描述方法.整个服务结构模型通过由服务标志和标志态射构成的范畴图表来描述,态射用来表示服...
关键词：服务系统 服务组合 形式化语义 体系架构模型 范畴理论 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部