Object-Z

Last updated

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

Contents

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

References

  1. ↑ Smith, Graeme (2000). The Object-Z Specification Language. Springer. ISBN   978-1-4615-5265-9.
  2. ↑ Mahony, B.; Dong, Jin Song (February 2000). "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, J.S.; Duke, R.; Hao, P. (2005). "Integrating Object-Z with Timed Automata". 10th IEEE International Conference on Engineering of Complex Computer Systems (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. ↑ Derrick, John; Boiten, Eerke A. (2014). Refinement in Z and Object-Z (2nd ed.). Springer. ISBN   978-1-4471-5355-9.
Listen to this article (1 minute)
Sound-icon.svg
This audio file was created from a revision of this article dated 19 November 2022 (2022-11-19), and does not reflect subsequent edits.
(Audio help  · More spoken articles)


This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.