2010/11/15 OKABE, Masao 1 Issues to be discussed on MFI-Part10 Core model and basic mapping OKABE, Masao Editor MFI Part 10 2010.5.16 2010.5.20 r 2010.8.27.

Slides:



Advertisements
Similar presentations
あどべんちゃーにほんご L. 2か にほんごのきょうしつ /Japanese Classroom General goals of the lessons: You will be able to communicate the information below in the given situations.
Advertisements

HKS Analysis Log Jun 2006 part3 D.Kawama. 0 .今回の目次 1.Target での dE/dX 2.HKS sieve slit simulation(Geant4)
SPSSによるHosmer-Lemeshow検定について
レポート書き方. おしいレポート よく調べてある それぞれの、1文の言っていることは正 しい しかし、全体として、何が言いた いのかわからない 内容の重要だが、全体の構成も重 要である.
東京工科大学 コンピュータサイエンス 亀田弘之
7.n次の行列式   一般的な(n次の)行列式の定義には、数学的な概念がいろいろ必要である。まずそれらを順に見ていく。
9.線形写像.
麻雀ゲーム 和島研究室 ソ 小林巧人
5.連立一次方程式.
相関.
広告付き価格サービ ス 小園一正. はじめに 世の中には様々な表現方法の広告があり ます。その中でも私たち学生にとって身 近にあるものを広告媒体として取り入れ られている。 価格サービス(無料配布のルーズリー フ)を体験したことにより興味を惹かれ るきっかけとなった。主な目的は、これ.
素数判定法 2011/6/20.
公開鍵暗号系 2011/05/09.
1章 行列と行列式.
本宮市立白岩小学校. 1 はじめに 2 家庭学習プログラム開発の視点 ① 先行学習(予習)を生かした 確かな学力を形成する授業づく り ② 家庭との連携を図った家庭学習の習慣化.
フーリエ級数. 一般的な波はこのように表せる a,b をフーリエ級数とい う 比率:
Excelによる積分.
1 6.低次の行列式とその応用. 2 行列式とは 行列式とは、正方行列の特徴を表す一つのスカ ラーである。すなわち、行列式は正方行列からスカ ラーに写す写像の一種とみなすこともできる。 正方行列 スカラー(実数) の行列に対する行列式を、 次の行列式という。 行列 の行列式を とも表す。 行列式と行列の記号.
計算のスピードアップ コンピュータでも、sin、cosの計算は大変です 足し算、引き算、掛け算、割り算は早いです
線形符号(10章).
1 0章 数学基礎. 2 ( 定義)集合 集合については、 3セメスタ開講の「離散数学」で詳しく扱う。 集合 大学では、高校より厳密に議論を行う。そのために、議論の 対象を明確にする必要がある。 ある “ もの ” (基本的な対象、概念)の集まりを、 集合という。 集合に含まれる “ もの ” を、集合の要素または元という。
複素数.
1 0章 数学基礎. 2 ( 定義)集合 集合については、 3セメスタ開講の「離散数学」で詳しく扱う。 集合 大学では、高校より厳密に議論を行う。そのために、議論の 対象を明確にする必要がある。 ある “ もの ” (基本的な対象、概念)の集まりを、 集合という。 集合に含まれる “ もの ” を、集合の要素または元という。
信号測定. 正弦波 多くの場合正弦波は 0V の上下で振動する しかし、これでは AD 変換器に入れら れないので、オフ セットを調整して データを取った.
1 9.線形写像. 2 ここでは、行列の積によって、写像を 定義できることをみていく。 また、行列の積によって定義される写 像の性質を調べていく。
平成22年度 第4回 Let’s Enjoy English 平成22年度 第4回 Let’s Enjoy English 期日:平成22年10月30日 場所:旭川市立北光小学校 基調提言.
3.正方行列(単位行列、逆行列、対称行列、交代行列)
学習者の意欲を高める音読指導の 一時例 1 Speak を使った 音読指導 鈴木政浩(西武文理大学)
JPN 312 (Fall 2007): Conversation and Composition Contraction (2); 意見を言う (to express your opinion)
Three-Year Course Orientation International Course.
JPN 311: Conversation and Composition 勧誘 (invitation)
JPN 311: Conversation and Composition 伝言 (relaying a message)
Analog “ neuronal ” networks in early vision Koch and Yuille et al. Proc Academic National Sciences 1986.
JPN 311: Conversation and Composition 許可 (permission)
C言語応用 構造体.
JPN 312 (Fall 2007): Conversation and Composition 文句 ( もんく ) を言う.
1 中野研究室 4 年ゼミのイロハ 斉藤(修士 2 年) ( 2009 年 ”4 年ゼミのイロハ ” を参考に作りました)
言語とジェンダー. 目的 言語には、性的な存在である人間の自己認識や 世界認識を決定する力が潜んでいる。 – 言語構造の面(言語的カテゴリー ) – 言語運用の面 日常に潜む無意識の言語の力を、記述し、意識 化することが本講義の目的である。 同時に、さまざまな言語、さまざまな文化には、 それぞれに特徴的な問題があり、ジェンダーの.
1 プログラミング言語論 第13回 プログラムの意味論と検証 (2) 表示的意味論 担当:犬塚. 2 表示的意味論 denotational semantics  表示的意味論では、プログラムの要素とそれが 意味するものを対応付ける。 変数 式 文 A B … A+2 2B+C A:=A+2 if.
8.任意のデータ構造 (グラフの表現とアルゴリズム)
タイピングゲー ム ~坂井 D 班の発表~ ~坂井 D 班の発表~. メンバー  村本 晟弥  岡本 武士  若松 健人.
第14回 プログラムの意味論と検証(3) 不動点意味論 担当:犬塚
実験5 規則波 C0XXXX 石黒 ○○ C0XXXX 杉浦 ○○ C0XXXX 大杉 ○○ C0XXXX 高柳 ○○ C0XXXX 岡田 ○○ C0XXXX 藤江 ○○ C0XXXX 尾形 ○○ C0XXXX 足立 ○○
金融の基本Q&A50  Q37~Q /6/24 蔵内雄大.
Exercise IV-A p.164. What did they say? 何と言ってましたか。 1.I’m busy this month. 2.I’m busy next month, too. 3.I’m going shopping tomorrow. 4.I live in Kyoto.
音の変化を視覚化する サウンドプレイヤーの作成
HCC Hair Color Change. メンバー ソ 渋谷麻美 ソ 渋谷麻美 ソ 清野理衣子 ソ 清野理衣子 ソ 三上貴大 ソ 三上貴大.
Self-efficacy(自己効力感)について
本文. 考えながら読みましょ う 「いろいろなこと」( 3 行目)は何で すか 「①電話料金はコンビニで支払いをしていま す。いつでも払えますから、便利です。」 「②夕食はコンビニで買います。お弁当やお かずがいろいろありますから。」今、若者に 人気のあるコンビニは、いろいろなことをす るのに非常に便利な場所になった。
Final Report on MFI & MDR Harmonization Hajime Horiuchi May 2010 SC32WG2 N1425.
1 MFI-5: Metamodel for Process models registration HE Keqing, WANG Chong State Key Lab. Of Software Engineering, Wuhan University
The Final Study Period Report on MFI 6: Model registration procedure SC32WG2 Meeting, Sydney May 26, 2008 H. Horiuchi, Keqing He, Doo-Kwon Baik SC32WG2.
2010/11/16 OKABE, Masao 1 Issues to be discussed on MFI-Part10 Core model and basic mapping and transformation OKABE, Masao Editor MFI Part
たくさんの人がいっしょに乗れる乗り物を 「公共交通」といいます バスや電車 と 自動車 の よいところ と よくない ところ よいところ と よくない ところ を考えてみよう!
日本語きほん文法の復習 Basic Japanese Grammar Review
Ho w to write ひらがな Left click the mouse to move through each of the slides. Place your mouse on each symbol to hear how it is said. When you see this.
2010/11/17 OKABE, Masao 1 Comments on WG2_N1421_5th_SP_of_CD2_ OKABE, Masao Expert Contribution
OKABE, Masao /8/21 Relations between MFI Registry and Repositories outside of MFI 1 First, registration and authorization Second, periodical crawling.
平成 二十六年 一月五日・月曜日 Bellwork: 先生の日 学校に来なくてもいい Assignments: -
Rails Chat! Rails 関西 Rails Chat の歴史.
2015/11/19. To foster Historical Thinking Skill by Creating Story Necessary Relationships and Elements of Characters In historical learning, historical.
英語勉強会(坂田英語) B4 詫間 風人. A Corrected English Composition Sharing System Classification Display and Interface for Searching A corrected English composition.
英語勉強会 10/13 住谷 English /21 三木 裕太. 原文 The purpose of this study is Development of system for Automated Generation of Deformed Maps. My study become.
英語勉強会 名手⇒詫間 2015/10/22. 原文 This study says acquiring motor skills support system. There is how to acquire moor skills that coach advises learner. Motor.
英語勉強会 (橋本さんの) 10月9日 坂田梨紗. 英語の文章の 成り立ち 言いたいこと 説明 言いたいこと I went to the library to read Harry Potter.
腎臓移植 腎臓移植の前に、ドナー両方の腎臓は機 能的に良好でなければならない。ドナー の両方の腎臓が機能的に健康であること を保証するために、多数の試験が行われ ている。
地球儀と様々な地図. 1 球体としての地球 こうした現象はあることをイ メージすると理解できる。
Issues to be discussed on MFI-New-Part2
Requirements for MFI Part6: Registration procedure
“Registered_Item” for MFI Registration (Recommendation)
Presentation transcript:

