Object-Z

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Object-Z[1] is an object-oriented extension to the Z notation developed at the University of Queensland, Australia.

Object-Z extends Z by the addition of language constructs resembling the object-oriented paradigm, most notably, classes. Other object-oriented notions such as polymorphism and inheritance are also supported.

While not as popular as its base language Z, Object-Z has still received significant attention in the formal methods community, and research on aspects of the language are ongoing, including hybrid languages using Object-Z,[2][3] tool support (e.g., through the Community Z Tools project) and refinement calculi.[4]

See also[edit]

External links[edit]

References[edit]

  1. ^ Smith, Graeme (2000). The Object-Z Specification Language. Springer. ISBN 978-1-4615-5265-9. 
  2. ^ Mahony, B; Dong, Jin Song (Feb 2000). "Timed Communicating Object Z". IEEE Transactions on Software Engineering 26 (2): 150–177. doi:10.1109/32.841115. 
  3. ^ Dong, J.S.; Duke, R; Hao, P. (2005). "Integrating Object-Z with timed automata". Engineering of Complex Computer Systems: 488–497. doi:10.1109/ICECCS.2005.56. 
  4. ^ Derrick, John; Boiten, Eerke A. (2014). Refinement in Z and Object-Z (2nd ed.). Springer. ISBN 978-1-4471-5355-9.