文献

J-GLOBAL ID：202202219180971047   整理番号：22A0009324

Maudeにおける戦略を用いた膜システムのシミュレーションとモデル検査【JST・京大機械翻訳】

Simulating and model checking membrane systems using strategies in Maude

著者 (5件)： Rubio Ruben (Facultad de Informatica, Universidad Complutense de Madrid, Spain) ,  Marti-Oliet Narciso (Facultad de Informatica, Universidad Complutense de Madrid, Spain) ,  Marti-Oliet Narciso (Instituto de Tecnologia del Conocimiento, Universidad Complutense de Madrid, Spain) ,  Pita Isabel (Facultad de Informatica, Universidad Complutense de Madrid, Spain) ,  Verdejo Alberto (Facultad de Informatica, Universidad Complutense de Madrid, Spain)
資料名： Journal of Logical and Algebraic Methods in Programming  (Journal of Logical and Algebraic Methods in Programming)
巻： 124  ページ： Null  発行年： 2022年 
JST資料番号： W1593A  ISSN： 2352-2208  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 膜系は生物細胞の構造に基づく生物学的に触発された計算モデルであり,その方法はそれらの膜を相互作用し,横断する。それらの動力学は規則によって記述されるが,再書き込み論理への膜システムの符号化は,その複雑な制御機構のために直接的ではない。多重代替案を文献において提案して,Maude仕様言語において実行した。Maude戦略言語とその関連戦略意識モデルチェッカーの最近のリリースは,これらのシステムをより容易に特定することを可能にし,それにより,それらが実行可能で,フリーに検証可能になった。容易に拡張可能なインタラクティブ環境は,適切な戦略によって制御された書き換え理論に膜仕様を変換し,それらの手段によって膜計算をシミュレートおよび検証することを可能にする。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 相互作用 ,  言語 ,  多重化 ,  計算モデル ,  *モデル検査 ,  仕様記述言語
準シソーラス用語： *Maude , 【Automatic Indexing@JST】

著者キーワード (4件)： 書換え戦略 ,  膜計算 ,  Maude ,  モデル検査

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

タイトルに関連する用語 (4件)： Maude ,  戦略 ,  シミュレーション ,  モデル検査