npo umtp 顧問 元東京国際大学 教授 iso/iec jtc1 ... › pdf › mf2014 ›...

46
NPOUMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 SC32WG2metadataIEC TC3 SC3DCommon Data Dictionary堀内 1

Upload: others

Post on 07-Jul-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

(NPO)UMTP 顧問

元東京国際大学 教授 ISO/IEC JTC1 SC32WG2(metadata)

IEC TC3 SC3D(Common Data Dictionary)

堀内 一

1

Page 2: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

2

第12回

UMTPモデリングフォーラム

Page 3: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

大会委員長

国立情報学研究所 教授

浅野 正一郎

プログラム委員長

元東京国際大学 教授

堀内 一

プログラム委員会

岸上 信彦

日本電気株式会社

吉田 裕之

富士通株式会社

羽生田 栄一

株式会社 豆蔵

藤井 拓

株式会社

オージス総研

山城 明宏

東芝ソリューション株式会社

中原 俊政

東京情報大学

菅又 久直

サプライチェーン情報基盤研究会

今野 隆一

ジャパンシステム株式会社

恒川 正浩

株式会社

日立製作所

3

Page 4: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

プログラム委員会

武田 成史

日本アイ・ビー・エム株式会社

穴沢 悦子

インフォテリア

株式会社

羽田 昭裕

日本ユニシス

株式会社

仁木 卓哉

株式会社

アイ・ティ・

イノベーション

大林 正晴

株式会社メタキューブ

事務局

小林 正博

中田 博幸 4

Page 5: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

MBDの前座として・・・

「モデリング」について、

やや「古典的」で「原理的」な話となるが・・

モデリングの目的は何か、あらためて考えたい

5

Page 6: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

自己紹介 日立製作所時代(1968~1994)、

システム開発方法論(HIPACE)の開発 DOA(Data Oriented Approach)手法の開発・普及

IRM(情報資源管理)手法の開発・研究

東京国際大学時代(1994~2012) (NPO)UMTP設立(2003年5月)

1985年から「メタデータ」標準化に従事 ISO SC21 WG3: IRDS(情報資源辞書システム)

ISO/IEC JTC1 SC32WG2

○ メタデータ規格群(ISO/IEC 11179)

○ メタモデル相互運用枠組み(ISO/IEC 19763)

IEC TC3 SC3D(Common Data Dictionary)

6

「恥の多い生涯を送って来ました」(人間失格 太宰 治)

Page 7: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

今、なにが起きているのか?

Big Data + Analysis

Open data & LOD (Linked Open Data)

IOT(Internet of Things)

Industrie 4.0

SOSE (System of Systems Engineering)

Domain Engineering > Software Engineering

Model Base System Engineering (MBSE)

Model Base Development (MBD)

7

Page 8: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

Model Engineering is no more part of Software Engineering only

Software

Engineering

Model

Engineering

Software

Engineering

Business

Engineering

Enterprise

Engineering

Model

Engineering

Data

Engineering

Financial

Engineering

Other

Engineering

Fields

Web

Engineering

Biology

Engineering

出典:

Page 9: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

9

Page 10: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

あらためて、「モデル」とは

ある対象を、ある関心事からみて、その

本質を、定められた記法で表現したもの

10

対象:「物」だけでなく「こと」も含む

本質: 関心事からみて、枝葉末節を省く

Page 11: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

モデル モデル化

抽象化

規範的モデル化手段

認識

操作

理解

関心事

11

モデル化の目的

「見える化」

対象

Page 12: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

モデルの種類

12

数学モデル

実物モデル

模型(モックアップ)

図式モデル

情報モデル

記号モデル

MBSE

プログラム

テキストモデル

MBD

Page 13: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

モデル化手段とは

13

モデル化手段

モデル化言語 モデリング

パターン

プロファイル メタモデル

共通情報要素

(メタデータ)

ドメイン共通モデル

アーキテクチャ

フレームワーク

Page 14: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

14

Page 15: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

15

モデル化の限界

一つのモデルですべてを表現することは不可能

モデラー C

モデラー B

モデラー A

モデリング・ビュー

Page 16: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

同じモデリング・ビューでも

16

異なる見え方が、同時に見えることはない。

Page 17: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

実体(Entity)とは “Entities are a state of mind. No two

people agree on what the real world .” 実体とは心理状態であって、2人の人間が実世界に対する見方(ビュー)で合意することはない。

“Data and Reality” (データと現実),

William Kent, North-Holland, 1978

17

Page 18: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

「3元論」の発端、情報代数

18

実体集合

E1(社員)

値集合

V1(個人名称)

属性(P1: 氏名) e1

e2

en

V1

V2

vm

Vi= Pn(ej∈Em)

Page 19: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

Datum Pointと情報空間

19

情報代数

(An Information Algebra )、1964

P1属性の値集合 ( 社員番号)

P3属性の値集合

(住所)

Dp ={(v1∈P1),(v2∈P2),(v3∈P3)}

Dp P2属性の値集合

(氏名)

Record

Page 20: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

E/R モデル

情報モデル記法の変遷

20

情報代数

IDEF1-X

{実体・属性・値}

実体関連、役割概念

Bachman図

継承

UML

クラス関連

状態遷移

シーケンス

ペトリネット

ユースケース

1960年代

1970年代

1980年代

1995年代~

SSADM カプセル化

クラス概念

関係モデル

関数従属性

OMT

Booch OOSE

Page 21: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

History of Modeling Languages

Juha-Pekka Tolvanen (Metaedit+)

21

Page 22: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

22

Page 23: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

ドメイン・エンジニアリング

23

モデル・エンジニアリング

Page 24: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

2000年代のUML

24

UML

MOF

UML

メタモデル

UML

