组合Web服务的建模与语义描述  

作　　者：王雪红[1] 刘柯威 陈冠萍[1] 胡元闯[1] 

机构地区：[1]贺州学院计算机科学与信息工程学院

出　　处：《当代教育实践与教学研究（电子版）》2016年第8期208-208,共1页Contemporary Education Research and Teaching Practice

基　　金：本文受贺州学院校级科研项目（2014ZC22）,贺州学院校级教改项目（hzxyjg201514、hzxyjg201515）资助.

摘　　要：为了有效地分析实时组合Web服务,在原计算模型的基础上,引入了时钟变量,在迁移上增加了时钟约束,给出了一种具有时间扩展的ASEHA模型,有效降低了实时组合Web服务建模的复杂性.以旅行预订票组合Web服务为例,建立基于时间扩展的ASEHA模型并给出该服务的时间扩展的ASEHA语义描述.

关 键 词：组合WEB服务 ASEHA 时钟约束 

分 类 号：G40[文化科学—教育学原理]