講演名 2000/11/10
コンポーネントベース・フレームワーク技術を利用したアプリケーションの形式的仕様記述
吉田 和樹, 本位田 真一,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 本論文では、形式的仕様記述を前提にしたコンポーネントベース・フレームワーク技術を提案し、それを利用してアプリケーションプログラムを作成した場合の、アプリケーション全体に対する形式的仕様記述と、それに基づく機能的な検証について述べる。アプリケーションプログラムの例としては、トランザクション処理を対象にして、その中でも特に、オブジェクトモデルからリレーショナルモデルへのマッピング処理について取り上げ、これを業務トランザクション処理用のコンポーネントセット[1][2]を利用して作成することで、本論文におけるアプローチの有効性を示す。
抄録(英) This paper proposes a component based framework technology based on formal specification and explains the formal specification and verification of the application programs using it.A transaction processing, especially a mapping program from object oriented model to relational model which provides a general framework for making objects persistent in RDBMS, is taken up as an application example for this purpose.
キーワード(和)
キーワード(英)
資料番号 KBSE2000-48
発行日

研究会情報
研究会 KBSE
開催期間 2000/11/10(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Knowledge-Based Software Engineering (KBSE)
本文の言語 JPN
タイトル(和) コンポーネントベース・フレームワーク技術を利用したアプリケーションの形式的仕様記述
サブタイトル(和)
タイトル(英) A formal specification of application programs using component-based framework technology
サブタイトル(和)
キーワード(1)(和/英)
第 1 著者 氏名(和/英) 吉田 和樹 / Kazuki Yoshida
第 1 著者 所属(和/英) (株)東芝 SI技術開発センター
System Integration Technology Center, Toshiba Corporation
第 2 著者 氏名(和/英) 本位田 真一 / Shinichi Honiden
第 2 著者 所属(和/英) 国立情報学研究所
National Institute of Informatics
発表年月日 2000/11/10
資料番号 KBSE2000-48
巻番号(vol) vol.100
号番号(no) 441
ページ範囲 pp.-
ページ数 8
発行日