JAIST Repository: 多重視点設定可能な、OMTに対するCASEデータベースの設計とPCTE上での実装

Japan Advanced Institute of Science and Technology

JAIST Repository

https://dspace.jaist.ac.jp/

Title

多重視点設定可能な、OMTに対するCASEデータベースの

設計とPCTE上での実装

Author(s)

西山, 雄; 落水, 浩一郎

Citation

Research report (School of Information Science,

Japan Advanced Institute of Science and

Technology), IS-RR-94-0004S: 1-37

Issue Date

1994-02-02

Type

Technical Report

Text version

publisher

URL

http://hdl.handle.net/10119/8422

Rights

Description

リサーチレポート（北陸先端科学技術大学院大学情報

多 重視 点 設 定 可 能 な 、OMTに

対 す る

CASEデ

ー タベ ー スの設 計 とPCTE上

での 実装

西 山 雄 落 水 浩 一 郎 1994年2月2日 IS-RIZ-94-00045 北 陸 先 端 科 学 技 術 大 学 院 大 学 情 報 科 学 研 究 科 〒923-12石 川 県 能 美 郡 辰 口 町 旭 台15 [email protected] [email protected] OMasaruNishiyama,1994 1SSNO918-7553

も く じ 1は じ め に 4 2多 重 視 点 3視 点 4各 モデ ル の導 出方 法 4 5 9 5分 析 例12 5.1オ ブ ジ ェ ク ト モ デ ル の 導 出...12 5.2動 的 モ デ ル の 導 出...,...12 5.3機 能 モ デ ル の 導 出...18 6計 算 機 に よ る 手 法 の 支 援 6.1イ ン ス タ ン ス 図 の ス キ ー マ... 6.2オ ブ ジ ェ ク ト モ デ ル の ス キ ー マ.... 6.3事 象 ト レ ー ス 図 の ス キ ー マ..,. 6.4事 象 フ ロ ー 図 の ス キ ー マ... 6.5動 的 モ デ ル の ス キ ー マ...,. 6.6パ ラ メ ー タ フ ロ ー 図 の ス キ ー マ. 6.7機 能 モ デ ル の ス キ ー マ... 6.8ス キ ー マ の 合 成... 21 21 22 23 25 25 26 28 29 7PCTEへ の 実 装31 7.1PCTEの オ ブ ジ ェ ク ト ベ ー ス...31 7.2オ ブ ジ ェ ク1・ ベ ー ス へ の 定 義,...31 8手 法 の評 価 34 9お わ りに 34 A「 キ ャッ シ ュデ ィス ペ ン サ ー シ ス テ ム 」 に 関 す る問 題 記 述 36 1 一 一 剛醐醐幽一■■■■■ ■■■■■ 闘圃■■■■■ ■■■ ■■腰

一

図 一覧

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 OMTに お け る 問 題 凹 界 の 仕 様 化... OMTの3つ の モ デ ル と モ デ ル 問 の 重 複....,... イ ン ス タ ン ス 図 記 法.。..._...,. パ ラ メ ー タ フ ロ ー 図... 中 間 的 視 点 を 用 い た モ デ ル の 導 出.,....,,,..,... キ ャ ッ シ ュ デ ィ ス ペ ン サ ー シ ス テ ム イ ン ス タ ン ス 図_... キ ャ ッ シ ュ デ ィ ス ペ ン サ ー シ ス テ ム オ ブ ジ ェ ク ト モ デ ル... 顧 客 、CD、 銀 行 、 口 座 に 対 す る 事 象 ト レ ー ス 図..,..._.. 顧 客 、CD、 銀 行 、 口 座 に 対 す る 事 象 フ ロ ー 図... 送 信 事 象 か ら オ ペ レ ー シ ョ ン を 明 ら か に す る... ク ラ スCDに 対 す る 動 的 モ デ ル.._... 顧 客 、CD、 銀 行 、 口 座 に 対 す る パ ラ メ ー タ フ ロ ー 図... CDク ラ ス に 対 す る 最 上 位 の 機 能 モ デ ル...。.. 銀 行 ク ラ ス に 対 す る 最 上 位 の 機 能 モ デ ル... 口 座 ク ラ ス に 対 す る 最 上 位 の 機 能 モ デ ル...,.,... イ ン ス タ ン ス 図 を 構 成 す る 要 素...。... イ ン ス タ ン ス 図 が 表 現 す る 要 素 の ス キ ー マ.,..,...,... オ ブ ジ ェ ク ト モ デ ル を 構 成 す る 要 素..._. オ ブ ジ ェ ク ト モ デ ル が 表 現 す る 要 素 の ス キ ー マ... 事 象 ト レ ー ス 図 を 構 成 す る 要 素... 事 象 と オ ペ レ ー シ ョ ン の 関 係... 事 象 ト レ ー ス 図 が 表 現 す る 要 素 の ス キ ー マ... 事 象 フ ロ ー 図 を 構 成 す る 要 素.._...,...,... 事 象 フ ロ ー 図 が 表 現 す る 要 素 の ス キ ー マ... 動 的 モ デ ル を 構 成 す る 要 素...,...,... 動 的 モ デ ル が 表 現 す る 要 素 の ス キ ー マ.,...,_.,.. パ ラ メ ー タ フ ロ ー 図 を 構 成 す る 要 素..._...,.. パ ラ メ ー タ フ ロ ー 図 が 表 現 す る 要 素 の ス キ ー マ...。... 機 能 モ デ ル を 構 成 す る 要 素...,_....,...,,. 機 能 モ デ ル が 表 現 す る 要 素 の ス キ ー マ.._... 問 題 世 界 を 表 現 す る 要 素 の ス キ ー マ... OMTの 視 点...,..._.. 問 題 世 界 を 表 現 す る 要 素 の ス キ ー マ...,... OMTを 構 成 す る 要 素..._._... 5 6 8 9 10 12 13 14 15 16 17 18 19 20 20 21 22 22 23 23 24 24 25 25 26 26 27 27 28 28 29 30 32 33 2

一

表 一覧

1 2 7つ の 視 点...,..,...,... 関 係 型 の 分 類[鯵 坂93]..,... 6 31 ρ 3 一

