| 講演名 | 2011-06-17 Event-BモデルのHaskellによる実装(提案型エンタプライズモデリング,一般) 越賀 準, 新川 芳行, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 近年,ソフトウェアの複雑化にともない,従来の手法ではソフトウェアの信頼性や開発生産性の向上に限界が見えてきたため,上流工程で形式手法を用いることが注目されている.本論文では,モデル指向型の仕様記述から,関数型言語の実装への変換について述べる.形式仕様記述言語としてはEvent-Bを用い,関数型言語にはHaskellを使った.モデル指向型言語は手続き型言語への変換は容易であるが,関数型言語では原理的な違いから困難とされている.現在は手続き型言語による実装が開発の主流であり,モデル指向型言語のによる仕様書が適合するが,今後,関数型言語が普及した場合,これらの仕様を再設計する必要があり,このような設計を二重に行うことは,開発生産性の低下を招いてしまう.これを防ぐには,モデル指向型で書かれた仕様を,関数型言語への直接変換を機械的に行えるようにする必要がある. |
| 抄録(英) | Formal methods in early development stages are recognized more effective for quality and productivity of software, in comparison with traditional empirical development methods. This paper discusses the implementation of a model oriented specification using a functional programming language. We used Event-B as a model oriented formal specification language, and Haskell as a functional programming language. Generally, we can easily implement a model oriented specification with procedural languages, however it seems difficult with functional languages due to the fundamental differences between them. Today's software development is mainly implemented with procedural languages, therefore the model oriented specifications seem to be appropriate. However, if functional programming languages are widely used in future, we need to redesign these specifications, which might reduce the productivity. In order to prevent it, automated transformation is required from a model oriented specification to the codes of a functional programming language. |
| キーワード(和) | 形式手法 / 形式仕様記述言語 / 関数型言語 |
| キーワード(英) | Formal methods / Formal specification language / Functional programming language |
| 資料番号 | SWIM2011-7 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SWIM |
|---|---|
| 開催期間 | 2011/6/10(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Interprise Modeling (SWIM) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | Event-BモデルのHaskellによる実装(提案型エンタプライズモデリング,一般) |
| サブタイトル（和） | |
| タイトル（英） | Implementation of the Event-B models using Haskell |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 形式手法 / Formal methods |
| キーワード(2)（和/英） | 形式仕様記述言語 / Formal specification language |
| キーワード(3)（和/英） | 関数型言語 / Functional programming language |
| 第 1 著者 氏名（和/英） | 越賀 準 / Hitoshi KOSHIKA |
| 第 1 著者 所属（和/英） | 龍谷大学大学院理工学研究科 Department of Science and Engineering, Ryukoku University |
| 第 2 著者 氏名（和/英） | 新川 芳行 / Yoshiyuki SHINKAWA |
| 第 2 著者 所属（和/英） | 龍谷大学大学院理工学研究科 Department of Science and Engineering, Ryukoku University |
| 発表年月日 | 2011-06-17 |
| 資料番号 | SWIM2011-7 |
| 巻番号（vol） | vol.111 |
| 号番号（no） | 86 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |