


合意とはD-Caseとは
医療情報システムの安全管理
議論分解パターン
アーキテクチャ記述言語ArchiMate

名古屋大学 情報連携統括本部 情報戦略室教授 山本修一郎
1

Copyright Prof. Dr. Shuichiro Yamamoto 2014

意見が一致すること契約の成立要件：契約当事者間の意思表示の合致
広辞苑

Copyright Prof. Dr. Shuichiro Yamamoto 2014

2

合意の型
 合意条件の下で、複数の意見が一致する
 項目ごとに、意見が一致する
 目標条件を対象が満たしている
 法律を行動が遵守している 原則を行動が満たしている 目標条件を実現手段が満たしている 要求をシステムが満たしている 計画を実行結果が達成する

3

Copyright Prof. Dr. Shuichiro Yamamoto 2014

主張
前提

戦略
分解された主張

証拠
Copyright Prof. Dr. Shuichiro Yamamoto 2014

4

方法序説とD-Case
規則

方法序説

D-Case

明証性

明証的に真理であると認めるもの以外を判断の中に入れないこと

正しさが確認された証拠であること分析

検討しようとする難問を必要なだけの小部分に分割すること

主張を複数の下位の主張に分解することもっとも単純でもっとも認識しやすいものから段階的にもっとも複雑なものの認識へと昇っていくこと、証拠によって論証できる最下位の主張から、最上位の主張を説明すること自然のままでは前後の順序がつかないものの間に順序を想定すること

主張を分解するための前提を明確にすること

最後に完全な枚挙と、全体の見直しをして、見落としがないことを確信すること最上位の主張を説明するために、完全な証拠が列挙できていること

総合枚挙参考）デカルト著、谷川多佳子訳、方法序説、岩波文庫、1997
Copyright Prof. Dr. Shuichiro Yamamoto 2014

5

D-Caseの基本概念
説明対象が満たすべき特性の基準

合意基準

D-Case
説明対象（モデル）
証拠に基づく説明によって、説明対象が合意基準を満足することを記述
構成要素とその関係Copyright Prof. Dr. Shuichiro Yamamoto 20146

第三者への説明責任の遂行
原則

対象生産物が原則を満たしている

対象生産物の構成

対象生産物の構成で説明

対象生産物の構成要素が原則を満たしている

対象生産物の構成要素間の関係が原則を満たしている

Copyright Prof. Dr. Shuichiro Yamamoto 2014

7

論理木による第三者への説明責任の遂行
対象生産物が原則を満たしている

対象生産物の構成要素が原則を満たしている

対象生産物の構成要素間の関係が原則を満たしている

MECE（Mutually Exclusive Collectively Exhaustive)

分解理由
分解の前提
証拠

論理木の図式要素では表現できない

Copyright Prof. Dr. Shuichiro Yamamoto 20148

D-Case シラバスの構成例
導入

議論モデル
作成

議論モデル
境界議論モデル
妥当性評価

議論モデル
合意形成
ツール支援

議論モデル管理

Copyright Prof. Dr. Shuichiro Yamamoto 2014

9

D-Case言語の設計と実装
パターン、モジュールを含む
D-Caseの言語仕様を設計、D-Case Editorで実装→
世界ではじめてのアシュアランスケースの形式的な設計、実装v(g[v/ x], , [x :v(g[v/ x], e[v/ x], [x :(g, , [x := ? ]) −!

(g, e, [x := ? ]) −!

(g, st, (P1 , . . . , Pn ),[x :{ s 1 ,...,s k }−!

k(g, st, m[i , j ](P ), d) −!

= v])

v

= ? ]) −!

(g[v/ x], st[v/ x], (P1 [v/ x], . . . , Pn [v/ x]), [x :(g, st, c[i , j ](P1 , . . . , Pn ), d)= v])= v])(g, st, (Ps 1 , . . . , Ps k ), d)(g, st, (P, . . . , P ), d)(P repeats k times)µµ .P −!

P [µ .P/ ]µ .P −!

Yutaka Matsuno,
A Design and Implementationof an Assurance Case Language
In Proc. of IEEE/IFIP DSN 20142014.6にOMGで標準化提案予定。
D-Caseが世界標準へ

www.dsn.org

