Object-Z [1] es una extensión orientada a objetos de la notación Z desarrollada en la Universidad de Queensland , Australia .
Object-Z extiende Z mediante la adición de construcciones de lenguaje que se asemejan al paradigma orientado a objetos, más notablemente, clases . También se admiten otras nociones orientadas a objetos, como polimorfismo y herencia .
Aunque no es tan popular como su lenguaje base Z, Object-Z todavía ha recibido una atención significativa en la comunidad de métodos formales , y la investigación sobre aspectos del lenguaje está en curso, incluidos los lenguajes híbridos que utilizan Object-Z, [2] [3] soporte de herramientas (por ejemplo, a través del proyecto Community Z Tools ) y cálculos de refinamiento . [4]
Ver también
Referencias
- ^ Smith, Graeme (2000). El lenguaje de especificación Object-Z . Saltador. ISBN 978-1-4615-5265-9.
- ^ Mahony, B .; Dong, Jin Song (febrero de 2000). "Objeto de comunicación temporizada Z". Transacciones IEEE sobre ingeniería de software . 26 (2): 150-177. CiteSeerX 10.1.1.62.820 . doi : 10.1109 / 32.841115 .
- ^ Dong, JS; Duke, R .; Hao, P. (2005). Integración de Object-Z con autómatas temporizados . Ingeniería de Sistemas Computacionales Complejos . págs. 488–497. CiteSeerX 10.1.1.62.793 . doi : 10.1109 / ICECCS.2005.56 . ISBN 978-0-7695-2284-5.
- ^ Derrick, John; Boiten, Eerke A. (2014). Refinamiento en Z y Object-Z (2ª ed.). Saltador. ISBN 978-1-4471-5355-9.
enlaces externos
- La página de inicio de Object-Z
- Proyecto Community Z Tools (CZT) Archivado el 1 de julio de 2004 en Wayback Machine