2010/11/15 OKABE, Masao 1 Issues to be discussed on MFI-Part10 Core model and basic mapping OKABE, Masao Editor MFI Part r r r3

2010/11/15 OKABE, Masao 2 Basic Structure of MFI OWL ontology repository ontology A Common Logic ontology repository ontology B ・・・ RM-ODP process model repository process model C PSL process model repository process model D Part8 Role &Goal registry entries of process model E entries of process model D ・・・ Part5 Process model registry entries of process model C entries of process model D ・・・ entries of ontology A entries of ontology B ・・・ Part3 Ontology registration registry Role & Goal E Role & Goal F KAOS role & goal repository i* role & goal repository ・・・ Only common semantics (essential subsets) are registered in MFI registry with some additional information. Part10 Core model (and basic mapping) MFI presupposes the existence of complete repositories of models outside MFI. All the parts (except Part1 and 6) inherit Part10. Part10 is not necessarily abstract (meta)classes. ・・・

2010/11/15 OKABE, Masao 3 Our tentative consensus at WG2 London meeting in November, 2009 (1 of 2) The scope of new Part2 (now Part10) covers the ones of old Part2 (Core) and old Part4(Mapping) About old Part2 Make it simpler so that other parts of MFI (excluding Part1 (Reference model) and Part6 (Registration procedure)) can inherit all (?) the metaclasses of new Part2. Tentative agreement on high-level metamodel. About old Part4 Proposal from Baba-san.  Any mappings can be classified into 6 categories. –M1->M1, M2->M2, M1->M2->M2->M1, etc. We need more discussions. 3 Administered Item Context Model Component 1:1 1:*

