オブジェクトZ

Object-Z ^{[ 1 ]}は、オーストラリアのクイーンズランド大学で開発されたZ表記法のオブジェクト指向拡張である。

Object-Zは、オブジェクト指向パラダイムに類似した言語構造、特にクラスを追加することでZを拡張します。ポリモーフィズムや継承といったその他のオブジェクト指向概念もサポートされています。

Object-Zはベース言語のZほど人気はありませんが、形式手法コミュニティでは依然として大きな注目を集めており、Object-Zを使用したハイブリッド言語、 ^{[ 2 ] [ 3 ]}ツールサポート（コミュニティZツールプロジェクトなど）やリファインメント計算など、言語の側面に関する研究が進行中です。^{[ 4 ]}

参照

• Z++

参考文献

1. スミス、グレアム (2000). Object-Z仕様言語. Springer. ISBN 978-1-4615-5265-9。
2. Mahony, B.; Dong, Jin Song (2000年2月). 「Timed Communicating Object Z」. IEEE Transactions on Software Engineering . 26 (2): 150– 177. CiteSeerX 10.1.1.62.820 . doi : 10.1109/32.841115 . 
3. Dong, JS; Duke, R.; Hao, P. (2005). 「Object-Zと時間オートマトンとの統合」.第10回IEEE国際複雑系コンピュータシステム工学会議 (ICECCS'05) . pp.  488– 497. CiteSeerX 10.1.1.62.793 . doi : 10.1109/ICECCS.2005.56 . ISBN  978-0-7695-2284-5. S2CID  10062286 .
4. デリック・ジョン、ボイテン・エールケ・A. (2014). 『ZとObject-Zの洗練』（第2版）. シュプリンガー. ISBN 978-1-4471-5355-9。

外部リンク

• Object-Zホームページ
• Community Z Tools (CZT) プロジェクト2004年7月1日アーカイブWayback Machine