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

【摘要】：針對(duì)Web服務(wù)本體語(yǔ)言(OWL-S)過(guò)程模型存在動(dòng)態(tài)交互和時(shí)序特征表達(dá)能力不足的問(wèn)題,提出一種基于時(shí)序描述邏輯的過(guò)程模型形式化方法。通過(guò)對(duì)OWL-S過(guò)程模型的原子過(guò)程和組合過(guò)程語(yǔ)義進(jìn)行形式化的描述,得到了OWL-S的過(guò)程模型的動(dòng)態(tài)語(yǔ)義,最終實(shí)現(xiàn)了對(duì)OWL-S過(guò)程模型的形式化建模。實(shí)例結(jié)果驗(yàn)證了所提方法的可行性,為進(jìn)一步的分析和驗(yà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é)計(jì)算機(jī)與通信學(xué)院;
【基金】：甘肅省自然科學(xué)基金資助項(xiàng)目(1014RJZA028,1112RJZA029) 甘肅省高等學(xué)校基本科研項(xiàng)目(1114ZTC144)
【分類號(hào)】：TP391.1;TP393.09

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

，

本文編號(hào)：1533417