| 普适服务编排的类型和效果 |
| |
| 引用本文： | 黄晗.普适服务编排的类型和效果[J].泉州师范学院学报,2013,31(2):34-39. |
| |
| 作者姓名： | 黄晗 |
| |
| 作者单位： | 泉州师范学院物理与信息工程学院,福建泉州,362000 |
| |
| 基金项目： | 高等学校博士学科点专项科研基金课题 |
| |
| 摘 要： | 提出一种扩展的lambda演算方法并给出相应类型的系统．基于扩展的lambda演算可建立服务模型，采用形式化方法，将服务内部流程抽象为函数概念，引入效果系统来记录服务的动作属性，推导服务动作操作集以验证服务编排是否满足用户所定义的规范，最后通过Coq实验来验证该方法的可行性．
|
| 关 键 词： | 普适 lambda演算 类型和效果系统 服务编排 抽象 |
Types and Effects of Pervasive Service Choreography |
| |
| HUANG Han.Types and Effects of Pervasive Service Choreography[J].Journal of Quanzhou Normal College,2013,31(2):34-39. |
| |
| Authors: | HUANG Han |
| |
| Institution: | HUANG Han (School of Physics and Information Engineering, Quanzhou Normal University, Fujian 362000,China) |
| |
| Abstract: | This paper presents an extended lambda calculus method and gives out the corresponding the type system.This service model is based on extended lambda calculus.In our paper,we use the formal method,abstract the service internal process as a function, introduce the effect system to record the action property, and derive the operation set of service actions to verify whether the service choreography meets specifications defined by users.Finally, we verify the practicability of the method by Coq. |
| |
| Keywords: | pervasive lambda calculus type and effect systems service choreography abstract |
| 本文献已被 维普 万方数据 等数据库收录！ |
