文献

J-GLOBAL ID：201302202606642616   整理番号：13A1469460

プロセス代数ベースの正規のサービス表現方法

Process algebra-based formal service description method

著者 (3件)： Bai Yu (National Lab. of Information Sci. and Technol., Dep. of Computer Sci. and Technol., Tsinghua Univ., Beijing) ,  Zhang Yaoxue (National Lab. of Information Sci. and Technol., Dep. of Computer Sci. and Technol., Tsinghua Univ., Beijing) ,  Zhou Yuezhi (National Lab. of Information Sci. and Technol., Dep. of Computer Sci. and Technol., Tsinghua Univ., Beijing)
資料名： Qinghua Dexue Xuebao(Zirankexueban)  (Qinghua Dexue Xuebao(Zirankexueban))
巻： 52  号： 12  ページ： 1769-1775  発行年： 2012年 
JST資料番号： C5019A  ISSN： 1000-0054  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： サービス表現はサービスの選択とサービス構成の基礎であり,このように,サービスサイエンスにおける重要な研究主題であった。既存の方法は種々の難点(例えばいくつかの機能的に同等のサービスの間のサービスの選択における難しさとサービス表現曖昧さ)を有した。本論文はWebサービス記述言語(WSDL)に非機能的特性を添加して,サービス関連操作を定義するために工程代数を用いるプロセス代数ベースのサービス表現方法を提案した。この方法は個人的検索結果を提供して,サービス構成方法を説明するためにサポートした。本論文はこの方法の正当性と有効性を証明するために用例を示した。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： *プロセス代数 ,  技術革新 ,  Webサービス ,  システム記述言語 ,  仕様記述言語
準シソーラス用語： サービス・サイエンス ,  WSDL ,  記述言語

分類 (1件)： 数値計算  (JE02000J)

タイトルに関連する用語 (3件)： プロセス代数 ,  サービス ,  表現