WEKO3
アイテム
文書間の不整合解消に基づくソフトウェアプロセスのモデル化
https://ipsj.ixsq.nii.ac.jp/records/21528
https://ipsj.ixsq.nii.ac.jp/records/21528dcb7fb78-c037-4f55-8b0f-e231a3cd3f47
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE00130015.pdf (700.2 kB)
|
Copyright (c) 2001 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2001-03-22 | |||||||
| タイトル | ||||||||
| タイトル | 文書間の不整合解消に基づくソフトウェアプロセスのモデル化 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Modeling Software Processes based on the Document Inconsistency Resolution | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 名古屋大学工学研究科情報工学専攻 | ||||||||
| 著者所属 | ||||||||
| 名古屋大学工学研究科情報工学専攻 | ||||||||
| 著者所属 | ||||||||
| 名古屋大学工学研究科情報工学専攻 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Dept. of Information Engineering, Nagoya University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Dept. of Information Engineering, Nagoya University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Dept. of Information Engineering, Nagoya University | ||||||||
| 著者名 |
落合, 秀俊
× 落合, 秀俊
|
|||||||
| 著者名(英) |
Hidetoshi, Ochiai
× Hidetoshi, Ochiai
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本稿では，ソフトウエア開発における作業は文書間の不整合解消である，というアプローチから，文書間の整合性記述に基づくソフトウエアプロセスのモデル化手法を提案する．文書と文書間の関係をハイパーテキストを用いて表現し，リンクに対してリンク先の文書内容を用いた整合条件と不整合解消動作の2つを付加した，文書整合モデルを提案する．本モデルを用いた整合性管理手法を提案する．ソフトウエアプロセスは一連の不整合解消動作として解釈される．不整合解消に基づくモデル化手法は作業手順を記述するプロセス記述手法に比べ柔軟で簡潔であることを示す． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | This paper presents a modeling method for software processes based on the consistency management of software documents. In view that each activity in a software process is essentially controlled to maintain the consistency, we propose an explicit consistency description based on the hypertext: an object represents a document and a link represents a relation with a consistency condition and an action to keep the connected documents consistent. A software process is modeled as a sequence of activities to derive the consistency between the documents involved in the development. We propose an inconsistency resolution algorithm for consistency descriptions to give a concrete software process. Following the algorithm, it is shown by examples that our modeling method gives more flexible and succinct process descriptions than the existing activity-oriented descriptions. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
情報処理学会研究報告ソフトウェア工学（SE） 巻 2001, 号 31(2000-SE-130), p. 109-116, 発行日 2001-03-22 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
