面向服务的时态推理.pdf

面向服务的时态推理木 蒋运承1汤庸2王驹1 (广西师范大学数学与计算机科学学院桂林541004)1 (中山大学计算机科学系广州510275)2 ycjiang@mmlbox．gxnu．edu，cn 摘要： 面向服务的计算是一种新的分布式计算范型，分析了目前面向服务的计算的研究现状和存在 的问题，研究了面向服务的时态推理问题。在目前服务描述的基础上研究了服务描述的时态表示问题，针 对服务的需求和特点，扩展了传统时间区间的时态表示方法。在时态表示的基础上，利用时间区间的包含 关系重点研究了时态推理问题(即时态匹配问题)，提出了一种砸向服务的时态推理算法，该算法弥补了目 前服务匹配算法中存在的不足。 关键词： 面向服务的计算时态表示时态推理时间区间 forServiceOriented TemporalReasoning Computing Jul Yun．chen91Tang Wang Jiang Yon92 ofMathematicsand Normal 541 University,Guilin004， (College ComputerSciences，Guangxi China)1 of Yat-sen 51 Computer University,Guangzhou0275，China)2 (DepartmentSciences，Sun AbstractServiceoriented isakindofnewdistributed currentwork computing computingparadigm．The andthe ofserviceoriented are inthis the for reasoning existingproblem computinganalyzedpaper,andtemporal serviceoriented isstudied．Basedontheservice ofservice computing description，thetemporalrepresentation oriented isstudied atthecharacteristicsand ofservice，traditional computing firstly,andaiming requirement is onthe intervalmethod temporal generalized．Basedtemporalrepresentation，temporalreasoning(or studied interval akindof for matchmaking)ismainly through