JavaScriptを有効にして再度、お越しください。新規登録ログインお知らせ※ユーザ登録は無料です.情報学広場に掲載されているコンテンツには有料のものも含まれています.有料コンテンツをご購入いただいた場合でも、領収書の発行はいたしておりません。クレジットカード会社様からの領収書/請求書をもってかえさせていただいております。複写複製および転載複製に係る著作権を学術著作権協会に委託しています。当該利用をご希望の方は、学術著作権協会が提供している複製利用許諾システムもしくは転載許諾システムを通じて申請ください。本会会員(賛助会員含む)および著者が転載利用の申請をされる場合については、学術目的利用に限り、無償で転載利用いただくことが可能です。刊行物に掲載されている製品名等は、各社の商標または登録商標です。Zのオブジェクト指向への拡張である。Zは、集合論と第一階述語論理に基づく言語である。最近の問題領域の複雑化、大規模化に伴い多くの状態やオペレーションのスキーマをより容易に扱うことができる構造が必要とされるようになってきた。これがZからObject-Zへの拡張となった。Object-Zは、Zに対して次のような拡張がなされている。カプセル化(Encapsulation)・各システムコンポーネントにおける状態変数と関連オペレーションをクラスにカプセル化する。継承(Inheritance)・より単純なコンポーネントから仕様を追加記述する事で状態、オペレーションを含むさらに複雑な仕様の構築を容易する。多義性(Polymorphism)・スーパークラスのオブジェクトが要求された時に、適したサブクラスのオブジェクトを代入させる。このようなオブジェクト指向スタイルの仕様が、再利用が容易な明確な仕様を生じるだけでなく、最終的にC++などのオブジェクト指向言語へのインプリメンテーションやプロトタイプを助ける事にもなる。当論文では、このObject-Zを使って標準問題である酒屋の在庫問題を解く事でObject-Zとはどのようなものなのか、さらには本当に有用なものなのかについて評価を行った。