講演抄録/キーワード |
講演名 |
2005-12-20 14:00
形式仕様記述における階層アーキテクチャ ○張 暁晶・大森洋一・荒木啓二郎(九大) |
抄録 |
(和) |
ソフトウェア・プロダクトラインという手法を用いると,ファミリー製品の共通部を抽出するため,ある製品の仕様が少ない変更で同じファミリー中の別の製品に適用できる.しかし,製品になった時点では共通部も可変部も複雑に絡み合ってしまうため,製品からコア資産へのフィードバックにおいて,依然再利用性の高い分割か否かの分析がかかせない.また,形式的な仕様記述は,厳密に意味論を定義できるため,ファミリー製品における共通部と可変部を仕様中から見分けるのに適している.そこで我々はハードウェア依存性に基づいて論理層と物理層に分割された形式仕様記述を提案し,この階層化アーキテクチャを用いてフィードバック過程の効率向上を図る. |
(英) |
Software productline extracts similarities of a series of products, thus a specification of a product can be applied to another product in a family with slight modification. But, the process of feedback from a product to the core asset still requires an analysis about reusability after whole of the design was complicatedly combined. Formal descriptions of specifications can define strict semantics, so that they clarify the commonalities and variabilities among a product family. We propose a layered architecture to improve efficiency of this feedback process by separating descriptions into the logical level and the physical level which were distinguished by hardware dependency. |
キーワード |
(和) |
形式手法 / 形式仕様 / ソフトウェア・プロダクトライン / / / / / |
(英) |
Formal Method / Formal Specification / Software Product-line / / / / / |
文献情報 |
信学技報, vol. 105, no. 491, SS2005-70, pp. 43-48, 2005年12月. |
資料番号 |
SS2005-70 |
発行日 |
2005-12-13 (SS) |
ISSN |
Print edition: ISSN 0913-5685 |
PDFダウンロード |
|