| 講演名 | 2000/9/18 LOTOSによるデザインパターンの振る舞いの形式的記述 佐伯 元司, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | Gang-Of-Four(GOF)のデザインパターンに代表されるソフトウェアパターンは, 高品質のソフトウェアを効率的に開発するためには重要である.パターンを組み合わせて, より大きなソフトウェアを開発することもよくあり, その際には組み合わせたパターンが矛盾なく協調動作することを保証することが不可欠である.本論文では, 形式記述言語LOTOSを用いてデザインパターンの振る舞いを記述することを提案する.これにより, 組み合わせたパターンが矛盾なく動作するかをLOTOSシミュレータで実行し, チェックすることができる.本手法をGOFのCommandパターンとCompositeパターンを組み合わせた例に適用した. |
| 抄録(英) | Software patterns such as Gang-Of-Four(GOF)design patterns are one of the promising approaches to develop software of high quality with less efforts. To design larger and complicated software, we often combine design patterns into larger one. In this situation, the techniques to check if the combined patterns are consistently collaborated from behavioral view is one of the crucial issues. In this paper, we proposed the technique to define the behavior of the design patterns based on the formal description technique LOTOS. By executing the behavioral descriptions on a LOTOS simulator, we can check the behavioral consistency of the patterns. We also illustrate how our technique works well by using the combination of GOF Command and Composite patterns. |
| キーワード(和) | デザインパターン / LOTOS / ソフトウェア設計 / 形式手法 |
| キーワード(英) | Design Pattern / LOTOS / Software Design / Formal Method |
| 資料番号 | SS2000-18 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2000/9/18(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | LOTOSによるデザインパターンの振る舞いの形式的記述 |
| サブタイトル（和） | |
| タイトル（英） | Behavioral Specification of Design Patterns with LOTOS |
| サブタイトル（和） | |
| キーワード(1)（和/英） | デザインパターン / Design Pattern |
| キーワード(2)（和/英） | LOTOS / LOTOS |
| キーワード(3)（和/英） | ソフトウェア設計 / Software Design |
| キーワード(4)（和/英） | 形式手法 / Formal Method |
| 第 1 著者 氏名（和/英） | 佐伯 元司 / Motoshi Saeki |
| 第 1 著者 所属（和/英） | 東京工業大学大学院情報理工学研究科計算工学専攻 Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology |
| 発表年月日 | 2000/9/18 |
| 資料番号 | SS2000-18 |
| 巻番号（vol） | vol.100 |
| 号番号（no） | 322 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |