非同期成分のための行動意味論【Powered by NICT】

Ameur-Boulifa R.; Henrio L.; Kulankhina O.; Madelaine E.; Savu A.

文献

J-GLOBAL ID：201802273301330261 整理番号：18A0393894

非同期成分のための行動意味論【Powered by NICT】

Behavioural semantics for asynchronous components

出版者サイト複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=18A0393894&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=18A0393894&from=J-GLOBAL&jstjournalNo=W1593A") }}

著者 (5件)： , , , ,
資料名：
巻： 89 ページ： 1-40 発行年： 2017年
JST資料番号： W1593A ISSN： 2352-2208 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：オランダ (NLD) 言語：英語 (EN)

ソフトウェア成分は複雑な応用の組成設計を可能にする価値あるプログラミング抽象化した。分散システムでは,成分も位置の抽象化を提供するために使用できる:各成分は異なる機械に置くことができる展開の単位である。本稿では,著者らはさらに疎結合と非同期起動により通信するこの種分散コンポーネントを考察した。成分もシステムの正しい挙動を検証するための便利な抽象化を提供する:それらは正当性検証を緩和する構造を提供する。本論文では,非同期成分のための行動意味論の生成のための形式的背景を提供した。要求,将来,と回答による非同期通信階層的分散コンポーネントの意味論を発現するこの意味論はpNet中間言語を用いて提供した。は両pNetモデルの表現力を示し,形式的に分散コンポーネントシステムのための行動モデルの生成の完全なプロセスを特定した。行動意味論の目的は有限インスタンシエーションとモデル検査の両方によって,無限系技術による検証を可能にすることである。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

, , ,
, , , , , 【Automatic Indexing@JST】

著者キーワード (4件)： , , ,

計算理論 , 計算機システム開発

, ,

前のページに戻る