基于形式语义的Web服务交互模型.pdfVIP

( ) 第 24 卷 　第 4 期 吉 林 大 学 学 报 信 息 科 学 版 Vol. 24　No. 4 2006年 7 月 Journal of J ilin U n iversity ( Inform ation Science Edition) Ju ly 2006 文章编号 :(2006) 0404 1706 基于形式语义的 W eb服务交互模型 1, 2 1 2 3 朱俊武 , 王建东 , 姜 　艺 , 孙 　川 ( 1南京航空航天大学 信息科学与技术学院 , 南京 2 10016; 2扬州大学 信息工程学院 , 江苏 扬州 225009; 3南开大学 信息技术科学学院 , 天津 300071) 摘要 : 现有的 W eb服务缺少明显的语义 , W eb 服务之间不能很好地理解其相互传递的消息 , 因而不能实行 W eb服务的发现 、调用和组合 自动化 。为此 , 提出一种基于形式语义的 W eb 服务交互模型 。该方法通过定义 W eb服务接 口描述的词汇集以及词汇集之间映射规则 , 实现了开放和分布式环境下的 W eb 服务的语义交互 。 与已有的方法相比 , 该方法考虑了分布式本体的解释及可满足性问题 , 可 自动根据 W eb 服务接 口的描述因子 进行分布式本体推理 , 解决了开放和分布式环境下 W eb服务的语义交互问题 。 关键词 : W eb服务 ; 语义 ; 本体 ; 交互 中图分类号 : TP3 11 文献标识码 : A On Interactive Model of W eb Service s B a se on Form al Sem antic s 1, 2 1 2 3 ZHU Junwu , WAN G J iandong , J IAN G Yi , SUN Chuan ( 1School of Inform ation Science and Technology, N anj ing Un iversity of A eronau tic s A stronau tic s, N anj ing 2 100 16 , Ch ina; 2 School of Inform ation Engineering, Yangzhou Un iversity, Yangzhou 225009, Ch ina; 3College of Inform ation Techn ical Science, N ankai U n iversity, T