Объект-Z

Object-Z ^[1] — это объектно-ориентированное расширение нотации Z, разработанное в Университете Квинсленда , Австралия .

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

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

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

• Z++

Ссылки

1. Смит, Грэм (2000). Язык спецификации Object-Z. Springer. ISBN 978-1-4615-5265-9.
2. Махони, Б.; Донг, Джин Сонг (февраль 2000 г.). «Timed Communicating Object Z». Труды IEEE по программной инженерии . 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) . стр. 488–497. CiteSeerX 10.1.1.62.793 . doi :10.1109/ICECCS.2005.56. ISBN  978-0-7695-2284-5. S2CID  10062286. {{cite book}}: |journal=проигнорировано ( помощь )
4. Деррик, Джон; Бойтен, Эрке А. (2014). Уточнение в Z и Object-Z (2-е изд.). Springer. ISBN 978-1-4471-5355-9.

Внешние ссылки

Послушайте эту статью ( 1 минута )

Этот аудиофайл был создан на основе редакции этой статьи от 19 ноября 2022 года и не отражает последующие правки. ( 2022-11-19 )

( Аудиопомощь  · Больше устных статей )

• Домашняя страница Object-Z
• Проект Community Z Tools (CZT) Архивировано 1 июля 2004 г. на Wayback Machine