プロファイル群

特殊化

メタモデル

UML

プロファイル群 UML

プロファイル群

特殊化

メタモデル 特殊化

メタモデル

モデル化作業

Page 25: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

UML 2.X

25

Infrastructure

Library

MOF Core Abstract Syntax

Structure

Behavior

Supplement

Superstructure Specification

OCL Spec. DI Spec.

Infrastructure Specification

Use to describe

Use as parts

Overall Structure

Expression

Page 26: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

ドメイン・エンジニアリング

Domain

Engineering

Product

Engineering

Process

Engineering

Problem spaces

Solution spaces (Support Engineering)

【参照】

Page 27: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

しかし・・・・ UML2.Xは複雑すぎる・・・

ダイヤグラム描画に時間がかかる・・

モデラーの個人的認識によるオブジェクト抽出

先行モデルを無視した自己モデル

クラスの抽出・定義方法論に偏りすぎ

オブジェクトとデータの違いは何か?

オブジェクト指向とは? Javaでコーディングする

Smalltalkは?

「カプセル化」って何?

「メッセージパッシング」って?

「オブジェクト関連(Association)」 その継承?

27

Page 28: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

28

Page 30: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

MVCの拡張

30

View Model

Control

ドメイン共通

ベースモデル

モデル操作

(実装+実行)

目的別ドメインモデル

Page 31: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

モデル操作

Viewモデルからのコード生成(MDA/MDD)

Viewモデルの検証(Model Checking)

Veiwモデルによるシミュレーション

31

Page 32: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

MBDの要件

32

ドメイン共通

モデル

• 「ドメイン共通モデル」の合意

• 「ドメイン共通モデル」の登録と共有

• 「共通モデルをベース」による「Viewモデル」の定義

• ここで、Viewモデルとは「関心」に依存するモデル

• 「モデル変換」によるコード生成

曖昧性のない、コード生成のために

View モデル View モデル View モデル

ドメイン共通

情報要素

Page 33: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

モデル・エンジニアリング

33

規範的モデル化手段

モデル化言語 モデリング

パターン

プロファイル メタモデル

共通情報要素

(メタデータ)

ドメイン共通モデル

アーキテクチャ

フレームワーク

リポジトリ/ レジストリ

ツール群

ドメインの原則・理論

Page 34: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

共通

ベースモデル

ドメインモデル

開発

ドメイン

モデル モデル

操作

関心

知見

プロファイル

メタモデル

DSL

ドメイン

34

メタデータ

モデルベース技術・開発の目指すもの

Page 35: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

共通

ベースモデル

ドメイン

モデル モデル操作

関心

知見

プロファイル

メタモデル

DSL

ドメイン

メタデータ

ドメインモデル

開発

モデルベース開発(MBD)が目指すもの

Page 36: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

OO Engineering meets COBOL Engineering

Smalltalk

Engineering

Model

Engineering

Cobol

Engineering

出典:

COBOLプログラムの

変換も不可能ではない

Page 37: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

37

Page 38: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

System Engineering Architecture

SOSE

IEEE1471

SysML(Profile)

MARTE

AUTOSAR

SPEM

QoS

Functional Security

38

IEEE1471

Page 39: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

MBDを可能とする要素技術

後半の、田中さんのプレゼンで・・

39

Page 40: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

モデル共有のために

40

ISO/IEC 19763-1 Ed2 : メタモデル相互運用枠組み Framework

(ISO/IEC JTC1 SC32WG2 : Metadata)

Page 41: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

情報共有の課題 共通情報要素によるモデリング

41

共通情報要素 共通概念記述

オントロジー 共通メタデータ

メッセージ

情報モデル

ドメイン

A

ドメイン

B

Page 42: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

order

prod

Cust

Model to be registered

Metamodel for

registering model

MI(1)

MFI Registry Registered_Item

Model Information: MI(1)

Model representation

Following MFI metamodel

Order:

Cust:

Identification

Naming

Registration

Authority

Model repository

specify

モデル登録のための規格

42

ISO/IEC19763 Metamodel

Framework for Interoperability: Part-1 ~Part13

Page 43: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

ISO/IEC 19763 + ISO/IEC 11179

43

Model

Registry

Service

Registry

Role &

Goal

Registry

Metadata

Registry

Ontology

Registry

Process

Model

Registry

MDR-3 Ed3

MFI-6 : Registry summery Structured Registering (TR)

MFI-2

MFI-3 MFI-5 MFI-7 MFI-8

MFI-9: On Demand Selection (TR)

MFI-11: Structerd

Registering (TR)

Part-1

ISO/IEC

24706

ISO/IEC

20944

ISO/IEC

24707

ISO/IEC 20943(TR)

MDR/MFI Reference

Model

ROR

ROR

The Registry

Page 44: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

ME and 3D scanning/printing engineering

Model

Real World Real World

Model System Model Model Model System

Page 45: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

Viewモデリング技術の例

BIMとCobie

CIM(Common Information Model)

PLIB(Parts Library)

CDD(Common Data Dictionary)

45

Page 46: NPO UMTP 顧問 元東京国際大学 教授 ISO/IEC JTC1 ... › pdf › mf2014 › 2014-Horiuchi-V5.pdf属性(P1: 氏名) e1 e2 en V1 V2 vm Vi= P n(e j∈E m) Datum Pointと情報空間

参考文献

Implementation recommendations (April 2013)

SMB/5332/R

THE GERMAN STANDARDIZATION ROADMAP INDUSTRIE 4.0

(April 2014)

Industrial Smart Solutions: Connecting the Factory to the Enterprise

- Cisco Manufacturing White Paper

Roland Berger Strategy Consultants, INDUSTRY 4.0 The new

industrial revolution. How Europe will succeed

46