张鹏
- 作品数：3 被引量：0H指数：0
- 供职机构：吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室更多>>
- 发文基金：中国博士后科学基金吉林省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种服务消息交互行为的元建模方法
- 2017年
- 为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法。基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法。采用推理规则和递归函数刻画消息传递的语义,讨论了服务交互时各种环境的变化情况。实例分析表明,该方法可以规范服务接口模式,有效地对消息的交互情景进行建模,进而保障服务建模的可靠性。
- 周文博刘洪佳刘磊张鹏张鹏
- 关键词：元建模工作流模型形式语义
- 一种服务消息交互行为的元建模方法
- 为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法采用推理规则和递归函数刻画消息传递的语义...
- 周文博张鹏刘磊
- 关键词：工作流模型形式语义
- 文献传递
- Tabular表达式中正规函数表操作的形式语义
- 2019年
- 正规函数表是一类典型的Tabular表达式,被广泛应用于软件说明文档.文中对Tabular表达式中正规函数表操作的语义进行研究.首先给出了正规函数表的形式文法,讨论了规整性、完全性和不可交叉性等性质,说明了其求值过程;然后根据操作的影响范围,以内部操作和外部操作为分类标准,分别对二元操作、替换操作、提取操作和扩展操作的语义进行刻画,讨论了各个操作的封闭性;最后通过电梯控制系统实例分析了相关操作的实际应用场景,说明了正规函数表操作的形式语义的合理性和可用性.实例结果表明,文中提出的正规函数表操作的语义描述与实际结果是一致的.
- 周文博刘磊张鹏张鹏
- 关键词：操作语义软件文档
