| 講演名 | 1997/9/12 制約プログラミングによるオフィス処理の実現 金田 重郎, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | オフィス応用システム構築では、手続き型記述言語が利用される事が多い。しかし、手続き型言語では、ワークフロー下流で起こるデータ修正等の例外的処理ケースへの対応は容易ではない。この問題に対処するため、正しく処理が行われたデータ状態を独自の制約プログラム言語により記述し、制約充足エンジンにより、データの整合性を管理する手法を検討している。本手法は、(1)例外的処理ケースに対しても、特別なフロー無しに対処可能、(2)処理結果について、業務知識との整合性を保証、(3)業務規定とプログラム記述の間のセマンティックスギャップが小さく, プログラム作成・検証が容易、等の特長を有する。 |
| 抄録(英) | This paper summarizes a method to realize office applications which manages exceptional updates by using constraint programming. In this method, regulations in office application are described as constraints which defines legal data generated by that system user. The data processing is realized by a mechanism in which a constraint satisfaction engine keeps data consistent with given constraints. Our method provides the following advantages, (1) no programming to manage exceptional updates, (2) guarantee of consistency among data in office application, (3) easy maintenance of office application systems through small semantic gap between regulations and constraints. |
| キーワード(和) | 制約プログラミング / オフィスシステム / ワークフロー / 制約充足 / 整合性管理 / 業務規則 |
| キーワード(英) | Constraint Programming / Office-automation / Workflow / Constraint Satisfaction |
| 資料番号 | KBSE97-16 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1997/9/12(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 制約プログラミングによるオフィス処理の実現 |
| サブタイトル（和） | |
| タイトル（英） | Constraint Satisfaction Approach for Office Applications |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 制約プログラミング / Constraint Programming |
| キーワード(2)（和/英） | オフィスシステム / Office-automation |
| キーワード(3)（和/英） | ワークフロー / Workflow |
| キーワード(4)（和/英） | 制約充足 / Constraint Satisfaction |
| キーワード(5)（和/英） | 整合性管理 |
| キーワード(6)（和/英） | 業務規則 |
| 第 1 著者 氏名（和/英） | 金田 重郎 / Shigeo KANEDA |
| 第 1 著者 所属（和/英） | 同志社大学大学院総合政策科学研究科・同志社大学工学部 Graduate School of Policy and Management, Doshisha University |
| 発表年月日 | 1997/9/12 |
| 資料番号 | KBSE97-16 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 253 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |