| 講演名 | 2000/11/9 並行動作するオブジェクトからの処理列の抽出法 岡崎 光隆, 青木 利晃, 片山 卓也, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | オブジェクト指向組み込みシステムの開発法に, 処理列に注目した設計モデルを構成する手法がある.しかし, オブジェクト中心のモデルから, 処理列を抽出し, 設計モデルに対応付ける具体的な手法は提案されていない.このため, 設計工程のモデルの作成は開発者の技量に依存する部分が大きく, 効率性を欠いている.本研究の目的は, この処理列を抽出する手法および設計モデル獲得の手法を提案し, 開発法の効率と堅実性の向上を図ることである.本稿では分析モデルを定式化し, 処理列とその並行性を抽出するための形式的な手法を提案した. |
| 抄録(英) | There are Object-Oriented development methods for realtime systems including a design model which focuses on operation sequences.But there is no systematic way to find operation sequences from an object-based model.Generating design models depends on skill of developers.Our objective is to explain the way to find the operation sequences and to generate the design model with formal approach.This approach can be used to increase efficency of the development.In this paper, we formalize a concurrent object model and explain the formal way of finding operation sequences and concurrency of that sequences. |
| キーワード(和) | |
| キーワード(英) | |
| 資料番号 | KBSE2000-42 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2000/11/9(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 並行動作するオブジェクトからの処理列の抽出法 |
| サブタイトル（和） | |
| タイトル（英） | Finding operation sequences from behavior of concurrent objects |
| サブタイトル（和） | |
| キーワード(1)（和/英） | |
| 第 1 著者 氏名（和/英） | 岡崎 光隆 / Mitsutaka Okazaki |
| 第 1 著者 所属（和/英） | 北陸先端科学技術大学院大学 情報科学研究科 School of Information science, Japan advanced institute of technology |
| 第 2 著者 氏名（和/英） | 青木 利晃 / Toshiaki Aoki |
| 第 2 著者 所属（和/英） | 北陸先端科学技術大学院大学 情報科学研究科 School of Information science, Japan advanced institute of technology |
| 第 3 著者 氏名（和/英） | 片山 卓也 / Takuya Katayama |
| 第 3 著者 所属（和/英） | 北陸先端科学技術大学院大学 情報科学研究科 School of Information science, Japan advanced institute of technology |
| 発表年月日 | 2000/11/9 |
| 資料番号 | KBSE2000-42 |
| 巻番号（vol） | vol.100 |
| 号番号（no） | 440 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |