文献

J-GLOBAL ID：201802272986998720   整理番号：18A0393867

組合せと克服:BIPとReoの関係【Powered by NICT】

Combine and conquer: Relating BIP and Reo

著者 (6件)： Dokter Kasper (Centrum Wiskunde & Informatica, Science Park 123, 1098 XG, Amsterdam, Netherlands) ,  Jongmans Sung-Shik (Centrum Wiskunde & Informatica, Science Park 123, 1098 XG, Amsterdam, Netherlands) ,  Jongmans Sung-Shik (Open University of the Netherlands, Valkenburgerweg 177, 6419 AT, Heerlen, Netherlands) ,  Jongmans Sung-Shik (Radboud University Nijmegen, Toernooiveld 212, 6525 EC, Nijmegen, Netherlands) ,  Arbab Farhad (Centrum Wiskunde & Informatica, Science Park 123, 1098 XG, Amsterdam, Netherlands) ,  Bliudze Simon (Ecole Polytechnique Federale de Lausanne, Station 14, 1015, Lausanne, Switzerland)
資料名： Journal of Logical and Algebraic Methods in Programming  (Journal of Logical and Algebraic Methods in Programming)
巻： 86  号： 1  ページ： 134-156  発行年： 2017年 
JST資料番号： W1593A  ISSN： 2352-2208  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 配位言語はコンカレントシステムの設計と開発を簡単にする。特に,BIPとReoのような,外因性配位言語はシステム設計者は,系の成分間の相互作用を明確に表現することを可能にする。外因性協調言語の間の形式的関係は,それらの基本的な概念の固体比較と圧密の基礎から構成されている。本論文では,BI(P)(すなわち,優先層を持たないBIP)とReoの間の形式的関係を確立し,その意味論的モデルの間の変換を定義した。はこれらの変換は,一般的意味論における表現可能なすべての特性を保存することを示した。敏感なBIPアーキテクチャとその組成を定義するためにこれらの変換を用いた。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 計算機アーキテクチャ ,  圧密 ,  システムエンジニア ,  *言語 ,  意味論 ,  相互作用
準シソーラス用語： 協調言語 , 【Automatic Indexing@JST】

著者キーワード (5件)： Coordination ,  形式変換 ,  正当性証明 ,  BIP ,  Reo

分類 (1件)： 蛋白質・ペプチド一般  (EB03010N)

タイトルに関連する用語 (2件)： 組合せ ,  BiP