Objekt-Z - Object-Z

Objekt-Z[1] je objektově orientovaný rozšíření do Z notace vyvinutý na University of Queensland, Austrálie.

Object-Z rozšiřuje Z přidáním jazykové konstrukce připomínající objektově orientovaný paradigma, nejvíce pozoruhodně, třídy. Další objektově orientované pojmy jako např polymorfismus a dědictví jsou také podporovány.

I když není tak populární jako jeho základní jazyk Z, Object-Z si v něm stále získala značnou pozornost formální metody komunita a výzkum aspektů jazyka pokračuje, včetně hybridních jazyků využívajících Object-Z,[2][3] podpora nástrojů (např. prostřednictvím Komunitní Z nástroje projekt) a upřesňující kameny.[4]

Viz také

Reference

  1. ^ Smith, Graeme (2000). Specifikační jazyk Object-Z. Springer. ISBN  978-1-4615-5265-9.
  2. ^ Mahony, B .; Dong, Jin Song (únor 2000). Msgstr "Časovaný komunikační objekt Z". Transakce IEEE v softwarovém inženýrství. 26 (2): 150–177. CiteSeerX  10.1.1.62.820. doi:10.1109/32.841115.
  3. ^ Dong, J.S .; Duke, R .; Hao, P. (2005). Integrace Object-Z s časovanými automaty. Inženýrství složitých počítačových systémů. 488–497. CiteSeerX  10.1.1.62.793. doi:10.1109 / ICECCS.2005.56. ISBN  978-0-7695-2284-5.
  4. ^ Derrick, John; Boiten, Eerke A. (2014). Upřesnění v Z a Object-Z (2. vyd.). Springer. ISBN  978-1-4471-5355-9.

externí odkazy