Объект-Z - Object-Z

Объект-Z[1] является объектно-ориентированный расширение Обозначение Z разработан в Университет Квинсленда, Австралия.

Object-Z расширяет Z, добавляя языковые конструкции напоминающий объектно-ориентированный парадигма, в первую очередь, классы. Другие объектно-ориентированные понятия, такие как полиморфизм и наследование также поддерживаются.

Хотя Object-Z не так популярен, как его базовый язык Z, он все же получил значительное внимание в формальные методы сообщества, и исследования по аспектам языка продолжаются, включая гибридные языки с использованием Object-Z,[2][3] инструментальная поддержка (например, через Инструменты сообщества Z проект) и исчисления уточнения.[4]

Смотрите также

Рекомендации

  1. ^ Смит, Грэм (2000). Язык спецификации Object-Z. Springer. ISBN  978-1-4615-5265-9.
  2. ^ Mahony, B .; Донг, Джин Сон (февраль 2000 г.). «Объект связи по времени Z». IEEE Transactions по разработке программного обеспечения. 26 (2): 150–177. CiteSeerX  10.1.1.62.820. Дои:10.1109/32.841115.
  3. ^ Dong, J.S .; Duke, R .; Хао, П. (2005). Интеграция Object-Z с синхронизированными автоматами. Разработка сложных компьютерных систем. С. 488–497. CiteSeerX  10.1.1.62.793. Дои:10.1109 / ICECCS.2005.56. ISBN  978-0-7695-2284-5.
  4. ^ Деррик, Джон; Бойтен, Эрке А. (2014). Уточнение в Z и Object-Z (2-е изд.). Springer. ISBN  978-1-4471-5355-9.

внешняя ссылка