基于主體的智能Web中的服務(wù)研究.pdf

1、該文分析了智能Web中服務(wù)的研究現(xiàn)狀及存在的問題,從智能Web的服務(wù)架構(gòu)、邏輯基礎(chǔ)、主體服務(wù)描述及匹配、主體服務(wù)組合及協(xié)作等方面對智能Web中的服務(wù)進(jìn)行了深入研究.該文的主要工作和創(chuàng)新點(diǎn)包括以下幾個(gè)方面:(1)分析了智能Web中服務(wù)提出的背景,根據(jù)主體和多主體系統(tǒng)理論,特別是主體的心智狀態(tài)模型,提出了一種基于主體的智能Web的服務(wù)總體架構(gòu).分析了用傳統(tǒng)描述邏輯和動作理論作為智能Web中服務(wù)的邏輯基礎(chǔ)的不充分性.根據(jù)智能Web的特點(diǎn),給出

2、了一種動作描述方法,并借鑒傳統(tǒng)描述邏輯的語義解釋方法給出了動作的語義解釋,提出了一種基于描述邏輯的智能Web的服務(wù)理論.(2)根據(jù)描述邏輯理論研究了主體服務(wù)描述和服務(wù)匹配問題,分析了用描述邏輯來研究主體服務(wù)的優(yōu)點(diǎn),提出了基于描述邏輯的主體服務(wù)描述和服務(wù)匹配方法.(3)分析了目前傳統(tǒng)主體服務(wù)描述語言CDL、SDL和LARKS等存在的問題和不足,結(jié)合智能Web中服務(wù)的特點(diǎn),提出了一種帶語義、繼承以及支持協(xié)商機(jī)制的主體服務(wù)描述語言SDLSIN