騨 1は じ め に RumbaughのOMT[Rumbaugh92]に 代 表 さ れ る オ ブ ジ ェ ク ト指 向 モ デ リ ング は 通 常 オ ブ ジ ェ ク トモ デ ル 、 状 態 遷 移 モ デ ル 、デ ー タ フ ロ ー モ デ ル 等 の 仕 様 定 義 の た め の 複 数 の モ デ ル を持 つ 。 こ れ らは モ デ リ ン グ さ れ る 問 題 阯界 を 、 い くつ か の 側 面 か ら眺 め た 物 で あ る 。 こ こ で 扱 うOMTで は オ ブ ジ ェ ク トモ デ ル 、 動 的 モ デ ル 、 機 能 モ デ ル の 三 つ の モ デ ル を最 終 生 成 物 と し、 そ れ らは 次 の よ う な側 面 を表 現 して い る 。 ・ オ ブ ジ ェ ク トモ デ ル:問 題 世 界 の 静 的構 造 ・ 動 的 モ デ ル:オ ブ ジ ェ ク ト と関 連 の 時 間 的 変 化 ・機 能モ デル:問 題 世界 内部 の計 算 動作 OMTで は こ の 三 つ の モ デ ル(iijの相 互 関 係 の 吟 味 を 、3つ の モ デ ル が ほ ぼ 完 成 して か ら 行 う。 そ の た め モ デ ル 間 の 一 貫 性 を保 証 しに くい と い う問 題 が あ る 。 特 に オ ブ ジ ェ ク ト モ デ ル と機 能 モ デ ル で は そ の 構 築 方 法 が ボ トム ア ップ と ト ップ ダ ウ ン とい う よ う に ま っ た く異 な る た め 、 そ の 一 貫 性 を取 る に は た い へ ん な 手 間 が か か る 。 こ の 問 題 に対 し、本 稿 で はOMTの モ デ ル が 表 現 しよ う と して い る 問 題 世 界 の 要 素1に つ い て注 目 す る 。 こ れ に よ りモ デ ル 問 の 関 係 を 明 らか に す る 。 こ の 結 果 、 モ デ ル 間 の 定 義 の オ ー バ ー ラ ップ 部 分 に 対 して そ れ ぞ れ 「視 点 」 を 導 入 し、3つ の モ デ ル の 作 成 を連 続 的 に行 え る よ う に 方 法 論 を改 良 をす る こ と で 、 モ デ ル 間 の 一 貫 性 の 検 証 を分 析 者 が よ り容 易 に行 え る よ うに した 。 ま た 視 点 の構 造 を と ら え 、 視 点 間 の 関 係 か ら そ れ ら の構 造 を合 成 す る こ と で 、問 題 世 界 を表 現 す る こ と が で き る 問 題 世界 の 要 素 ス キ ー マ を設 計 す る 。 こ の ス キ ー マ は 問 題 世 界 の す べ て の 要 素 を表 わ して い る が 、分 析 者 は そ の 要 素 群 の 一 部 に注 目 した 視 点 に よ り 分 析 を行 う。 分 析 者 は 視 点 を切 りか え つ つ 要 素 を定 義 、検 討 す る こ と で 、 モ デ ル 問 の 一 貫 性 を取 る こ とが で き る 。 こ の よ う に ど の モ デ ル を使 っ て分 析 を行 うか で は な く、 問 題 世 界 の ど の 要 素 を見 て 分 析 をす る か と い う こ と を本 稿 で は多 重 視 点 と定 義 す る 。 こ の 要 素 ス キ ー マ か ら注 目す る 要 素 を視 点 と し て 切 り出 す の が 視 点 ス キ ー マ で あ る 。 本 稿 で は こ の よ う な 要 素 ス キ ー マ と視 点 ス キ ー マ のPCTE上 の オ ブ ジ ェ ク トベ ー ス へ の 実 装 も行 う。

2多

重視点

本 論 文 で い う と こ ろ の 視 点 とは 、仕 様 化 作 業 の プ ロ セ ス[西 村93】 に対 応 す る用 語 で は な く、OMTと 同 じ く問 題 世界 を 表 現 す るモ デ ル に対 応 す る 。 OMTで は 問 題 世 界 に対 す る視 点 、 オ ブ ジ ェ ク トモ デ ル と動 的 モ デ ル 、 そ して 機 能 モ デ ル をそ れ ぞ れ作 り、最 後 に分 析 者 が3つ の モ デ ル を つ きあ わせ 、検 討 す る こ とで 、3つ の モ デ ル 問 の 一 貫 性 を と る 。 そ の た めOMTの 三 つ の モ デ ル は 図12が 表 す よ う に 、 ま っ た く異 な る 要 素 群 を 表 現 して い る か の よ う に構 成 さ れ が ち で あ る 。 さ ら に分 析 者 は モ デ 1例 えばクラスや事象 といったOMTの モデ ルで表現 しようとしている問題世界の構成部品_。 2オブジェクトモデ ルが表現 している要素 「オペ レーション」はクラスの操作 を表わす。これは機能モデル で用いられる操作とまぎらわしいため別 に川詔 を定義 した。 4 }唯  帽 輔 嘲鞘一脚 ■■■ ■■■闇■圏圏■ ■■闘 ■■闘 ■■ 膨

機 能 モデ ル オ ブ ジ ェ ク トモ デ ル プ ロ セ ス 、 デ ー タ フ ロ ー 制 御 フ ロ ー 、 デ ー タ ス ト ァ ア ク タ ー 問 題 世界 ク ラ ス 、 関 連 イ ン ス タ ン ス 属 性 、 オ ペ レ ー シ ョ ン 事 象 、 状 態 、遷 移 動 的 モ デ ル 図1:0MTに お け る問題 世界 の仕 様化 ル 間 の 一 貫 性 を と る さ い に 目的 とす る処 理 、 す な わ ち 機 能 モ デ ル を優 先 し、 オ ブ ジ ェ ク トモ デ ル を 変 更 す る こ と もOMTで は許 さ れ て い る 。 こ の た め オ ブ ジ ェ ク トモ デ ル と問 題 魅 界 と の 対 応 が 悪 くな る危 険 性 も持 つ 。 しか しそ の 要 素 ひ と つ ひ とつ に は 、要 素 名 は異 な っ て も共 通 性 の あ る 物 も あ る 。例 え ば オ ブ ジ ェ ク トモ デ ル 上 の オ ペ レ ー シ ョ ン は 、 機 能 モ デ ル に プ ロ セ ス と して 現 わ れ る 。 ま た 、 動 的 モ デ ル の 事 象 の 半 分 以 上 は オ ブ ジ ェ ク トモ デ ル の オ ペ レ ー シ ョ ン と対 応 して い る 。 こ れ か ら三 つ の モ デ ル は 図2の よ う に 、重 複 部 分 を も ち な が ら 問 題 世 界 を表 現 して い る こ とが わ か る 。 そ して そ の 重 複 した 要 素 が モ デ ル に よ り一 致 しな い と き 、 モ デ ル 問 の 矛 盾 が 発 生 す る も の と考 え られ る 。 こ れ らの 矛 盾 をな くす に は 、 こ の 重 複 部 分 の 要 素 を含 む 中 間 的 な 視 点 を用 い る と い う 方 法 が 一 つ の 手 段 と して 考 え られ る 。 例 え ば 動 的 モ デ ル は ク ラ ス 間 の 事 象 の流 れ を記 述 した 事 象 フ ロ ー 図 を川 い る こ とで 導 出 で き 、 中 間 的 視 点 で あ る事 象 フ ロ ー 図 で 事 象 と オ ペ レー シ ョ ン の対 応 を 吟 味 す る こ とで 、 オ ブ ジ ェ ク トモ デ ル と動 的 モ デ ル の 間 の 矛 盾 を 検 証 す る こ とが で き る 。 こ の よ う に モ デ ル とモ デ ル の 問 に存 在 す る 要 素 に注 目 し、 モ デ ル 間 の 橋 わ た し をす る の が 中 間 的 視 点 で あ る 。

3視

点

本 稿 では表1に あ る7つ の視 点 を基本 的な視 点 と して用 いて分 析 をす す め る。 5

…

一

膨

一

P

視 点3

＼

/

q視

点、

デ ー タ ス トア デ ー タ フ ロ ー コ ン トロ ー ル フ ロ ー 属 性 機 能 モ デル プ ロ セ ス ア ク タ ー オ ペ レ ー シ ョン ク ラ ス オ ブ ジ エ ク ト モ デ ル 関連 イ ンス タンス 状態 遷移 事象 動 的 モ デ ル

)襯2

図2:0MTの3つ の モ デ ル とモ デ ル 間 の 重 複

視点

イ ン ス タ ン ス 図 オ ブ ジ ェ ク トモ デ ル 事 象 トレ ー ス 図 事 象 フ ロ ー 図 動 的 モ デ ル パ ラ メ ー タ フ ロ ー 図 機 能 モ デ ル

意味

問 題 世 界 の 一 例 シ ス テ ム の 静 的 構 造 オ ブ ジ ェ ク ト問 の 事 象 の 流 れ の 一 例 ク ラ ス 間 の 事 象 の 流 れ オ ブ ジ ェ ク ト と関 連 の 時 間 的 変 化 ク ラ ス 問 の デ ー タ 、 信 号 の 流 れ シ ス テ ム 内 部 の 計 算 動 作 表117つ の 視 点 6 ・一一一 聞噸■剛■醐 ■劇 剛 ■■一■■■■ ■圏■ ■■■■ ■夢

イ ン ス タ ン ス 図 オ ブ ジ ェ ク ト とそ の リ ン ク を表 した 図 で あ る 。 こ れ は 問 題 記 述 書 か ら オ ブ ジ ェ ク トモ デ ル を 導 出 す る 手 が か り と な る 。[Rumbaugh92]で は そ の 記 法 を は っ き り と は定 義 さ れ て い な か っ た の で 、 こ こ で 図3の よ う に定 義 す る 。 オ ブ ジ ェ ク トモ デ ル オ ブ ジ ェ ク トの 集 合 で あ る ク ラ ス と リ ン ク の 集 合 で あ る 関 連 、 そ し て ク ラ ス の 属 性 と オ ペ レ ー シ ョ ン を 表 す 。 な お オ ペ レー シ ョ ン は 事 象 フ ロ ー 図 か ら、 属 性 は 機 能 モ デ ル か ら導 き 出 さ れ る 。 ま た 機 能 モ デ ル で は見 落 と して い た ク ラ ス の 補 完 も行 わ れ る 。 事 象 ト レ ー ス 図 イ ン ス タ ン ス 間 の 事 象 の 流 れ を 記 述 す る 。 こ れ は イ ン ス タ ン ス 図 と次 に説 明 す る 事 象 フ ロ ー 図 の 問 の 中 間 的 視 点 で あ る 。 事 象 フ ロ ー 図 ク ラス 間 の 事 象 の 流 れ を記 述 す る 。 こ の 図 は オ ブ ジ ェ ク トモ デ ル と動 的 モ デ ル 、 そ し て事 象 ト レ ー ス 図 と動 的 モ デ ル をつ な ぐ 中 間 的 視 点 で あ る 。 動 的 モ デ ル ク ラ ス 内 の状 態 と そ の 変 化 、 そ して そ れ に伴 う事 象 を記 述 す る 。 パ ラ メ ー タ フ ロ ー 図OMTで は オ ブ ジ ェ ク トモ デ ル と機 能 モ デ ル をつ な ぐ視 点 は 提 供 さ れ て い な い 。 そ こ で 本 稿 で は 図4の よ う な ク ラ ス 問 の デ ー タ の 流 れ を記 述 した パ ラ メ ー タ フ ロ ー 図 を導 入 す る 。 こ れ に よ り ク ラ ス へ の デ ー タ の 入 出 力 が わ か る 。 機 能 モ デ ル デ ー タ の 変 換 処 理 を記 述 す る 。 こ の 変 換 処 理 を行 うプ ロ セ ス の うち 、 ク ラ ス が 行 うサ ー ビス と して 公 開 さ れ る もの が オ ブ ジ ェ ク トモ デ ル の オ ペ レー シ ョ ン で あ る 。 ま た デ ー タ ス トア の 一 部 は ク ラ ス の 属 性 、 と き に は ク ラ ス 自 身 と して オ ブ ジ ェ ク トモ デ ル で 公 開 され て い る 。 7

一 (ク ラ ス 名)関 連 名 オ ブ ジ ェ ク ト1 オ ブ ジ ェ ク ト2 属 性 名 ロ値 io 属 性 名=値 オ ブ ジ ェ ク ト(イン ス タ ン ス) リ ン ク 属 性 (ク ラ ス 名)ク ラ ス 名 生 成 関 係 オ ブ ジ ェ ク ト1オ ブ ジ ェ ク ト2 (関連 名) オ ブ ジ ェ ク ト 属 性 名=値 オ ブ ジ ェ ク トを用 い た リ ン ク 部 品 部 品 オ ブ ジ ェ ク ト1オ ブ ジ ェ ク ト2 オ ブ ジ ェ ク ト1オ ブ ジ ェ ク ト2 集 約 オ ブ ジ ェ ク ト2 関 連 名 オ ブ ジ ェ ク ト1 オ ブ ジ ェ ク ト23項 リ ン ク ローノレ1ロ ーノレ2 リ ン ク(分 析 者 定 義) 関 連 名 オ ブ ジ ェ ク ト1限 定子名=値 オ ブ ジ ェ ク ト2 ローJレ1ロ ーノレ2 限 定 付 リン ク 図3:イ ン ス タ ン ス 図 記 法 8 一 一一 一 順劇噛 醐 醐 圏■幽 ■■圏 ■嗣■ ■■■■ ■■■■■墜

