您的位置： 专家智库 > >

张鹏

作品数：1 被引量：0H指数：0
供职机构：吉林大学数学学院更多>>
发文基金：中国博士后科学基金吉林省重大科技攻关项目吉林省青年科研基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇形式语义
  • 1篇元建模
  • 1篇流模型
  • 1篇交互行为
  • 1篇工作流
  • 1篇工作流模型

机构

  • 1篇吉林大学

作者

  • 1篇吕帅
  • 1篇刘磊
  • 1篇周文博
  • 1篇张鹏
  • 1篇张鹏
  • 1篇张鹏

传媒

  • 1篇计算机科学

年份

  • 1篇2017
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种服务消息交互行为的元建模方法
2017年
为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法。基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法。采用推理规则和递归函数刻画消息传递的语义,讨论了服务交互时各种环境的变化情况。实例分析表明,该方法可以规范服务接口模式,有效地对消息的交互情景进行建模,进而保障服务建模的可靠性。
周文博刘洪佳刘磊张鹏张鹏
关键词：元建模工作流模型形式语义
全选 清除 导出
共1页<1>
聚类工具0