関数スキーマベースを用いたソフトウェア設計自動化
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェア設計の自動化のために形式化された設計工程において, 仕様データベースを利用する技法について述べる. 設計工程への入力は目的とするソフトウェアの入出力データの仕様, 工程からの出力はその人出力データ間の写像を実現する関数の仕様である. このような工程に適合した設計仕様記述言語Fによれば, データおよび関数はともに結合子とよぶ作用素索を用いて形式的に記述されるので, それらの間の対応規則を定式化することができる. しかし構造に限定された少数の規則をもとにデータ仕様から機械的に関数を導く方法には限界がある. そこで一般化した関数仕様である関数スキーマを設計仕様部品として関数スキーマベースに蓄え, これを設計に利用する技法を提案する. 各関数スキーマには検索のための見出しとして対応するデータ変換式が付随している. これはデータ構造の要素の現れ方やデータ間関係も含めてデータ仕様をパターン化したものである. すなわち関数スキーマベースはデータと関数の対応規則をデータベース化したものといえる. 関数スキーマは与えられたデータ壮様とデータ変換式との単一化操作によって検索され, それと同時に特殊化される. この単一化の規則は設計作業における設計者やプログラマの思考法を定式化したものと考えられる. このような処理内容による検索手段は部品化と最利用による設計自動化にきわめて重要である.
- 一般社団法人情報処理学会の論文
- 1985-03-15
著者
関連論文
- パネル討論会 : ソフトウェア工学80年代の課題 : 昭和56年前期第22回全国大会報告
- 専用オンラインシステムにおけるマルチタスクシステム性能解析
- 歴代理事長座談会「日本ソフトウェア科学会の20年とこれから」(20周年記念特集)
- 要求フレームに基づいたソフトウェア要求仕様化技法
- 論理型仕様からのストリーム処理プログラムの導出
- 1. 自動プログラミング 1.1 ソフトウェア工学からみた自動プログラミング (自動プログラミング)
- 要求定義のための要求フレーム
- 直接実行可能な日本語要求仕様
- コンテクストを導入した要求定義の知的支援
- MOMOCLIプロジェクトにおけるプログラミング環境
- クラス再利用支援のためのオブジェクトモデル
- ソフトウェア設計自動化のための仕様記述言語 F
- 関数スキーマベースを用いたソフトウェア設計自動化
- 3次元色彩画像表示処理専用マルチマイクロプロセッサシステム G-PSYCO
- ソフトウェア開発の自動化技術
- マルチマイクロプロセッサシステムを用いたカラーグラフィックスシステム
- 仮想独立バスインタフェース方式による計算機間結合
- TSSの下でのアセンブリ言語および計算機構造の教育援助システム
- 要求仕様の記述と検証(ソフトウェアツール 1 : 段計・記述)
- オブジェクト指向プログラミングのためのクラス検索システム
- パソコン時代の情報処理教育用計算機システム
- 臨界領域法に基づく並行プロセスシステムのソフトウェア設計手法
- 分散仮想オフィスのための通信サービス群の検討
- プロセス統合に用いられるユーザインタフェースの設計
- 実体・関連モデルへの意味的制約の統合とPCTEデータモデルへの展開
- PCTEスキーマから導出されるデータ操作プログラムについて
- ソフトウェアエンジニアリング・データベースKyotoDB の設計と実現
- ソフトウェア仕様書間の関係記述の一手法
- ソフトウェアエンジニアリングデータベースKyotoDBにおけるユーザインタフェースと協調活動支援機能の実現
- ソフトウェアエンジニアリングデータベースKyotoDB核のプロトタイピング
- 「日本ソフトウェア科学会」設立にあたって
- 会長就任にあたって
- 挑戦的なソフトウェア研究
- 研究・開発雑感 : ソフトウェア工学によせて
- 企業と大学の研究について
- パネル討論会 : ソフトウェアの評価 : 創立15周年記念大会
- ソフトウェア工学の考え方と動向
- モザイク的グラフィックスとその GPSS プログラミングへの応用
- 我が国初めてのオンラインシステム
- ソフトウェア工学の背景と展望 (<特集>ソフトウェア工学の現状と動向)
- システム記述評価システム : SDES
- Cプログラムに対するカプセル発見手法とその支援ツールについて
- ソフトウェアプロセスに連係するユーザインタフェースの組み立て
- ソフトウェアプロセスガイトツールのための拡張ワークフロー表現とその実現
- ソフトウェア・プロセスの変化に適応するCASEアーキテクチャに関する代数的考察