本実装に基づく
D-Caseパターンライブラリを公開へ

ディペンダビリティ分野のトップカンファレンス
IEEE/IFIP DSN2014 (Atlanta, 6.23-26,2014)に採択！
44年のDSNの歴史で、日本からの採択数は１０数件程度
2014年度は56本の採択論文中、本論文のみ、日本から採択

Copyright Prof. Dr. Shuichiro Yamamoto 2014

11

説明責任
 電子的に医療情報を取り扱うシステムの機能や運用方法が、その取り扱いに関する基準を満たしていることを患者等に説明する責任である。
 これを果たすためには、以下のことが必要である。
 システムの仕様や運用方法を明確に文書化すること
 仕様や運用方法が当初の方針の通りに機能しているかどうかを定期的に監査すること
 監査結果をあいまいさのない形で文書化すること
 監査の結果、問題があった場合は、真摯に対応すること 対応の記録を文書化し、第三者が検証可能な状況にすること
参考）医療情報システムの安全管理に関するガイドライン、第4.1版 平成２２年２月 厚生労働省
http://www.mhlw.go.jp/shingi/2010/02/dl/s0202-4a.pdf
Copyright Prof. Dr. Shuichiro Yamamoto 201412

医療情報システム安全管理のD-Case

Copyright Prof. Dr. Shuichiro Yamamoto 2014

13

証拠文書
証拠分解
説明対象
システム対象の表記法対象が持つ共通構造

D-Case
対象分解
参照モデル分解

説明
条件分解
推論分解
再分解

既存D-Case
Copyright Prof. Dr. Shuichiro Yamamoto 201414

議論分解パターンの事例
分類

事例記述法
18

アーキテクチャ, 機能, 属性, 完全化, プロセス, プロセス依存関係 , 階層化,
データフロー図, ビュウ, ユースケース, 要求, 状態遷移, 運用要求, シーケン
ス図, ビジネスモデル、ゴールモデル、クラス図、基本参照モデル
11DEOS プロセス,リスク, 組み込みシステム, コモンクライテリア, 要求テンプ
レート, システム境界, 欠陥モード, 非機能要求グレード, テストケース, 問題
フレーム、アーキテクチャメタモデル

条件8

ECA, 条件判断, 代替案選択 , 矛盾解消, 平衡化, 改善, 明確化、達成

推論
4帰納法, 消去法, 否定推論, 反駁

証拠11法制度, 形式的証明, モデル検査, 試験成績書, 合意文書, レビュ報告書, シミュレーション, 評価報告書, 説明書, モニタノード, 文書

再利用
2水平分解、垂直分解
Copyright Prof. Dr. Shuichiro Yamamoto 2014

分類

15

TOGAFアーキテクチャ開発フェーズ

ArchiMate コア

ビジネス・アーキテクチャ
情報システム・アーキテクチャ
技術アーキテクチャ

動機づけ拡張準備
アーキテクチャ・ビジョン
アーキテクチャ変更管理
要求管理

実装・移行拡張

機会とソリューション
移行計画
実装・ガバナンス

Copyright Prof. Dr. Shuichiro Yamamoto 201416

アプリケーションDB連携サービスに対するテクノロジー層モデルの例

Copyright Prof. Dr. Shuichiro Yamamoto 201417

テクノロジー層モデル例の保証ケース（全体）Copyright Prof. Dr. Shuichiro Yamamoto 201418

ArchiMateのためのD-Case方法論
ArchiMate

O-DA/ D-Case

ゴールモデル

ゴールD-Case

要求モデル

要求D-Case

動機拡張
ビジネス層

ビジネスプロセス

ビジネスプロセスD-Case

AP層

データモデル、APモデル

データ・AP D-Case

技術層

配置モデル

技術層 D-Case

実装移行拡張作業モデル、成果物モデル

作業・成果 D-Case

ArchiMate/D-Case

パターン

ArchiMateモデルに対して開発Copyright Prof. Dr. Shuichiro Yamamoto 201419

 合意記述 D-Caseの基本概念
 医療情報システムの安全管理
 議論分解パターンの適用事例
 アーキテクチャ記述言語ArchiMateへの適用事例

Copyright Prof. Dr. Shuichiro Yamamoto 201420