2010/11/15 OKABE, Masao 4 Our tentative consensus at WG2 London meeting in November, 2009 (2 of 2) If some part of MFI defines its own metacalass that inherit Administered Item, it shall inherit Administered Item through Context, Model, or Component, and shall not directly. Some part of MFI may define its own metacalass that does not inherit Administered Item. Administered Item Context Model Component Specialized Model Specialized Item Non Administered Item ○ × ○

2010/11/15 OKABE, Masao 5 Issues that need to be discussed 1.Issues on Core model 2.Issues on Basic mapping 3.Issues on how to prescribe MFI metamodel

2010/11/15 OKABE, Masao 6 1.Issues on Core model

2010/11/15 OKABE, Masao 7 Current Candidate of High-level Metamodel From Keith based on MDR Part3 Ed3

2010/11/15 OKABE, Masao 8 Issues on Core model (1 of 4) About the current candidate metamodel Context---Use Context of MDR Even today, it is still controversial what is a context?  The definition of context in MDR Part3 may change substaitially in Ed3. Practically, it is difficult to identify a context.  If there are two context, it is difficult to determine whether these two are identical or not. We have to get a good consensus on what a context is and to clearly define the mataclass “Context”. Otherwise, it may become a trash with many uncontrolled natural language descriptions. Currently, none of Part3, 5, 7, 8 use the metaclass “Context”. Do we really need the metaclass “Context” in the Core?

