文献

J-GLOBAL ID：201702254098393399   整理番号：17A0294753

本論文は,余代数に基づくWEBサービスの形式的モデルを提案した。【JST・京大機械翻訳】

Formal Method of Web Service Based on Coalgebraic Monads

著者 (4件)： Xu Bihuan (College of Science,Nanjing University of Posts and Telecommunications) ,  Qian Junyan (Guangxi Key Laboratory of Trusted Software,Guilin University of Electronic Technology) ,  Zhang Yingzhou (College of Computer,Nanjing University of Posts and Telecommunications) ,  Chen Lei (College of Computer,Nanjing University of Posts and Telecommunications)
資料名： Nanjing Hangkong Hangtian Daxue Xuebao  (Nanjing Hangkong Hangtian Daxue Xuebao)
巻： 48  号： 5  ページ： 668-676  発行年： 2016年 
JST資料番号： W0399A  ISSN： 1005-2615  CODEN： NHHXEU  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： サービス計算の形式的研究視野,手段および方法を拡張するために,WEBサービスに対するサービス計算の形式的モデルを構築し,実装した。オープン環境下のサービス実体は主に異なる第三者提供者に由来し、ソフトウェア実体を抽象化し、代数の単単を,、それにより1つのブラックボックス方式でソフトウェアサービスの意味モデルを提供する。本論文では,余の一般的定義を提供し,それに基づいて,ソフトウェアサービスを記述し,次に,代数学的方法と単技術に基づくWEBサービス参照モデルを提案した。最後に,単に基づくWEBサービス計算プラットフォームのプロトタイプシステムを実現し,レガシーシステムからのサービス抽出,出版,発見,および測定をサポートすることができる。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 規範モデル ,  ソフトウェア ,  ブラックボックス ,  *代数学
準シソーラス用語： レガシーシステム , 【Automatic Indexing@JST】

著者キーワード (4件)： service computing ,  Web services ,  monad technique ,  coalgebraic method

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (5件)： 論文 ,  代数 ,  Webサービス ,  モデル ,  提案