[論文レビュー] Report on the Aachen OCL Meeting

Achim D. Brucker, Dan Chiorean+7 more|RWTH Publications (RWTH Aachen)|Aug 25, 2014

Model-Driven Software Engineering Techniques参考文献 1被引用数 5

ひとこと要約

この論文は、Aachen OCLミーティングの成果を要約したものであり、2日間のワークショップでOCLの専門家が集まり、まもなく予定されているOMG会議に向けたOCLの即時的改善策について議論し、長期的な言語進化のビジョンを描いた。会議では、OCLの表現力、使いやすさ、UMLとの統合性の向上に注力し、OCLコミュニティ向けの実行可能な提案と今後の研究方向性が得られた。

ABSTRACT

As a continuation of the OCL workshop during the MODELS 2013 conference in October 2013, a number of OCL experts decided to meet in November 2013 in Aachen for two days to discuss possible short term improvements of OCL for an upcoming OMG meeting and to envision possible future long-term developments of the language. This paper is a sort of \minutes of the meeting" and intended to quickly inform the OCL community about the discussion topics.

研究の動機と目的

• OMG会議に先んじて、Object Constraint Language (OCL) の短期的改善策を特定・優先順位付けすること。
• OCLの表現力、型安全性、UMLモデルとの統合における現在の制限を解決すること。
• 進化するソフトウェアモデリングのニーズを支援するOCLの長期的設計方針を検討すること。
• OCL専門家同士の協力を促進し、将来的な言語進化について合意形成を図ること。
• ワークショップの合意形成と実行事項を、OCLコミュニティ全体に文書化すること。

提案手法

• ドイツ・アーヘンで、OCL分野の主要な研究者および実務家を招集した2日間の専門家ワークショップを実施した。
• OCLの現在の制限と改善の可能性について、構造的なディスカッションを実施した。
• 型安全性、構文の明確さ、意味の正確性に焦点を当てた、言語拡張案の評価を実施した。
• OCLを現代のUMLモデリング実践およびツールチェーンと統合する方法を検討した。
• OMGの基準との整合性、影響度、実現可能性に基づいて、提案事項を優先順位付けした。
• 議論の結果、実行事項、今後の研究方向性を要約した公式レポートを作成した。

実験結果

リサーチクエスチョン

• RQ1 OCLの使いやすさと型安全性を向上させるために、どのような即時的改善が可能か？
• RQ2 OCLは、UMLモデルにおける複雑な制約をどのようによりよくサポートできるか？
• RQ3 OCLの進化を導くために、どのような長期的設計原則が適切か？
• RQ4 現代のソフトウェア工学実践との統合において、OCLが直面する主な課題は何か？
• RQ5 明確さと形式的意味論を損なわずに、OCLをどのように拡張して、新たなモデリングニーズに対応できるか？

主な発見

• ワークショップでは、構文の見直しや強化された型システム機能を含む、いくつかの実行可能な短期的改善策が特定された。
• 参加者たちは、不変条件のチェックと制約の合成に対するOCLのサポート強化の必要性に合意した。
• OCL拡張のためのコア提案群が文書化され、ツール間相互運用性と形式的意味論の向上を目的としている。
• 言語の後方互換性を保ちながらの進化の重要性が強調された。
• 長期的ビジョンとして、OCLの形式的検証における役割と、ドメイン固有のモデリング言語との統合の可能性が検討された。
• レポートはプロCEEDINGS論文として公開され、今後のOCL標準化作業の基盤として機能している。