2010/11/15 OKABE, Masao 9 Issues on Core model (2 of 4) About the current candidate metamodel Superclass of Atomic_Construct There is no superclass of Registered_Ontology_Atomic_Construct of Part3, which inherits Administered Item. Since all the Administered Items shall inherit some metaclass of Prat10, Part10 needs to have a metaclass that Registered_ Ontology_Atomic_Construct of Part3 inherit.

2010/11/15 OKABE, Masao 10 Issues on Core model (3 of 4) About the current candidate metamodel In MDR Part3, “Registered Item” is an abstract class and has mece direct subclasses “Attached Item” and “Adminitered Item” which is a composition of “Attached Item”. This structure of MDR Part3 Ed3 is too strict to MFI, because MFI Part 3 has a metaclasses “Unregistered_Ontology_Whole” and “Unregistered_Ontology_Atomic_Construct”, which are registered in MFI and are not Administered Items but are also not attached to any Administered_Item. If “Registered Item” is an abstract class (i.e. “Attached Item” and “Adminitered Item” are not collectively exhasutive), it is fine to MFI.

2010/11/15 OKABE, Masao 11 Issues on Core model ( 4 of 4) Whether some facilities (metaclasses) of Part3 which is applicable to other parts should be moved to nwePart10 or not? Distinction of Unregistered_xxx(Item), Reference_xxx(Item) and Local_Item. --- will not be introduced to Part10 autoritativeLevel of Local_Item --- will not be introduced to Part10. Item_Evolution --- Something will be introduced to Part2, but not exactly the same as Item_Evolution in Part3 Ed2. Language --- will be added to Partt2. Ontology_Language of Part3 and Process_Model_Language of Part5 are almost the same. Each part has a specialized Language inherited from Language of Part2.

2010/11/15 OKABE, Masao 12 2.Issues on Basic mapping

2010/11/15 OKABE, Masao 13 OWL ontology repository ontology A Common Logic ontology repository ontology B ・・・ Part10 Basic mapping registry entries of mapping from A to B ・・・ entries of ontology A entries of ontology B ・・・ Part3 Ontology registration registry Complete repository depending on a language Basic Policy of MFI A generic registry independent of languages that describe modeles entries of mapping from A to B ・・・ Common semantics abstracted Policy 1 on Mapping To register common semantics of a complete mapping from A to B Policy 2 on Mapping To register a complete mapping from abstracted A to abstracted B in MFI Exmaple : Issue Raised by UK at Wuhan Project Meeting Part10 Basic mapping registry

2010/11/15 OKABE, Masao 14 背景: MFI Part 10 における Basic mapping の論点 考え方1であることは、ほとんど自明と考えていたが、8 月の MFI プロジェクト会議(武漢)において、英国から考 え方2が提示された。 このような基本的な点で意見が異なるのは、 MFI が目指す interoperability に関して、同床異夢であることに原因がある ことが懸念される。 改めて、 MFI が目指す interoperability に関して、合意を得て おく必要がある。

2010/11/15 OKABE, Masao 15 Part10 Core model and basic mapping Part11 Structured model registering Part1 Reference model Part3 Metamodel for ontology registration Part5 Metamodel for process model registration Part7 Metamodel for service registration Part8 Metamodel for role and goal registration Part2 Core model Part4 Model mapping Part6 Registration procedure Part9 On demand model selection 将来的に use すべき use (第 1 版発行 :2007/2 ) (第 2 版発行 :2010/8) (CD1) (WD) (WD 未 ) (共に Part10, Part11 に吸収予定) ( WD 未) (WD 未 ) (Part8, 5, 7 の使い方 (?) に関する TR ) 将来的に use すべき 中国が主導する ODMS(On demand model selection) ないし RGPS (Role, Goal, Process, Service) (Registry summary, ROR?) ( WD 未) MFI の全体構成

