[論文レビュー] An Approach to Programming Based on Concepts

Alexandr Savinov|ArXiv.org|Dec 30, 2007

Advanced Software Engineering Methodologies参考文献 31被引用数 5

ひとこと要約

この論文は、'コンセプト'に中心を置いた新しいプログラミングパラダイムを紹介する。コンセプトとは、参照クラスとオブジェクトクラスの二重構造抽象化であり、継承、ポリモーフィズム、ライフサイクル管理を通じて一般化されたオブジェクト指向プログラミングを可能にする。このアプローチは包含関係を用いてコンセプトを形式化し、コンテキストスタックやデュアルメソッドといったメカニズムを導入することで、従来のOOPを強化した統一的モデルを提供する。より強力なカプセル化と型安全性を実現する。

ABSTRACT

In this paper we describe a new approach to programming which generalizes object-oriented programming. It is based on using a new programming construct, called concept, which generalizes classes. Concept is defined as a pair of two classes: one reference class and one object class. Each concept has a parent concept which is specified using inclusion relation generalizing inheritance. We describe several important mechanisms such as reference resolution, context stack, dual methods and life-cycle management, inheritance and polymorphism. This approach to programming is positioned as a new programming paradigm and therefore we formulate its main principles and rules.

研究の動機と目的

• 参照クラスとオブジェクトクラスを統合する新しい抽象化である'コンセプト'を導入することで、従来のクラスベースOOPを一般化すること。
• 構造的コンセプト階層を用いて、強力なカプセル化と型安全性を実現することで、既存のOOPモデルの限界を克服すること。
• コンテキストスタックや参照解決といった、明確な原則、規則、メカニズムを備えた新しいプログラミングパラダイムを形式化すること。
• 親子関係に基づくコンセプト間の継承を通じて、ポリモーフィズムと継承を一般化すること。

提案手法

• コンセプトは、参照クラスとオブジェクトクラスのペアとして定義され、両方ともモデル内での一次的構成要素である。
• 継承は、子コンセプトが親コンセプトから継承する包含関係によってモデル化される。
• 参照解決は、実行中にアクティブなコンセプトインスタンスを追跡するコンテキストスタックによって管理される。
• デュアルメソッドが導入され、それぞれが参照クラス用とオブジェクトクラス用のメソッドとして機能し、ポリモーフィックな振る舞いを可能にする。
• ライフサイクル管理は、コンセプトインスタンスの生成、破壊、状態遷移を制御するメソッドを通じて形式化される。
• モデルは、コンセプト内のオブジェクトクラスの動的型に基づいて操作をディスpatchする仕組みを備え、ポリモーフィズムをサポートする。

実験結果

リサーチクエスチョン

• RQ1 どのような抽象化を用いることで、従来のクラスベースモデルを超えたオブジェクト指向プログラミングを一般化できるか？
• RQ2 二重クラスモデルにおいて、参照解決と動的ディスpatchをサポートするために必要なメカニズムは何か？
• RQ3 型安全性を保ちつつ、コンセプトベースのモデルにおける継承とポリモーフィズムをどのように形式化できるか？
• RQ4 コンテキストスタックは、プログラム実行中にコンセプトインスタンスを管理するために果たす役割は何か？
• RQ5 リソースの適切な確保と解放を保証するため、ライフサイクル管理をコンセプトモデルにどのように統合できるか？

主な発見

• コンセプトモデルは、参照とオブジェクトの関心を分離する二重構造抽象化を導入することで、クラスベースOOPを効果的に一般化した。
• コンセプト間の包含関係により、単一クラス階層を超えた洗練された形式的継承が可能となり、より洗練された継承モデルが実現された。
• コンテキストスタックによる参照解決により、型安全性を保ちつつ動的ディスパッチが可能となり、ポリモーフィックな振る舞いが実現された。
• デュアルメソッドは、参照レベルとオブジェクトレベルの両方で振る舞いを定義するメカニズムを提供し、表現力と制御性を向上させた。
• ライフサイクル管理はモデルに効果的に統合され、コンセプトインスタンスの予測可能な初期化とクリーンアップが可能となった。
• 本アプローチは、一貫性のある原則、規則、メカニズムを備えた新しいプログラミングパラダイムを形式的に定義可能であることを示しており、将来の言語設計の基盤を提供する。