一 顧 客 キ ャ ッ シ ュ カ ー ド パ ス ワ ー ド、 種 類 、 金 額 (現 金 取 出)、(カ ー ド取 出) (取 消 し)、(終 了)、(継 続) 現 金 、 レシ ー ト カ ー ド読 込 み 不 可 メ ッセ ー ジ 取 消 しメ ッセ ー ジ 失敗 メ ッセ ー ジ 鼠呉り口座 メ ッセ ー ジ CD 口座 銀行 図4:パ ラ メ ー タ フ ロ ー 図

4各

モデルの導 出方法

図5は3つ の モ デ ル の 導 出 に 関 わ る 視 点 とそ の キ ー と な る要 素 を示 した もの で あ る 。 図5(a)オ ブ ジ ェ ク トモ デ ル の 導 出 オ ブ ジ ェ ク トモ デ ル は 問 題 記 述 書 か ら直 接 導 出 す る の で は な く、「イ ンス タ ンス 図 」 を まず 作 成 し、 イ ン ス タ ン ス の 集 合 で あ る ク ラス 、 リ ン ク の 集 合 で あ る 関 連 を定 義 す る こ と で 導 出 す る 。 イ ンス タ ン ス 図 を介 して オ ブ ジ ェ ク トモ デ ル を導 出 す る の は 、 ・ オ ブ ジ ェ ク トモ デ ル と 問 題 世界 と の 対 応 性 を 良 くす る 。 ・ 分 析 者 に よ る問 題 世 界 の 捉 え方 の 例 を イ ン ス タ ンス 図 と して残 して お く。 とい う2つ の 目的 を満 た す た め で あ る 。 オ ペ レー シ ョ ン に つ い て は 動 的 モ デ ル の 導 出 の 時 に 定 義 さ れ る 。 図5(b)動 的 モ デ ル の 導 出 動 的 モ デ ル の 導 出 に は 、「事 象 ト レー ス 図 」 と 「事 象 フ ロ ー 図 」 を 用 い る。 まず 事 象 ト レー ス 図 で イ ン ス タ ンス 問 の 事 象 の 流 れ を調 べ る 。 分 析 者 は こ の 図 に お け る事 象 の 流 れ と 、問 題i1!界 で現 実 に行 わ れ て い る 事 象 を 比 較 す る こ とで イ ン ス タ ンス 図 の 問 題 世 界 との 対 応 を確 認 す る こ とが で き る 。 次 に イ ン ス タ ンス 間 の 事 象 の 流 れ を を も と に ク ラス 問 の 事 象 の 流 れ を記 述 す る 。 こ れ が 事 象 フ ロ ー 図 で あ る 。 ク ラ ス 間 の 事 象 の 流 れ は オ ブ ジ ェ ク ト 9

一

イ ン ス タ ン ス 図 オ ブ ジ ェ ク トモ デ ル 問題 記 述 書 一 一レ 狩 麦タン (a)オ ブ ジ ェ ク トモ デ ル の 導 出 ク ラ ス イ ンス タ ン ス の 事 象 事 象 フ ロ ー 図 オ ペ レ ー シ ョ ン 動 的 モ デ ル 事 象 事 象 トレ ー ス 図 オ ブ ジ ェ ク トモ デ ル イ ン珍 ス図 クラ ス 、 関 連 イ ンス タ ン ス イ ンス タ ン ス の 関 連

(b)動 的モ デル の 導 出

オ ペ レ ー シ ョ ン 、 属 性 ク ラ ス パ ラ メ ー タ フ ロ ー 図 機 能 モ デ ル 事 象 フ ロ ー 図 オ ジ ェ ク トモ デ ル ク ラ ス 、 関 連 デ ー タ 、 信 号 (c)機 能 モ デ ル の 導 出 図5:中 間 的視 点 を用 い たモデ ル の導 出 10

一 モ デ ル で 定 義 さ れ た ク ラ ス とそ の 関 連 、 そ して 事 象 フ ロ ー 図 で 定 義 さ れ た イ ンス タ ンス 間 の事 象 よ り定 義 さ れ る 。 こ の 事 象 フ ロ ー 図 で 、 あ る ク ラ ス へ 入 力 事 象 が あ る とい う こ とは 、 そ の ク ラ ス に対 応 で き る オ ペ レー シ ョ ン を も つ こ と を 意 味 して い る 。 す な わ ち こ の 事 象 フ ロ ー 図 に よ っ て事 象 と オ ペ レー シ ョ ン の対 応 を と る こ とが で き る 。 こ の 事 象 が ク ラ ス 内 で どの よ うに 発 生 し て い くか を表 した の が動 的 モ デ ル で あ る 。 す で に オ ペ レ ー シ ョ ン と対 応 の と れ て い る 事 象 を用 い て い る の で 、 こ れ を も とに して 定 義 さ れ た動 的 モ デ ル は オ ブ ジ ェ ク トモ デ ル と矛 盾 し な い 。 図5(c)機 能 モ デ ル の 導 出 OMTで は 機 能 モ デ ル は 問 題 記 述 書 か ら直 接 作 成 さ れ て い た 。 そ の た め モ デ ル 完 成 時 に オ ブ ジ ェ ク トモ デ ル と の 一 貫 性 を 取 る の に 分 析 者 は 大 き な労 力 が は ら い 、無 理 を して 一 貫 性 を 取 ろ う と した 結 果 、 オ ブ ジ ェ ク トモ デ ル を ゆ が め て しま う こ と もあ る 。 そ の よ うな こ と を 防 ぐ た め 、 本 稿 で は 事 象 フ ロ ー 図 か ら得 ら れ る 「パ ラ メ ー タ フ ロ ー 図 」 を新 た な 視r$と して 導 入 し、 こ れ に よ りオ ブ ジ ェ ク トモ デ ル 、動 的 モ デ ル と の 一 貫 性 を検 討 しな が ら 、機 能 モ デ ル の 分 析 を行 え る よ う にす る 。 パ ラ メ ー タ フ ロ ー 図 は ク ラ ス 問 を 流 れ るデ ー タ を記 述 した も の で あ る 。 こ の 視 点 は事 象 フ ロ ー 図 で 表 現 され る ク ラス 問 で や り と り さ れ る 事 象 に つ い て 、 そ れ に伴 な うデ ー タや 信 号 を記 述 す る 。 こ れ を事 象 フ ロー 図 の 事 象 とお きか え る こ と に よ りパ ラ メ ー タ フ ロ ー 図 は 視 点 を 形 成 す る 。 こ の 視 点 に よ っ て ク ラス ご と に入 力 、 出 力 さ れ るデ ー タ、 信 号 が わ か る 。 機 能 モ デ ル は そ の プ ロ セ ス をオ ブ ジ ェ ク トモ デ ル の オ ペ レー シ ョ ン をベ ー ス に 定 義 し 、 そ して 入 出 力 さ れ る デ ー タ フ ロ ー 、 制 御 フ ロ ー をパ ラ メ ー タ フ ロ ー 図 に よ り定 義 す る 。 こ の オ ペ レー シ ョン とデ ー タ フ ロ ー 、制 御 フ ロ ー は も と に な っ た の は と も に事 象 で あ る の で 、 オ ペ レー シ ョ ン と こ れ らフ ロ ー の対 応 もこ の 段 階 で とれ て い る 。 そ の た め 機 能 モ デ ル で は オ ペ レー シ ョン と な っ て い る プ ロ セ ス の 詳 細 化 と 、 プ ロ セ ス が ア クセ ス す る デ ー タ ス トア を 明 らか に し、 そ の デ ー タ ス トア の うち どれ を 属 性 、 も し くは ク ラス と して 定 義 す る か を検 討 す る 。 こ れ に よ りオ ブ ジ ェ ク トモ デ ル が 補 完 さ れ る 。 この よ うに本 稿 で提 案 す る手法 で は 、視 点 を切 りか えてい く時 に積極 的 に視 点 の要 素 の対 応 を とって い くので 、視 点 間の矛 盾 は発 生 しない 。 11 一 一… 一一 一 網繭嘲繭圏 繭闘剛 圏■■■■ ■■圏闘 ■■■■■■■■陰

5分 析 例 こ の 章 で は7つ の 視 点 を使 っ た 分 析 例 と して 、 「キ ャッ シ ュ デ ィス ペ ン サ ー シ ス テ ム 」 を分 析 す る 。 5.1オ ブ ジ ェ ク トモ デ ル の 導 出 オ ブ ジ ェ ク トモ デ ル を作 成 す る た め 、 ま ず イ ン ス タ ン ス 図 を問 題 記 述 書3か ら作 成 す る 。 キ ャッ シ ュデ ィス ペ ン サ ー シ ス テ ム の イ ンス タ ン ス 図 を 図6に 示 す 。 を操作 す る(CD) 端 末 コ ー ド=321 (銀 行) 名 前=四 菱 口 座 番 号'=2847 を保 持す る カ ー ド コ ー ド=10 を発 行 する 所 持 す る (キ ャ ッ シ ュ カ ー ド) カ ー ド コ ー ド=10 口 座 番 号=2847 発 行 番 号 二666 (顧客) 名 前=鏡 昭 住 所=石 川 県.. (口座) 残 金=300000 借 入 限 度 額=5000000 口座 種 別=普 通 パ ス ワ ー ド=3776 を所持 す る 図6=キ ャッ シ ュ デ ィ ス ペ ン サ ー シ ス テ ム イ ン ス タ ン ス 図 この イ ン ス タ ンス 図 で は 、顧 客 がCD(キ ャッ シ ュ デ ィス ペ ンサ ー)を 操 作 す る こ とで 、 銀 行 に あ る 自分 の 口座 に ア ク セ ス で き る こ と が 表 現 さ れ て い る 。 キ ャッ シ ュ カ ー ドはCD を操 作 す る と き にCDに デ ー タ と して わ た さ れ る が 、 そ の よ う な機 能 的 な 制 約 は イ ンス タ ンス 図 で 書 くべ きで な く、 機 能 モ デ ル で 記 述 さ れ る 。 こ の イ ンス タ ン ス 図 の う ち 、 ク ラス と リ ン ク よ りオ ブ ジ ェ ク トモ デ ル を導 出 す る こ と が で き る 。 そ れ が 図7で あ る 。 5.2動 的 モ デ ル の 導 出 動 的 モ デ ル は イ ンス タ ン ス 図 と オ ブ ジ ェ ク トモ デ ル よ り作 られ る 事 象 ト レー ス 図 と事 象 フ ロ ー 図 に よ っ て 導 出 さ れ る 。 事 象 ト レー ス 図 は イ ンス タ ン ス の 間 を どの よ うな 事 象 が や り と りさ れ る か を時 間 軸 に そ っ て 並 べ た も の で あ る 。 図8に 顧 客 、CD、 銀 行 、 口 座 オ ブ ジ ェ ク トに注 目 した例 を示 す 。 こ こ で 「ス テ ップ 」 とい う考 え を導 入 す る 。 そ の 定 義 は 次 の 通 りで あ る 。 3AppendixA参 照 12