2010/11/15 OKABE, Masao 16 What is interoperability? SE VOCAB 1.the ability of two or more systems or components to exchange information and to use the information that has been exchanged (ISO/IEC 24765:2009 Systems and software engineering vocabulary) 2.the ability for two or more ORBs to cooperate to deliver requests to the proper object (ISO/IEC :2003 Information technology -- Open Distributed Processing -- Part 2: General Inter-ORB Protocol (GIOP)/Internet Inter-ORB Protocol (IIOP), ) 3.the capability to communicate, execute programs, and transfer data among various functional units in a manner that requires the user to have little or no knowledge of the unique characteristics of those units. (ISO/IEC :1993 Information technology--Vocabulary-- Part 1: Fundamental terms, ) Note Basically, interoperability is limeted to about information (or object or data)

2010/11/15 OKABE, Masao 17 What is interoperability? Wikipdia a property of a product or system, whose interfaces are completely understood, to work with other products or systems, present or future, without any restricted access or implementation. Note  generic and not limited to information  IEEE Glossary the ability of two or more systems or components to exchange information and to use the information that has been exchanged. Institute of Electrical and Electronics Engineers. IEEE Standard Computer Dictionary: A Compilation of IEEE Standard Computer Glossaries. New York, NY: 1990.(iftikahr) Note  focuses only on information  Institute of Electrical and Electronics Engineers. IEEE Standard Computer Dictionary: A Compilation of IEEE Standard Computer Glossaries. New York, NY: 1990.(iftikahr)

2010/11/15 OKABE, Masao 18 Interoperability In summary, interoperability is; a property of a system (or component, ORB, functional unit, product) to exchange information (or object, data) or communicate each other or execute a program or whose interfaces are completely understood so that they can work properly.

2010/11/15 OKABE, Masao 19 Interoperability in MFI In MFI, interoperability is; a property of who(?) to exchange what(?). That is, does MFI intend to embody whose interoperability about what can be understood by them? Who = a user of a repository that is a target of a MFI registry, which can be a human or a computer system What = a content (complete model) in a repository that is a target of a MFI registry

2010/11/15 OKABE, Masao 20 Basic Structure of MFI OWL ontology repository ontology A Common Logic ontology repository ontology B ・・・ RM-ODP process model repository process model C PSL process model repository process model D Part8 Role &Goal registry entries of process model E entries of process model D ・・・ Part5 Process model registry entries of process model C entries of process model D ・・・ entries of ontology A entries of ontology B ・・・ Part3 Ontology registration registry Role & Goal E Role & Goal F KAOS role & goal repository i* role & goal repository ・・・ Only common semantics (essential subsets) are registered in MFI registry with some additional information. Part10 Core model (and basic mapping) What to be exchanged in MFI interoperability are not but are. are;

2010/11/15 OKABE, Masao 21 What to be exchanged in MFI interoperability A full model in a complete repository outside a MFI registry Not an entry in a MFI registry because it has only common semantics (an essential subset) and is not enough to be understood for its proper use. An entry in a MFI registry is just an entry to a full model and helps to find a full model to provide its common semantics (essential subset), independent of its language (syntax). A full model, including an ontology, an information model, a role & goal model, a process model, a service model, as a kind of information Not a process nor a service itself A process model and a service model to be exchanged help to find and reuse a proper process or service.

2010/11/15 OKABE, Masao 22 What MFI does One of the basic policies of MFI is that it only has common semantics of targets, independent of the languages that describe them. Hence, MFI registry does not have enough information to define a mapping from actual A to actual B. Moreover, since complete targets are out of the scope of MFI and MFI only registers their common semantics, complete mappings between targets is also out of the scope of MFI and MFI only registers the common semantics of complete targets? If so, we need complete mapping repositories depending on C(n,2) language combinations. n=number of language

2010/11/15 OKABE, Masao 23 OWL ontology repository ontology A Common Logic ontology repository ontology B ・・・ Part10 Basic mapping registry entries of mapping from A to B ・・・ entries of ontology A entries of ontology B ・・・ Part3 Ontology registration registry Complete repository depending on a language Basic Policy of MFI A generic registry independent of languages that describe modeles entries of mapping from A to B ・・・ Common semantics abstracted Policy 1 on Mapping To register common semantics of a complete mapping from A to B Policy 2 on Mapping To register a complete mapping from abstracted A to abstracted B in MFI Exmaple : Issue Raised by UK at Wuhan Project Meeting Part10 Basic mapping registry

2010/11/15 OKABE, Masao 24 MFI Part 10 Basic mapping as a essential subset of mappimgs Administered Item Context Model Component Process Model Process Mapping ModelMapping Component Mapping repository specific from RM-ODP to PSL RM-ODP process model repository process model C PSL process model repository process model D full mapping from process model C to process model D MFI Part10 Core model (formerly 2) MFI Part3,5, 8, etc MFI Part10 Basic mapping (formerly 4)

2010/11/15 OKABE, Masao 25 Mapping (or Transformation ) for Interoperability Currently, none of MFI Part3, Part5, Part7, Part8 has a metaclass related to mapping or transformation and that inherit MFI Part10 Basic Maping, except that MFI Part3 has a intentional relation “sameAS”. What kind of mapping or transformation is necessaey for interoperability?

2010/11/15 OKABE, Masao 26 Simple Example for Discussion Suppose that there are two conceptual domains. One is gender code whose conceptual value domain is the abstracted one from {female, male, other}. The other is sex classification whose conceptual domain is the abstracted one from {female, male, neutral, other}. In gender code, {female, male, other} are not mutually exclusive, and bisexual is claasified to female and male at the same time. In sex classification, {female, male, neutral, other} are mutually exclusive, and bisexual is classified to other. In this case, what kind of mapping or transformation is required for interoperability. Note: This is not an example specific to MFI but a general example.

2010/11/15 OKABE, Masao 27 Simple Example There are only three exaxt mapping; From Sex classification:female to Gender code:female From Sex classification:male to Gender code:male From Sex classification:netutaral to Gender code:neutral Then, what is next? Gender code -female -male -other Sex classification -female -male -neutral -other Mapping or transformation although they are not the same?

2010/11/15 OKABE, Masao 28 Simple Example From MFI Part3’s point of view, Two Ontology Components Definition of Gender Code Definition of Sex Classification Seven Ontology Atomic Constructs Gender Code:female Gender Code:male Gender Code:other Sex Classification :female Sex Classification :male Sex Classification :neutral Sex Classification :other

2010/11/15 OKABE, Masao 29 Simpler example: Grade Code (?) There are only two exact mapping; From Evaluation classification 2:excellent to Evaluation classification 1:good From Evaluation classification 2:very poor to Evaluation classification 1:poor Then, what is next? Grade Code 1 -good -fair -poor Grade Code 2 -excellent -good -poor -very poor Mapping or transformation although they are not the same?

2010/11/15 OKABE, Masao 30 Simpler Example From MFI Part3’s point of view, Two Ontology Components Definition of Grade Code 1 Seven Ontology Atomic Constructs Grade Code 1: good Grade Code 1: fair Grade Code 1: poor Grade Code 2: excellent Grade Code 2: good Grade Code 2: poor Grade Code 2: very poor

2010/11/15 OKABE, Masao 31 M3 MOF (or UML for UML) M2 M1 M0 Note: Level-pair (or multi meta level) is not all mighty. Class Person Bruce Tree Denise Association ・・・ instance type Person TreeBruce Denise type instance ・・・ MOF owl: Class owl: individual ・・・ Note: OWL metamodel in ODM

2010/11/15 OKABE, Masao 32 M3 MOF (or UML for UML) M2 M1 M0 Note: Level-pair (or multi meta level) is not all mighty. Class Person Bruce Denise Instance ・・・ instance type instance ・・・ Metalevel focusing on M2 Metalevel focusing on M1 and M0 Class Person Bruce Denise Instance ・・・ instance type should be MOF (or UML for UML) T (Top Class) ≡