OCLとMDAの密な関係？

ＯＣＬとは？

• Object Constraint Language - Wikipedia
• The Object Constraint Language: Precise Modeling With Uml
• UML 2.0 OCL Final Adopted specification@OMG

ツール

• OCL Center & Otopus tool
• Dresden OCL Toolkit
• Borland Together：OCL＆ＭＤＡ（ＱＶＴ）ののサポート

会議

• Formal Methods for Components and Objects

ＭＤＡとは？

• MDAのしくみ＠ＩＴ
• ビジネスアプリケーション分野におけるMDAの限界と活用
• OMG Model Driven Architecture @ OMG
• MDAのエッセンス

モデル変換言語：ＱＶＴ＆ＡＴＬ

• ATLAS Transformation Language(ATL) - Wikipedia
• eclipse M2M
• MOF QVF Final Adopted Specification

Context-Aware Pervasive Computing

代表的な研究

Harry ChenのCorBaA

• http://www.csee.umbc.edu/~hchen4/publications.html
  

Karen HenricksenのＣＭＬ

• Developing Context-Aware Pervasive Computing Applications: Models and Approach - Henricksen, Indulska (ResearchIndex)