| 講演名 | 1994/11/22 通信システムサービス仕様における正当性検出と解消方式 上田 佳寛, 田倉 昭, 太田 理, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 高度情報化の急速な発展に伴い,通信サービスへの要求も,より高機能で,より便利なものが求められるようになってきた.多様なサービスを早急に開発するためには,利用者の要求を迅速にかつ正確に獲得する手法が必要になる.ところが,ユーザーの考えるサービスとは,ユーザの操作と,ユーザ自身が認識できる状態とで構成されるものであるのに対し,システムとして実現可能なサービスには,スキルのないユーザには認識できない状態が存在する.本稿では,ユーザ要求と,システムとして実現可能な通信システムサービスの間のギャップを解消する方式について報告する. |
| 抄録(英) | It has come to be also asked for a convenient thing than by an amount function accompanied with the development whose high information is rapid than a demand to communication service.This, development of communication service have been realized by seeds of the designer who had expert knowledge with regard to a In order but hastily to develop various service,the technique which acquires a demand of user rapidly accurately is necessary.However, while the service that user thinks is formed fo the state which operation of user and user oneself can understand,the state which can not be understood exists to the user that there is not skill in realization possible service as system. In this paper,the formula which solves a gap in realization possible communication system service as user demand and system is reported. |
| キーワード(和) | 通信システム / プロダクションシステム / 状態遷移 / ペトリネット / デッドロック |
| キーワード(英) | Communication System / Production System / State Transition Tree / Petri Nets / Deadlock |
| 資料番号 | KBSE94-44 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1994/11/22(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 通信システムサービス仕様における正当性検出と解消方式 |
| サブタイトル（和） | |
| タイトル（英） | A Verification of justhication on Communication System Service Specifications. |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 通信システム / Communication System |
| キーワード(2)（和/英） | プロダクションシステム / Production System |
| キーワード(3)（和/英） | 状態遷移 / State Transition Tree |
| キーワード(4)（和/英） | ペトリネット / Petri Nets |
| キーワード(5)（和/英） | デッドロック / Deadlock |
| 第 1 著者 氏名（和/英） | 上田 佳寛 / Yoshihiro Ueda |
| 第 1 著者 所属（和/英） | ATR ATR |
| 第 2 著者 氏名（和/英） | 田倉 昭 / Akira Takura |
| 第 2 著者 所属（和/英） | ATR ATR |
| 第 3 著者 氏名（和/英） | 太田 理 / Tadashi Ohta |
| 第 3 著者 所属（和/英） | ATR ATR |
| 発表年月日 | 1994/11/22 |
| 資料番号 | KBSE94-44 |
| 巻番号（vol） | vol.94 |
| 号番号（no） | 358 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |