文献

J-GLOBAL ID：201802220714608835   整理番号：18A0655585

ソフトウェアモデルの代数的性質のプログラム化検証【JST・京大機械翻訳】

Program Verification of Software Model’s Algebraic Properties

著者 (2件)： Zhao Huiqun (北方工業大学計算机学院 北京100144) ,  Huang Yuhan (北方工業大学計算机学院 北京100144)
資料名： Jisuanji Kexue  (Jisuanji Kexue)
巻： 44  号： 11  ページ： 240-245  発行年： 2017年 
JST資料番号： C2530A  ISSN： 1002-137X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： ソフトウェアモデル代数の考え方は,プロセス代数を導入することによってソフトウェアアーキテクチャをモデル化することである。それは,コンポーネントを変数として解釈し,連続演算子を代数演算に抽象化し,ソフトウェアの特性に従ってソフトウェアアーキテクチャの代数モデルを構築した。代数モデルに基づいて,本論文は,いくつかのソフトウェアの発展を導くことができる代数的性質を解析して,得ることができることを示した。しかし、上述の研究はすべてモデルの代数性質に対して理論的証明を行ったが、実際にプログラムはこれらの代数性質の正確性を証明できると同時に、これらの性質の応用方法を提供せず、操作性を欠如させた。プログラム化検証法を用いて代数特性を検証し、これらの性質の応用アルゴリズムについて研究を行い、ソフトウェアのモデリング理論をさらに豊かにし、ソフトウェア進化を理論研究から実際の応用に転換することも可能となった。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 演算 ,  *ソフトウェア ,  *計算機プログラミング ,  アルゴリズム ,  操縦性 ,  プロセス代数 ,  モデリング ,  *代数学
準シソーラス用語： 正確性 ,  ソフトウェアアーキテクチャ , 【Automatic Indexing@JST】

著者キーワード (4件)： Algebraic model ,  Algebraic property ,  Program verification ,  Software evolution

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： ソフトウェア ,  モデル ,  性質 ,  検証