を操作 す る CD を所 有す る 端 末 コ ー ド 銀行 名前 カ ー ド コ ー ト を保 持す る を発 行す る 口座 番号 を 所 持 す る 顧 名前 住 所 キ ャ ッ シ ュ カ ー ド カ ー ドコ ー ド ロ 座 番 号 発 行 番 号 口座 残 金 借 入限 度額 口座種 別 パ ス ワー ド を所 持 す る 図7:キ ャッ シ ュデ ィス ペ ン サ ー シ ス テ ム オ ブ ジ ェ ク トモ デ ル ステ ップ={送 信 事 象}+{返 信 事 象} す な わ ち ス テ ップ と は他 の オ ブ ジ ェ ク トへ 処 理 を依 頼 す る メ ッ セ ー ジ と そ の 結 果 で あ る メ ッ セ ー ジ も し くは シ グ ナ ル の 組 で あ る 。 こ れ に よ っ て 事 象 を 送 信 と返 信 の2つ に分 類 し、 ひ とつ の 処 理 の 単位 を 表 す 。 送 信 事 象 と返 信 事 象 は1対1に 対 応 す る の で は な く、複 数 の 送 信 事 象 に対 して ひ とつ の 返 信 事 象 、 ひ と つ の 送 信 事 象 に 対 して 複 数 の 返 信 事 象 、送 信 事 象 の み で 返 信 事 象 が な い な どの 可 能 性 が あ る 。 しか し、 返 信 事 象 の み で 送 信 事 象 が な い 場 合 は な い 。 そ れ は処 理 を依 頼 さ れ て もい な い の に 、 返 信 す る よ うな こ と は 発 生 し な い か ら で あ る 。 図8で 事 象 を ス テ ップ に 組 分 け した 。 ス テ ップ は[=で 事 象 を く く る こ と で 表 して い る 。 例 え ば ス テ ッ プ1で 顧 客 はCDに 対 して 「カ ー ド挿 入 」 と い う送 信 事 象 を送 っ て い る 。 こ れ に よ っ てCDと の や り と り を 開 始 す る 。 どれ が 送 信 事 象 で どれ が 返 信 事 象 で あ る か は 、複 数 の 事 象 を一 つ の 処 理 と して 組 み 合 わせ 、そ の 処 理 が どの 事 象 に よ り開 始 され る か を考 え る こ と で 決 定 され る 。例 え ば 「カ ー ド挿 入 」 は顧 客 とCDと の 事 象 の や り と り を 開 始 す る キ ー と な る事 象 で あ る 。 こ の 事 象 の 後 に はCDが 能 動 的 に 処 理 を進 め る 。 こ の た め 「パ ス ワー ド 要 求 」 と 「カ ー ド挿 入 」 は別 の ス テ ップ とな る 。 こ れ に よ りこ の2つ は と も に送 信 事 象 で あ る こ とが わ か る 。 ま た そ の 次 の 事 象 「パ ス ワ ー ド入 力 」 は 「パ ス ワ ー ド要 求 」 に よ っ て 発 生 した事 象 で あ る 。 こ れ よ り この2つ の 事 象 は ひ とつ の ス テ ップ を表 し、 「パ ス ワ ー ド入 力 」 は 返 信 事 象 だ とい う こ とが わ か る 。 前 述 の 通 り、 ス テ ップ とは あ る処 理 を他 の オ ブ ジ ェ ク トに依 頼 し、 そ の処 理 が 終 了 し 結 果 が 帰 っ て くる ま で の 単 位 で あ る 。 す な わ ち あ る ス テ ップ の 間 は ひ とつ の 状 態 に あ り、 ス テ ップ か ら次 の ス テ ップ に移 る と き に 状 態 の 遷 移 を起 す 。 こ れ よ り送 信 事 象 が 状 態 の 13

顧客

O[

!)[

③[

④[

」rL

o[

妬{

カ ー ド挿 入 CD パ ス ワ ー ド要 求 パ ス ワ ー ド入 力 種 類 要求 種 類 入力 金 額 要求 金 額入 力 0 現金 支払 い 現金 取 出要 求 現金 取出 継 続 要求 終 了 レ シ ー ト印刷 カ ー ド排 出 カ ー ド取 出 要 求 カ ー ド取 出 四 菱銀 行 トラ ン ザ ク シ ョン 処 理 トラ ン ザ ク シ ョ ン 成 功 パ ス ワ ー ド検 証 口座 口 座OK 口座 更新 トラ ンザ クシ ョ ン 成 功

コ⑥

]⑦

図8:顧 客 、CD、 銀 行 、口座 に対 す る事 象 トレー ス図 14

顧 客 【s】カ ー ド挿 入 lr1パス ワ ー ド入 力 、(r)種 類 入 力 国 金 額 入 力 国 現 金 取 出 、 同 カ ー ド取 出 【r1取消 し 、[r]終 了 、rr】継 続 【 1 【 【 【 1 【 【 】カ ー ド読 込 み不 可 メ ッセ ー ジ 】パ ス ワ ー ド要 求 】種 類 要 求 、[s】金 額 要 求 1取消 しメ ッセ ー ジ 1カ ー ド排 出 、 【s】失 敗 メ ッ セ ー ジ 】現金 支 払 、(Sl現金 取 出 要 求 ]継 続 要 求 】レシ ー ト印刷 、 国 カ ー ド取 出要 求 CD 【s】トラ ン ザ ク シ ョ ン 処 理 口座 国 トラ ンザ ク シ ョン成 功 国 トラ ンザ ク シ ョン失 敗 lrl口座OK (r]誤っ たパ ス ワ ー ド 【s】パ ス ワ ー ド検 証 [s】口 座 更 新 国 トラ ンザ ク シ ョン成 功 国 トラ ンザ ク シ ョン失 敗 銀 行 図9:顧 客 、CD、 銀 行 、口座 に対 す る事 象 フ ロ ー 図 活 動 、 も し くは 内 部 動 作 と な る 。 次 に事 象 トレー ス 図 を ク ラ ス の視 点 か ら見 直 し、事 象 フ ロ ー 図 を作 成 す る 。顧 客 、CD、 銀 行 、 口座 に 対 す る事 象 フ ロ ー 図 と して 図9を 示 す 。 こ の 図 で は 図8で わ か っ た 送 信 事 象 と返 信 事 象 を[s]送 信 事 象 名 、[r]返 信 事 象 名 とい う よ う に 表 記 して い る 。 事 象 の 送 信 は 送 信 先 オ ブ ジ ェ ク トが そ の メ ッセ ー ジ を受 け と れ る とい う こ と な の で 、 送 信 先 オ ブ ジ ェ ク ト に は 送 信 事 象 に対 応 す る オ ペ レー シ ョ ンが 存 在 す る はず で あ る 。 ま た 返 信 事 象 は送 信 事 象 に対 す る返 り値 、 も し くは 制 御 信 号 と考 え ら れ る 。 こ れ よ り図10の よ うに 事 象 か ら オ ペ レ ー シ ョン を定 義 す る こ とが で き る 。 こ の 図 は 事 象 フ ロ ー 図 を拡 張 し、 ク ラ ス に オ ペ レー シ ョ ン も表 記 して い る 。CDク ラ ス の 上 に あ る の が 、 オ ペ レー シ ョン と事 象 の 対 応 で あ る 。 他 の ク ラ ス に つ い て は 図 が 繁 雑 に な る の で 省 略 す る 。 こ の 図10の よ う に 基 本 とな る視 点 を も と に して 要 素 を 追 加 し 、 そ の 要 素 の 対 応 を検 討 で き る の が 多 重 視 点 の 特 徴 で あ る 。 こ れ ら を も と に動 的 モ デ ル を 導 出 す る 。 こ れ に は事 象 ト レ ー ス 図 で 定 義 した ス テ ップ を利 用 す る 。 そ の 例 と してCDの 動 的 モ デ ル を 図11を 示 す 。 図 の 中 で 数 字 を ふ っ た 網 か け は 図8の ス テ ップ と一 致 して い る 。 ス テ ッ プ が 状 態 とそ こ か ら の 遷 移 を表 わ して い る の が こ れ に よ りわ か る 。 図8は 正 常 動 作 の シ ナ リ オ だ っ た の で 、 そ れ に異 常 状 態 の 遷 移 を加 え る こ とで こ の 動 的 モ デ ル を得 る こ とが で き る 。 こ の動 的 モ デ ル で 表 され て い る状 態 内 の事 象 は 、CD以 外 の ク ラス に 事 象 を送 っ て い る が 、 ど の ク ラ ス へ の 事 象 か は 事 象 フ ロ ー 図 で す で に わ か っ て い る 。 ま た そ の 事 象 に よ っ !5

.r'晒N灘 顧 客 [s】カー ド挿 入 国 パス ワ ー ド入 力 、[rJ種類 入 力 国金 額 入 力 国 現金 取 出 、 国 カ ー ド取 出 (r)取消 し、[r]終了 、[r1継続 (S1カ ー ド読 込 み 不 可 メ ッ セ ー ジ lS】パ ス ワ ー ド妥 求 国 種 類 要 求 、 【s]金額 要 求 [sJ取 消 し メ ッ セ ー ジ (s]カ ー ド排 出 、[sJ失 敗 メ ッ セ ー ジ [s1現 金 支 払 、[s)現 金 取 出 要 求 (S1継 続 要 求 [s]レ シ ー ト印 刷 、[Slカ ー ド 取 出 要 求 CD サ ー ビス 開 始 [s]トラ ンザ ク シ ョン処 理 口座 [rJトラ ンザ クシ ョン 成 功 lr】トラ ンザ クシ ョ ン失 敗 国 口 座OK 【r]誤っ た パ ス ワー ド 国 トラ ンザ ク シ ョン成 功 国 トラ ンザ ク シ ョン失 敗 パ ス ワー ドチ ェ ッ ク ロ座 の 更 新 (s]パス ワ ー ド検 証 [S1口座 更新 銀 行 トラ ンザ クシ ョ ン処 理 図10:送 信 事 象 か ら オ ペ レ ー シ ョン を 明 らか に す る 16 一一一 一 醐騨一脚■幽咀■口 闘 闘胴 ■ ■ ■■ ■■■■ ■■國勝

①1ヵ_②

蕨 取 う鴨 パ ス ワ ー 厭 カ カ ー 麟受 付 δσこパ ス ワー ド要 求 取 消 し カ ー ド挿 入 ⑩ [読取 り不 可 】 取 消 し カ ← ド 読 取 り不 可d6纏 類 要 求 取 出 しdo:ヵ 一 ド読 取 り 不 可 メ ッセ ー ジ 種 類 ③ 入 力

幽

獣

敷 羅

幽

蹴

一ジ

取消し 櫛

劉ヒ

カ ー ド取 出 し要 求 金 額 入 力 終 了 ④ dbヒレシ ー ト印麟 ⑤ do:ト ラ ンザ ク シ ョ ン ⑨ 終 了 、 取 消 し トラ ンザ ク シ ョン成 功 処 理 d◎親 金 支 払 い;

継続d・ ・

継繍

職 轍

糊

凱 要求

美姦ン伽

ン

⑥do:失 敗 メ ツ セ ー ジ 図11:ク ラ スCDに 対 す る 動 的 モ デ ル 17

顧 客 キ ャ ッ シ ュ カ ー ド パ ス ワ ー ド、 種 類 、 金 額 現 金 、 レシ ー ト カ ー ド読 込 み 不 可 メ ッセ ー ジ 取 消 しメ ッセ ー ジ 失 敗 メ ッセ ー ジ (ト ラ ンザ ク シ ョ ン成 功) (ト ラ ンザ ク シ ョン失 敗) (「1座OK) 誤 った パ ス ワ ー ド CD パ ス ワ ー ド 種 類 、 金 額 口座 番 号 口 座 パ ス ワー ド 金 額 、 種類 (ト ラ ンザ ク シ ョン成 功) (ト ラ ンザ ク シ ョン 失 敗) 銀 行 図12:顧 客 、CD、 銀 行 、 口 座 に 対 す る パ ラ メ ー タ フ ロ ー 図 て ク ラス の どの オ ペ レー シ ョン が サ ー ビス を行 うか も動 的 モ デ ル を作 成 す る ま え に 確 認、 して あ る 。 つ ま りオ ブ ジ ェ ク トモ デ ル と動 的 モ デ ル との 問 に は矛 盾 は 発 生 しえ な い 。 5.3機 能 モ デ ル の 導 出 OMTで は 機能 モ デ ル の 生 成 プ ロ セ ス に 関 して は 、従 来 の 構 造 化 分 析 法 に 従 っ て い る 。 そ れ は トップ ダ ウ ン に 分 析 を行 う もの で あ り、 ボ トム ア ップ に構 築 して きた オ ブ ジ ェ ク トモ デ ル と の 整 合 性 が 取 りに くい と い う問 題 が あ る 。 しか し本 手 法 で はす で に こ の 段 階 で オ ペ レー シ ョン を導 き 出 して あ る 。 こ の オ ペ レー シ ョン が ク ラ ス で 公 開 さ れ る プ ロ セ ス と して まず 定 義 さ れ る。 ま た ク ラス へ の 入 力 デ ー タ と ク ラ ス か らの 出 力 デ ー タ は 、事 象 ト レ ー ス 図 か ら簡 単 な 変 換 で 得 られ る 「パ ラ メ ー タ フ ロ ー 図 」 とい う視 点 に よ り調 べ る こ とが で き る 。パ ラ メ ー タ フ ロ ー 図 は 図12の よ う に 事 象 フ ロ ー 図 の 事 象 の か わ り に 、 ク ラ ス 間 の デ ー タ の 流 れ を記 述 した も の で あ る 。流 れ るデ ー タ は ク ラ ス 問 を や り と り さ れ る事 象 に と もな うパ ラ メー タ で あ る 。 ま た制 御 信 号 は(信 号 名)と い う よ う に括 弧 で 名 前 を く くっ て 表 して い る 。 こ の デ ー タ は も と も と事 象 か ら導 き出 さ れ た もの で あ る の で 、 送 信 事 象 と対 応 す る オ ペ レー シ ョ ン か らデ ー タ とオ ペ レ ー シ ョ ン を対 応 付 け る こ とが で き る 。 こ れ に よ りオ ペ レー シ ョ ンの 引 数 が わ か る 。 ま た 送 信 事 象 と対 と な る返 信 事 象 も わ か っ て い る の で 、 オ ペ レー シ ョン の 返 り値 もわ か る 。 この パ ラ メ ー タ フ ロ ー 図 か ら ク ラス ご と の 最 上 位 機 能 モ デ ル が 書 け る 。 そ れ が 図13で あ る 。 こ れ は ク ラ スCDの 機 能 モ デ ル で あ る 。 18

騨 キ ャ ッ シ ュ カ ー ド 口座番号

プ

CD.カ ー ド挿 入

塞

_{取 消 メ ッセ ー ジ!!}

酬;;蕊塾_囲

のグ リ

》 づ …_,_凹

＼

鶏

∴

CD〆 ジ::/

トラ ンザ ク シ ョン結 果 作 成 図13:CDク ラ ス に対 す る 最 上 位 の 機 能 モ デ ル こ こ で 本 稿 で は プ ロ セ ス 名 の 書 きか た に拡 張 を加 え た 。 プ ロ セ ス を認 識 した 時 点 で そ れ が ど の ク ラ ス に 属 す る か をプ ロ セ ス 名 に 記 述 す る 。 例 え ば 、 CD.カ ー ド 挿 入 と い う よ う に 「ク ラス 名 。プ ロ セ ス 名 」 とい う よ う に プ ロ セ ス 名 を付 け る 。 「CD.カ ー ド挿 入 」 が オ ペ レー シ ョ ン と して 公 開 さ れ た プ ロ セ ス で あ る 。 ま た そ れ 以 外 の プ ロ セ ス は ク ラ スCDの プ ラ イ ベ ー トな プ ロ セ ス で あ る 。 そ して ク ラ スCDの 入 出 力 は パ ラ メー タ フ ロ ー 図 の そ れ に従 う。 同 様 に 銀 行 ク ラ ス と「]座ク ラ ス の 最 上 位 機 能 モ デ ル を 図14、15に 示 す 。 こ の3つ の 図 に お け る ク ラ ス の 入 出 力 は す べ て パ ラ メー タ フ ロ ー 図 に従 っ て い る 。 こ れ よ り こ れ らの 図 を入 出力 よ り合 成 す る こ と で 、 キ ャッ シ ュデ ィス ペ ン サ ー シ ス テ ム の 最 上 位 機 能 モ デ ル を得 る こ とが で き る 。 分 析 は ク ラ ス を ひ と つ づ つ 注 目 して 行 っ て も 、 ク ラ ス 全 体 を見 渡 しな が ら行 っ て も よ い 。 機 能 モ デ ル 全 体 か ら注 目 した い ク ラ ス 部 分 を 切 り出 した 視 点 を作 る こ とで ひ とつ 、 も し くは複 数 、 そ して 機能 モ デ ル 全 体 を分 析 者 が 自 由 に選 択 して 分 析 す る こ と が で き る 。 複 数 の ク ラ ス に つ い て 分 析 す る場 合 に は 、 どの ク ラ ス に 属 した プ ロ セ ス か を示 す た め にプ ロ セ ス 名 の 表 記 に 拡 張 を 加 え た 。 19

山

・

一

一

西

一

!銀 行.電 源 投 入 プロ セ ス ,'" ,' 電 源 投 入/' ,,'" ,,.

国 磐

銀

纏 選

択 →

国

映

、_ド 財 クシ

ー

  孟1たi認

一,

＼ ＼、 『＼ ∠ポ ＼ ＼ 銀 行.パ ス ワー ドチ ェ ッ ク 、 、 も㌧ 、、 し_る 、_も も ら ＼ ＼ 、 金 額 、種 類 口座OK

＼ ＼ ＼

ら も

銀行_新

一_.

＼,ラi+}`ク シ 。 珈,・r『 噌 トラ ン ザ ク シ ・ン 成 功 ら ゆ ＼ 〉/ トラ ンザ ク シ 。 ン英 敗/ト ' ラ ン ザ ク シ ・ ン失 敗 、' 、,' も び も ジ ＼/ 図14:銀 行 ク ラス に対 す る最 上位 の機 能モ デ ル

囲

∂ / ノ 、 、「 「、 、 、 、 ' 口座OK ほ

一 篇 掌 慧 ツ

ク＼ 一 ド

ー

、,ラ

、

濃 器 講_/三

、 ㌔ 、、 、 、 トラ ンザ ク シ ョン失 敗 図15:口 座 ク ラ ス に 対 す る 最 上 位 の 機 能 モ デ ル 20

『

・`…

一

一

6計

算機 による手法の支援

本 稿 で 提 供 す る 手 法 は 視 点 を切 り換 え な が ら分 析 をす す め る た め 、 そ の 視 点 を紙 に記 述 して い くの は 前 章 の分 析 例 を見 て もあ き ら か で あ る 。 特 に 要 素 の 問 に あ る対 応 関 係 に つ い て は 、分 析 例 で もそ の す べ て を記 述 は 繁 雑 に な りす ぎ る の で 省 略 した 。 実 際 に す べ て の 対 応 関 係 の 定 義 を行 う場 合 、 こ の程 度 の分 析 で も か な りの 文 書 量 に な る こ とが わ か っ て い る 。 こ の 問 題 に つ い て は 要 素 とそ の対 応 関 係 を維 持 す る デ ー タベ ー ス と 、視 点 の 切 り換 え を支 援 す る視 点 ツ ー ル に よ り解 決 す る 。 この 章 で は7つ の 視 点 の デ ー タ ベ ー ス ス キ ー マ を ひ とつ ひ と つ 定 義 す る 。 視 点 は 問 題 世界 の あ る 側 面 を満 た もの で あ る の で 、 そ れ ら の ス キ ー マ を重 複 部 分 か ら合 成 す る こ と で 、 問 題 世界 全 体 の ス キ ー マ を定 義 で き る 。 そ こ で 視 点 ご と の ス キ ー マ を合 成 す る こ とで 、 問 題 世界 の ス キ ー マ も定 義 す る 。 6.1イ ン ス タ ン ス 図 の ス キ ー マ イ ンス タ ン ス 図 は 図16の よ うな 要 素 で 構 成 さ れ る 。 InstanceDiagram Instance name Class name Link name 生成 する Association name {name=Association.name} Instance Attribute name value 生成す る Instance UserDefined Instance Aggregation WithObject _Attribute name {name=lnstanceAttribute.name} 図16:イ ン ス タ ンス 図 を構 成 す る 要 素 イ ン ス タ ン ス 図 は ク ラ ス(Class)か ら生 成 さ れ た イ ン ス タ ンス(lnstance)を リ ン ク (Link)で 関 連 付 け た もの で あ る。 リ ン ク は参 照 リ ン ク な どの 一 般 的 な リ ン ク で あ る 分 析 者 定 義 の 関 連(UserDefined)、 集 約 リ ン ク(Aggregation)、 オ ブ ジ ェ ク ト を用 い た リ ン ク (WithObject)に 分 類 さ れ る 。 な お こ の リ ン ク の 種 類 は視 点 の 切 り換 え で も用 い られ る 。 例 え ば 集 約 リ ン ク を視 点 作 成 の キ ー と し て使 用 す れ ば 、 部 品 イ ン ス タ ン ス を表 示 させ な い こ と もで き るの で 、図 が 繁 雑 に な る の を 防 ぐ こ とが で き る 。 リ ン ク は ク ラ ス を結 ぶ 関 連(Association)に よ って 生 成 さ れ る 。 生 成 さ れ る 時 、 リ ン ク は 生 成 した 関 連 と 同 じ名 前 を持 つ 。 そ れ を表 す た め 、 図16で は ク ラス 問 に ま た が る属 性 の 制 約 を 、 {name‐Association.name} とい う形 で 記 述 して い る 。 21

一

WithObject Instance Aggregation 接 続 され る 接 続 さ れ る 接 続 さ れ る 合 成 部PΩInstance と して 関 連 とな る 2+ 生成す る role qualifier ualifierValue Class を持 つ 接続 される InstanceAttribute Instance UserDefined 図17: イ ン ス タ ン ス 図 が 表 現 す る 要 素 の ス キ ー マ ま た イ ン ス タ ンス は イ ン ス タ ンス の 属 性(lnstanceAttribute)を 持 つ 。 そ して イ ン タ ン ス の 属 性 も ク ラ ス が 持 つ 属 性(Attribute)か ら生 成 さ れ る 。 こ れ らか ら図17の よ うに イ ン ス タ ン ス 図 が 表 現 す る要 素 の ス キ ー マ を表 す こ とが で き る 。 6.2オ ブ ジ ェ ク トモ デ ル の ス キ ー マ オ ブ ジ ェ ク トモ デ ル は 図18の よ うな 要 素 で 構 成 さ れ る 。 ク ラ ス は イ ン ス タ ンス を生 成 し、 ク ラス 間 に は 関 連 が は られ る 。 関 連 に は 継鍬 も含 ま れ 、弁 別 子 に よ り二 種 類 に分 類 さ れ る 。 ま た ク ラ ス に は 属 性 や ク ラ ス の 操 作 で あ る オ ペ レー シ ョン が 含 ま れ る 。 こ の 構 造 を表 わ した オ ブ ジ ェ ク トモ デ ル が 表 現 す る要 素 の ス キ ー マ を図19に 示 す 。 ObjectModel Instance name Class name specific Association name Attribute name dataType InitialValue constraint Operation name parameterList returnValueTypeList InheritanceAggregationUserDefined discriminato {discriminator={true;false}} WithClass 図18:オ ブ ジ ェ ク トモ デ ル を構 成 す る要 素 22

Inheritance 接続 される Instance Aggregation 接 続 さ れ る 接 続 さ れ る 部 parent 接 続される を持 つ 合成 生7る 2 Class 2 を持 つ と して関 連 とな る Attribute role multipleValu qualifier 接 続 さ れ る WithClass 接続 される Operation UserDefined 図19:オ ブ ジ ェ ク トモ デ ル が 表 現 す る 要 素 の ス キ ー マ 6.3事 象 ト レ ー ス 図 の ス キ ー マ 事 象 ト レ ー ス 図 は 図20の よ う な 要 素 で 構 成 さ れ る 。 ま ず そ の 事 象 ト レー ス 図 が ど の よ うな シ ナ リオ か ら な る の か が 必 要 で あ る 。 そ して イ ンス タ ン ス とそ の 関 連 、 そ して送 信 事 象 、受 信 事 象 を分 類 した ス テ ップ(Step)よ り事 象 ト レー ス 図 は 表 現 さ れ る 。 ス テ ッ プ と イ ンス タ ン ス の事 象(lnstanceEvent)、 ク ラ ス の事 象(Event)、 オ ペ レ ー シ ョ ンの 関 係 は 図21に 示 す 。 こ れ ら よ り図22の よ う に事 象 ト レー ス 図 が 表 現 す る 要 素 の ス キ ー マ は 表 わ さ れ る 。 EventTraceGraph Scenario name content Instance name InstanceAssociatio name Step 送信 する Instance UserDefined 1 受信 する Instance Aggregation WithObject InstanceEvent 図20:事 象 ト レー ス 図 を構 成 す る 要 素 23

一・・{排他}… Step 送 信 す る 受 信 す る 1 1nstanceEvent name i l同時 に 存 在1生 成 す る … Event name 1 (name=lnstanceEvent.name): 対 応 す る Ooeration name {name=Event.name} 図21:づ1象 と オ ペ レ ー シ ョ ン の 関 係 WithObject 接 続 され る と し て 関 連 とな るSt・p

響 蒜 憾,鶯 畿譜

_{を 発 生 す る (受 け る)} 2+ roleに 入 る(を 出 る) qualifier接 続 さ れ る qualifierValue UserDefined 図22:事 象 ト レ ー ス 図 が 表 現 す る 要 素 の ス キ ー マ 24 ●

一

騨

6.4事 象 フ ロ ー 図 の ス キ ー マ 事 象 フ ロ ー 図 は 図23の よ う な 要 素 で 表 わ さ れ る 。 そ れ は事 象 ト レー ス 図 で 表 わ さ れ た イ ン ス タ ン ス を グ ル ー プ 化 して い る ク ラ ス 、 そ して 関 連 と送 受 信 す る 事 象 で あ る 。 こ の 構 造 は 図24に 示 す 。 EventFlowGraph Class name Association name Event name UserDefined Inheritance discriminator Aggregation WithClass {discriminator={true;false}} 図23:事 象 フ ロ ー 図 を構 成 す る要 素 Inheritance 接続 され る Aggregation 接 続 され る 接 続 され る 部 口 接 続 され る か ら入 力 さ れ る 合成 child 2i role multipleValue qualifier Class 2i Event 接続 される WithClass 接 続される 、 も 、 、 、 、 、、 '・ を入 力 す る 、 を 出 力 す る に 出 力 され る UserDefined 図24:事 象 フ ロ ー 図 が 表 現 す る 要 素 の ス キ ー マ 6.5動 的 モ デ ル の ス キ ー マ 動 的 モ デ ル の 構 成 要 素 を図25に 示 す 。 ク ラ ス は ひ と つ の 動 的 モ デ ル を持 ち 、 そ の ク ラ ス が 生 成 す る イ ン ス タ ン ス の 状 態 と そ の 遷 移 、 動 作 な ど の事 象 を表 す 。 そ し て事 象 は 属 性 リス トを 持 つ こ とが あ る 。 こ の 構 造 を 図26で 示 す 。 25

Class name を持 つ DynamicModel Attribute name

Event State Transition

guard 図25:動 的 モデ ル を構 成 す る要 素 Attribute 属 性 リス ト Transition 遷移事象 動作 Event SOUfC9 活動 destination State 入 退 活 動 場 場 動 動 作 作 _内部事象 図26:動 的 モ デ ル が 表 現 す る 要 素 の ス キ ー マ 6.6パ ラ メ ー タ フ ロ ー 図 の ス キ ー マ パ ラ メー タ フ ロ ー 図 の 構 成 要 素 を図27に 示 す 。 パ ラ メ ー タ フ ロ ー 図 で は ク ラ ス や 関 連 の 他 に 流 れ る パ ラ メ ー タ を表 現 す る 。 こ の パ ラ メー タの デ ー タ(Data)は 機 能 モ デ ル の デ ー タ フ ロ ー に 、 信 号(Control)は 制 丁一pフロ ー に 対 応 す る 。 ク ラ ス に パ ラ メー タ は 入 力 、 も し くは ク ラス か ら出 力 さ れ 、 そ の パ ラ メ ー タ は 別 の ク ラ ス か ら出 力 さ れ た もの 、 も し くは 入 力 され る 。 そ れ を 表 わ した の が 図28で あ る 。 26 一 一一   一 蝋嘲 ■關 劇■■■■ ■ ■■■ ■ ■ ■圏■ ■■ ■■-f

ParameterFlowGraph Class name Association name Attribute itanceIIAggregationWithClassUserDefined discriminator {discriminator={true;false}} 図27:パ ラ メ ー タ フ ロ ー 図 を 構 成 す る 要 対 応 す るParameter name ControlData

素

Inheritance 接続 される Aggregation 接 続 さ れ る 接 続 さ れ る 接 続 さ れ る 部 目 合 成 Class child 2+12+ role multipleValue qualifier UserDefined 対 応す る 接19Cさ れ る WithClass 接 続 さ れ る か ら 入 力 さ れ る 、 ・Parameter 、 、 、 、 、 、 も 、 、 、 、 、 、 も 、 、 、 、 、 、 、 、 、 、 、 、 、 、 、 、 も ら も ら も し ＼_'・＼_{を出 力 す る}歓 力する に出 力 さ れ る 図28:パ ラ メー タ フ ロ ー 図 が 表 現 す る 要 素 の ス キ ー マ 27 一

6.7機 能 モデ ル の ス キ ー マ 機 能 モ デ ル の 構 成 要 素 を 図29に 示 す 。 機 能 モ デ ル は ク ラ ス に 含 ま れ る プ ロ セ ス 、 プ ロ セ ス 間 を流 れ る デ ー タ、信 号 、 そ して 属 性 、 と き に は ク ラ ス と も対 応 す る デ ー タス ト ァ と こ れ も ま た ク ラス と対 応 す る こ とが あ る ア ク ター に よ り構 成 さ れ る 。 ま た プ ロ セ ス を詳 細 化 す る こ とで ま た 機 能 モ デ ル は 階 層 化 す る 。 こ れ よ り機 能 モ デ ル が 表 現 す る 要 素 の ス キ ー マ を図30に 示 す 。 で詳細化 される FunctionalModel Proces name specific DataFlow data ControlFlow name を含 む に対 応 す る i Operation DataStore name に対応 する に対応す る Class name Actor に対応 する name Attribute name に対応す る に対 応する name に対 応す る 図29:機 能 モ デ ル を構 成 す る 要 素 DataStore SOUfC9, destination destination, SOUfC6 S Process source Actor

DataFlow destination ControlFlow

destinatlon,source destination source,destination 図30:機 能 モ デ ル が 表 現 す る 要 素 の ス キ ー マ 28 一 一一一 蘭幽噛■闘 圏■一 ■■ 騨■■ ■ 圏■ ■■國剛 ■ ■■■ 勝

6.8ス キ ー マ の 合 成 こ れ まで ひ とつ ひ とつ の 視 点 に対 して 、 そ の 要 素 の 関 ・連を見 て きた 。 そ の 視 点 は 問 題 世 界 の 一 部 の 要 素 につ い て 見 た もの で あ る 。 こ こ で は今 ま で ひ と つ ひ とつ の 視 点 に 対 し て 定 義 さ れ た ス キ ー マ を合 成 す る こ とで 、問 題 世 界 全 体 を表 現 す るス キ ー マ を定 義 す る 。 合 成 に は まず ひ とつ ひ とつ の ス キ ー マ で 重 複 部 分 を重 ね あ わせ る 。そ して オ ペ レー シ ョ ン とプ ロ セ ス の よ う に対 応 す る要 素 に つ い て 「対 応 す る 」 とい う新 た な 関 連 を は る 。 こ れ に よ り図31が 得 ら れ る 。 に対応 する Aggregation WithObject 接続 される 接続される Step 送信す る 合戒 畿 関連 klnd.InpugoutpuQJ kind1 Actor 6WfCE, destlnatbn _{畿 鴇 電1。n,} Processs SOU/CB DataStor DataFlow destlnaUon source,dOSIUIat1011 desdnatbn,sour に対 応す る ControlFlow destlnatbn に対 応 す る に 対 応 す る 受信する に対 応する Inheritance 接続 され る order を発 生する 接 続 さ れ.る 部Instance 一 に入 る (受ける) (を出 る) InstanceEvent 接 続 さ れ る Aggregation 接 続 さ れ る 部 arent 接続 される 合 を含む に対応す る から入力される に 出 力 さ れ るParameter 入 力 す る Class 生成す る 生成する Event z≪ 警 れ る を出力す る 2r 接 続 を持つ さ れ を持 つ を持 つ として関連 とな る Attribute role qualifier qualifierValue UserDefined InstanceAttribute 魏::::: 遷 移 亭象'9■.. Transition き    

耀

、1

鋤 甥

舷 芸え

る る role multipleValu qualifier WithClass 接 続される Operation UserDefined 内郎 亭象 活動 み場動作 逼場動作 対応 する 60Uf destinatbStHtO 属 性 リ ス ト 図31:問 題 世 界 を 表 現 す る要 素 の ス キ ー マ 次 に こ の 要 素 ス キ ー マ よ り視 点 を切 り出 す 構 造 を定 義 す る 。 こ れ に は 視 点 が 参 照 す る 要 素 へ 視 点 ク ラス か ら集 約 関 連 を結 ぶ だ け で あ る 。 こ れ は 図16か らの 視 点、を構 成 す る 要 素 に よ り定 義 さ れ て い る 。 ま たOMTの 視 点 は 図32に よ うに 形 成 され る 。 29 ・一 一一 醐醐 嗣醐 幽 ■闘剛 ■■騨 ■日圏 ■■ 団■ ■關 ■ ■■■■勝

OMTView DymamicModelFunctionalModelSpecificationObjectModel content InstanceDiagramEventTraceGraphEventFlowGraphParameterGraph 図32:0MTの 視 点 30 ・一一 醐 囎藺 醐■■コ圏■圏圏■ ■■■■闘■■■■■ ■■ ■勝

7PCTEへ の 実 装 PCTE(PortableCommonToolEnvironment)は ソ フ ト ウ ェ ア エ ン ジ ニ ア リ ン グ をサ ポ ー トす る 環 境 の 一 部 と して 、 そ こ で 扱 わ れ るデ ー タの 共 通 的 な 処 理 機 能 群 に対 す る 機 械 独 立 な ア ク セ ス を提 供 す る 。 す な わ ち ツ ー ル の 可 搬 性 を支 援 す る解 放 型 リ ポ ジ ト リ の イ ン タ ー フ ェ ー ス 標 準 で あ る 。 ● 本 研 究 で はPCTEの ソ フ トウ ェ ア パ ッ ケ ー ジ で あ るEmeraude社 のPCTEV12を 使 用 して 、前 章 で 定 義 した ス キ ー マ をPCTEの オ ブ ジ ェ ク トベ ー ス に 実 装 を行 っ た 。 7.1PCTEの オ ブ ジ ェ ク ト ベ ー ス PCTEシ ス テ ム の 中 核 と な る の は オ ブ ジ ェ ク トベ ー ス で あ る 。 そ の デ ー タ モ デ ル は 、 い わ ゆ るERAモ デ ル の 拡 張 で あ る。 オ ブ ジ ェ ク トが エ ン テ ィテ ィで あ り、関 連 に あ た る も の が 双 対 の リ ン ク で あ る 。 こ の リ ン ク に は カ テ ゴ リが あ り、 こ れ に よ りエ ン テ ィテ ィ の 関 係 を表 す 。 リ ン ク に は4つ の 種 類 が あ り、 そ の 中心 の 三 角 部 分 に 表 さ れ て い る 。 リ ン ク の 種 類 を表2に 示 す 。

◇

◇

◇

◇

◇

◇

関係型の性 質 視点 オブジェク トが終点 オブジェク トを 要素 とす る複合構造 を示 す。 終点 オブジェク ト側 からこの関係 を 消去す ることはで きない。 複 合 構 造 の構 成 要 素 が明 示 的 に 構 成 主 を 参 照 す る こ とを示 す 。 compositionリ ン ク の終 点 側 か ら こ の 関係 を 消 去 す る こ とが で きる の は 、 そ の オ ブ ジ ェ ク トに流 入 す る他 のcompositionリ ン ク が 存 在 す る場 合 に 限 られ る 。 一 方 的 な 参 照 関係 を示 す 。 参 照 して い る の は 視 点 オ ブ ジ ェク トで あ り、 終 点 オ ブ ジ ェ ク トか らこ の 関 係 を 消 去 で きな い 。 対 等 な参 照 関係 を示 す 。 参 照 関 係 に 主従 は な く、終 点側 、視 点側 の い ず れ か ら で も こ の 関係 を 消 去 で きる 。 表2:関 係 型 の 分 類[鯵 坂93] 7.2オ ブ ジ ェ ク ト ベ ー ス へ の 定 義 要 素 の ス キ ー マ は 図33の よ う に 拡 張ER図 に変 換 した 。 そ して こ の 要 素 の ス キ ー マ よ りOMTの 視 点 を切 り出 す ス キ ー マ は 図34の よ う に な る。 31

一

一

一

■

■

■

彫

' C Q a 8 0 鳳 区 21 匡

s

剛a 『5 50 鳳a ぼ Q 5 C §_■至_● セ1璽& ●o Q 萎 e8 0 で 聖 四 Y` s 5 a でE O U 圃 A O で s ● 罹 量 馨 屡 1 .餐 盈言 Y 箕 u D lse Y切8S Q 鴇L m E 齢電 v 睾 旨 甘 セ ● ≦ V ● でi 蓬, St E E v8

1i

Q CO a aO x Q ll Q 塁三 言 u Q で_コ 8¥s 夏fi E CN Q T a 羅: § 畳 ￠ 匡 艮 1 .1 匡 o 匡 Q Cs aCO C 8s ぼ α=江 誉暑 ヨ1 ∋ 冒1 U マ}梱 【【1 匹B 日 夏 o● 55 C_C r ♪●. 1 ヨ O ●E n L り掩 U ￠w ぼ き ; 5 C 臨 Q α=ぼ Q 6 Q ヨ 莞 暑 1 5 o SaO Q a s a 扁蕊 【= 5 a _, a 。1百 s V冨 ご 匡 に 塁 彗 蕾 こ Q 1 1 s 』 1を ec 5帽1曾 寄 言 蕎 屯 ぢ 亘l U n M墨 2勇 Q ■ とR M` 1 Q C● 》 ● u玩 石C V 1 ￠ CQ 日 rs… 9 Q 而蕊 Q r C ● Q 6 z z「 匡 C4 2 云 8 o 老 J 琶 8 塁 α二 }S 月1 巨 昌 ●司 の 、 匹 ￠ as 9 8■ 匡 誓i 塵 a實1 " 日5 9_c 薯 s 互 「 匡 Q 藷 C -1コ 垂 三 豊5 C Q 匡 Dc 碁 § 8ぬ の ● 霜 騙 ζ こ Q ぼ Q Q 建 言ヨ ヨ 璽 U 冨 田 曇= 5 こ 1 萎 M 巨 ト C4 司 ● 望 ∈ 薯.§<sub>脚</sub> つ で ●0 55 CC 1 Q 4 L4a<sub>O</sub> ●s 8 鴇 80 n l こ 吊 急 § 己o § 巨 2 3`ζ ミ D2 N Q Q ぼ w -_■ 9 『δ P 5 2 5 C 塁 蓋 8 鍾 誓 .笙F乙1●1 ぞ=ピ 351 Vc α=α aO遷 」 C a ぼ Ml号 書 § 噂 ぼQ 嚢 匡 C4 aY OF 琵 4C ご 差a鱒 , 藷駈 契lo ヨ 巨 ぼ 「 .雲 の 8 E8 5 C 6 a 喚1 且 9 Q 8 9 6 α a だ z w 鶏 MC Q 璽 婁 幽 匡 昌w 塁 4 臣 S司 e § a a1 .萎 量 震 暑1 ` 1奮 9 0ζ 【 需 尾 C_C Q ぼ ぼ 召 ㌧1 Ok Q a.gsO so_ll ss ● ■ 5需 C_C 8ぎ sll でa づ ●E n5 C Q 3 0 LL O C 8 B4 sY 塁 J_C ぼQ e ⊃D a_O ど 22 ●● 暢o 君 鱒1 の1ヨoり Q 匡 90 N 2n O 匡Q 茎 、司 0 図33 :問 題 世界 を表 現 す る要 素の ス キ ー マ 32

b 1 LL A 0 D

1

5 A 2 A o~ $ A A 8 a 5 LL a a O $ CI V1 31 1• O 8 IA $ 4 z Z .S 3 3 34: OMT

11IIk`'

33

一 8手 法 の 評 価 現 在 、 よ り大 規 模 な 事 例 と して[倉 谷93]で 扱 わ れ て い る 「実 在 す る会 社 の 生 産 管 理 部 門 の 業 務 」 を本 稿 で 提 案 した 手 法 に よ り分 析 を す す め て い る 。 そ の 結 果 、次 の 点 が 明 ら か に な っ て き て い る 。 ・ 分 析 は広 く浅 く行 うの で は な く、 問 題 の 中 核 を な す 部 分 に つ い て特 に 注 目す る 。 ・ 中 核 部 分 か ら周 辺 部 分 に 分 析 の 目 を移 して い くに つ れ 、浅 い 分 析 に と どめ て お く。 ・ ク ラ ス 構 造 が 複 雑 に な る 時 に は大 きな 構 造 を ま ず 認 識 し、 そ れ を集 約 関 係 を用 い て そ の 構 造 を 構 成 す る小 さ い 構 造 を認 識 す る の が 有 効 で あ る 。 ・ オ ブ ジ ェ ク トモ デ ル と現 実 世界 との 対 応 性 の 良 さ は 、 事 象 ト レー ス 図 の 事 象 の 流 れ が 現 実 世界 で の 処 理 手 順 と一 致 す る こ とで 判 断 で き る 。 ・ ク ラ ス 川 で の 事 象 の 流 れ の 複 雑 さ が 増 す ご と に 、 オ ペ レ ー シ ョ ン を 基 礎 と した 機 能 モ デ ル の 導iil--1の必 要 性 が 増 す 。 こ れ らの 結 果 よ り、本 手 法 が 教 科 書 に 記 載 さ れ て い る例 題 の よ うな 閉 じた 世 界 を対 象 に す る だ け で な く、 実 際 の 業 務 世界 を も対 象 に で き る と考 え て い る 。 9お わ り に 本 稿 で は分 析 す べ き 問 題ff1一 をOMTが 表 現 し よ う と して い る 要 素 に分 解 し、 どの 部 分 に集 中 して分 析 を行 うか を視 点 と定 義 し た 。 そ して ひ とつ ひ とつ の 視 点 の 構 造 を と ら え 、 そ れ ら の 問 の 共 通 性 を と ら え る こ とで 問 題 世 界 の 表 現 をモ デ ル で は な く、要 素 の 集 合 で あ る視 点 と と らえ た 。 そ れ に よ り連 続 的 に分 析 を す す め る こ とが で き 、OMTの3 つ の モ デ ル 間 の 間 に存 在 し て い た 矛 盾 を 早 期 に排 除 で き る よ う に な っ た 。 ま た 要 素 間 の 対 応 を取 る た め に 大 量 の 文 書 が 必 要 と な っ て しま う問 題 につ い て は デ ー タベ ー ス ス キ ー マ を定 義 し、PCTE上 に そ れ を実 装 す る こ と で 言ヒ算機 支 援 を行 え る 環 境 を整 え た 。 しか しこ の ス キ ー マ は ま だ 完 全 に はOMTの モ デ ル を表 現 で き て い な い 。 動 的 モ デ ル の 階 層 化 な ど が そ の 代 表 で あ る 。 ま たPCTE上 の オ ブ ジ ェ ク トベ ー ス は ク ラ ス や 関 連 問 に は た ら く制 約 を定 義 す る こ とは で き な い 。 こ れ らの 管 理 は そ の ス キ ー マ の 上 に の る ッ ー ル に よ り行 わ れ る 。 しか し新 た な 視 点 と して ツ ー ル を加 え る に あ た っ て 、 ス キ ー マ 情 報 が ツ ー ル に委 ね ら れ る の は 好 ま し くな い 。 そ こ で 制 約 の 管 理 を リポ ジ ト リの 中 で 行 え る 、 オ ブ ジ ェ ク トベ ー ス の 上 に の るサ ー ビス 層 が 必 要 で あ る 鯵 坂93]。 具 体 的 に は生 成 規 則 を持 っ た オ ブ ジ ェ ク トの 生 成 関 数 で あ る 。 こ れ らの 問 題 を解 決 した 後 、 視 点 ツ ー ル を こ の デ ー タベ ー ス ス キ ー マ 上 に の せ る こ とで 、OMTを 支 援 す るCASE環 境 を実 現 す る こ とが で き る 。 34 一一 一幽脚 咽咀圏 ■■ ■■闘 ■■■■■■ 圏■■■ ■ ■■■勝

Appendix

一 A「 キ ャッ シ ュ デ ィ ス ペ ン サ ー シ ス テ ム 」 に 関 す る 問 題 記 述 銀 行 に は何 台 か の キ ャッ シ ュ デ ィス ペ ン サ ー が 設 置 され て い る 。銀 行 に 口 座 を持 つ 顧 客 は そ の 口座 に対 す る キ ャッ シ ュ カ ー ド を銀 行 か ら発 行 して も ら う こ とで 、 窓 口 か らだ け で な く、 キ ャッ シ ュデ ィス ペ ンサ ー か ら も現 金 の 払 い 戻 しや 預 金 が で き る よ うに な る 。顧 客 は カ ー ド ご とに4桁 の パ ス ワー ド を持 ち 、 そ れ に よ っ て セ キ ュ リ テ ィ対 策 を して い る 。 ま た 口 座 に は 少 な く と も当 座 と普 通 を含 む さ ま ざ ま な 種 別 が あ る 。 そ して 口 座 ひ とつ ひ とつ に 借 入 限 度 額 が 決 ま っ て い る 。 36 ・一一一繍幽 鞘■醐 幽剛 ■■■■闇■ 圏■圏■ ■■ ■■■■■■■■夢

脚 参 考 文 献 [Rumbaugh92]JamesRumbaugh他 著,羽 生 田 栄 一 監 訳.オ ブ ジ ェ ク ト 指 向 方 法 論OMT. ト ッ パ ン,1992. [西 村93】 西 村 一 彦,本 位[[1真 一.複 合 ビ ュ ー ポ イ ン ト に 基 づ く 仕 様 化 プ ロ セ ス の 分 析.情 報 処 理 学 会 論 文 誌,34,5,1993. [酒 匂93]酒 匂 寛 オ ブ ジ ェ ク ト 構 造 モ デ ル と 動 的 モ デ ル の 統 合 に 関 す る 考 察Software Symposium'93,1993. [Nuseibeh93]BasharNttseibeh,JeffKramer,AnthonyFinkelstein.ExpressingtheRe-lationshipsBetweenMultipleViewsinRequirementsSpecification.Proceedings ofthe15thInternationalConferenceontheSoftwareEngineering,IEEE,May, 1993 [Monarclli92]D.E.MonarchiandG.1.Puler.AR.escarchTypologyforObject-OrientedAnalysisandDesign.Commun.ACM,35,9,1992. [満 田93]満 田 成 紀,鯵 坂 恒 夫,松 本 吉 弘 オ ブ ジ ェ ク ト指 向 分 析/設 計 の た め の ソ フ ト ウ ェ ア 基 底 モ デ リ ン グ,第12回 ソ フ ト ウ ェ ア研 究 会 資 料,日 本 ソ フ トウ ェ ア 科 学 会, 4,1992.

[ECMA90]ECMA.PortableCommonToolEnvironment(PCTE)AbstractSpecifica-tion,StandardECMA149,1990. [鯵 坂93]鯵 坂 恒 夫,沢 田 篤 史,満 田 成 紀.EmeraudePCTE,コ ン ピ ュ ー タ ソ フ ト ウ ェ ア, vo1.10,No.2,Mar.,1993. [倉 谷93]倉 谷 祥 久,門 脇 千 恵,西 山 雄,落 水 浩 一 郎.構 造 化 分 析 の 事 例 研 究(生 産 管 理 シ ス テ ム),JaistResearchReport,9,1993. 37 一・・一 一 一蘭醐 脚 馴圏■嗣 ■闘■ 胴 ■■圃■■ ■■■■■■ ■夢