本文關(guān)鍵詞： Web服務(wù)本體語言 時序描述邏輯 服務(wù)組合 形式化 過程模型 建模　出處：《計算機應(yīng)用》2013年01期 　論文類型：期刊論文

【摘要】：針對Web服務(wù)本體語言(OWL-S)過程模型存在動態(tài)交互和時序特征表達(dá)能力不足的問題,提出一種基于時序描述邏輯的過程模型形式化方法。通過對OWL-S過程模型的原子過程和組合過程語義進(jìn)行形式化的描述,得到了OWL-S的過程模型的動態(tài)語義,最終實現(xiàn)了對OWL-S過程模型的形式化建模。實例結(jié)果驗證了所提方法的可行性,為進(jìn)一步的分析和驗證提供了基礎(chǔ)。
[Abstract]:In order to solve the problem of dynamic interaction and insufficient temporal feature expression in the process model of Web Services Ontology language (OWL-S). A formal method of process model based on temporal description logic is proposed. By formalizing the atomic process and combinatorial process semantics of OWL-S process model, the dynamic semantics of OWL-S process model are obtained. Finally, the formal modeling of OWL-S process model is realized, and the result of the example verifies the feasibility of the proposed method, which provides a basis for further analysis and verification.
【作者單位】： 蘭州理工大學(xué)計算機與通信學(xué)院;
【基金】：甘肅省自然科學(xué)基金資助項目(1014RJZA028,1112RJZA029) 甘肅省高等學(xué)�；究蒲许椖�(1114ZTC144)
【分類號】：TP391.1;TP393.09

【共引文獻(xiàn)】

相關(guān)博士學(xué)位論文 前1條

1 歐靈;基于文本分類的本體匹配及其應(yīng)用研究[D];重慶大學(xué);2007年

相關(guān)碩士學(xué)位論文 前5條

1 李紅英;基于語義的數(shù)據(jù)共享技術(shù)研究[D];西北工業(yè)大學(xué);2007年

2 周鑫;基于語義Web技術(shù)的自動排課系統(tǒng)研究[D];西北大學(xué);2007年

3 王洪;汽車制造業(yè)PLM系統(tǒng)信息集成研究[D];中南大學(xué);2006年

4 汪智勇;本體查詢與推理研究及其實現(xiàn)[D];中南大學(xué);2007年

5 鄔翠蘭;語義WEB服務(wù)發(fā)現(xiàn)技術(shù)及應(yīng)用研究[D];浙江師范大學(xué);2007年

【二級參考文獻(xiàn)】

相關(guān)期刊論文 前4條

1 史忠植,董明楷,蔣運承,張�？�;語義Web的邏輯基礎(chǔ)[J];中國科學(xué)E輯;2004年10期

2 尹劍飛;王學(xué)斌;;模型轉(zhuǎn)換的重寫邏輯構(gòu)架研究[J];計算機工程與應(yīng)用;2006年02期

3 蔣運承;史忠植;;OWL-S的形式語義[J];計算機科學(xué);2005年07期

4 李曼,王大治,杜小勇,王珊;基于領(lǐng)域本體的Web服務(wù)動態(tài)組合[J];計算機學(xué)報;2005年04期

【相似文獻(xiàn)】

相關(guān)碩士學(xué)位論文 前1條

1 凌志輝;用戶行為描述及跟蹤機制的研究與實現(xiàn)[D];東南大學(xué);2005年

，

本文編號：1533417