講演抄録/キーワード |
講演名 |
2005-09-12 10:30
いくつかのビューの融合によるシステム合成に関する考察 ○金子誉万・間野暢興(明星大) |
抄録 |
(和) |
筆者らは、ソフトウェア開発の上流工程において、状態表現を中心とした仕様記述による知識ベース内モデルを用いたシステム設計方式を研究中である。本研究では、幾つかのビューに起因するモデルを整合のとれたシステム融合体にまとめる方式について述べる。システムを幾つかのインタラクションフェイズのグラフに分解し、各インタラクションフェイズの仕様を満たすコンポーネントアクション列を問題解決により見いだす。例題としてATMシステムを用いて、アーキテクチャ・パターンの利用などを説明する。 |
(英) |
We have been researching system design method using knowledge-based models in state-based specification. In this paper, we describe the synthesis method of system models by merging various views. First we decompose systems into some interaction-phases, and then find the action-sequences of each component which satisfy the specification of each interaction-phases. We use the ATM system as an example, and explain how to use some architecture-patterns during the problem-solving. |
キーワード |
(和) |
システム設計 / ビューの融合 / 問題解決 / アーキテクチャ・パターン / / / / |
(英) |
system design / merging of views / problem-solving / architecture pattern / / / / |
文献情報 |
信学技報, vol. 105, no. 270, KBSE2005-16, pp. 1-6, 2005年9月. |
資料番号 |
KBSE2005-16 |
発行日 |
2005-09-05 (KBSE) |
ISSN |
Print edition: ISSN 0913-5685 |
PDFダウンロード |
|