文献

J-GLOBAL ID：201102274617173843   整理番号：11A1907063

B Methodにおける高信頼ソフトウェア部品自動生成

Denepndable Software Component Generation with B Method

著者 (3件)： 中村丈洋 (電通大 大学院電気通信学研究科) ,  織田健 (電通大) ,  西野哲朗 (電通大)
資料名： 情報処理学会論文誌ジャーナル(CD-ROM)  (情報処理学会論文誌 論文誌ジャーナル(CD-ROM))
巻： 52  号： 11  ページ： 2989-3007  発行年： 2011年11月15日 
JST資料番号： Z0778B  ISSN： 1882-7837  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ソフトウェア部品への形式仕様の付加は部品の再利用性向上に有効である。しかし,再利用によりソフトウェアを開発するためには大量の部品を用意する必要があり,それらに形式仕様を与えることは大きなコストを生じる。これに対して既存ソフトウェアから部品を生成する手法があるが,仕様と部品の整合性保証が不十分である。そこで,本稿では仕様との整合性を保証できる高信頼ソフトウェア部品を提案する。また,この高信頼ソフトウェア部品をB Methodで構築されたソフトウェアから自動生成する手法を提案する。提案する高信頼ソフトウェア部品は実装依存モデルと細分化実装で構成され,仕様として細分化モデルを持つ。細分化モデル,実装依存モデル,細分化実装はそれぞれB Methodのモデルと実装に対応した記述であり,B Methodの信頼性の定義に基づいて信頼性が定義される。この部品の信頼性の定義に基づいて部品自動生成手法を構築することで自動生成された細分化モデルが無矛盾であるための条件を明らかにし,また,実装依存モデルと細分化実装が常に整合性を満たすことを保証する。この自動生成により高信頼部品リポジトリを容易に構築することが可能になる。さらに,高信頼部品リポジトリを応用することでB Methodで記述された要求仕様に対してそれを満たす実装を出力する高信頼自動コード生成が期待できる。(著者抄録)

シソーラス用語： *ソフトウェアコンポーネント ,  再利用 ,  *形式的仕様 ,  コンシステンシー【計算機】 ,  形式的手法【計算機】 ,  信頼性 ,  生産 ,  リポジトリ ,  要求仕様 ,  *コード生成 ,  自動化 ,  自動生成 ,  改変
準シソーラス用語： B Method ,  *ソフトウェア部品 ,  自動コード生成 ,  整合性

分類 (3件)： 計算機システム開発  (JD02010R) ,  計算理論  (JB02000A) ,  言語プロセッサ  (JD03040F)

引用文献 (21件)：

• 1) Abrial, J.: The B-Book, Cambridge University Press (1996).
• 2) ARTech: GeneXus, available from <http://www.genexus.com/> (accessed 2010-12).
• 3) Boehm, B.: Software Engineering, IEEE Trans. Comput., Vol.25, No.12, pp.1226-1241 (1976).
• 4) CEA: Papyrus UML, available from <http://www.papyrusuml.org/> (accessed 2010-12).
• 5) CLEARSY: Atelier B, available from <http://www.atelierb.eu> (accessed 2010-07).

タイトルに関連する用語 (2件)： ソフトウェア部品 ,  自動生成