文献

J-GLOBAL ID：201802250042302600   整理番号：18A1272530

関数式言語を用いたBPELモデルの形式的検証方法【JST・京大機械翻訳】

Formal Method for Verifying BPEL Model Used by Functional Programming Language

著者 (3件)： Zhu Yi (南京航空航天大学計算机科学与技術学院,南京210016;江蘇師范大学計算机科学与技術学院,江蘇徐州221116) ,  Huang Zhiqiu (南京航空航天大学計算机科学与技術学院,南京,210016) ,  Zhou Hang (南京航空航天大学計算机科学与技術学院,南京,210016)
資料名： Jisuanji Kexue Yutansuo  (Jisuanji Kexue Yutansuo)
巻： 12  号： 2  ページ： 185-196  発行年： 2018年 
JST資料番号： C2939A  ISSN： 1673-9418  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 通信順序プロセス(communicatingsequentialprocess,CSP)は古典的な形式的方法である。現在,Webサービス構成におけるBPEL(businessprocessexecutionlanguage)モデルは実行可能な形式的プログラミング言語を欠いている。最初に,CSPMに基づくBPELモデルのモデリングと検証のフレームワークを提示した。次に,CSPMのプロセス代数定義を与えた。BPEL言語からCSPとCSPMへのマッピング法を詳細に記述した。実験結果は,この方法がBPELモデルの信頼性を改善できることを示した。Data from Wanfang. Translated by JST.【JST・京大機械翻訳】

シソーラス用語： プログラミング言語 ,  写像 ,  モデリング ,  プロセス代数 ,  *言語 ,  Webサービス ,  通信 ,  信頼性
準シソーラス用語： 形式的検証 ,  *BPEL , 【Automatic Indexing@JST】

著者キーワード (5件)： functional programming language ,  communicating sequential process (CSP) ,  business process execution language (BPEL) ,  formal verification ,  model checking

分類 (2件)： 応用プログラミング言語  (JD03052Y) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 関数 ,  BPEL ,  モデル ,  形式的検証