Grupo de usuarios Z

Grupo para promover la notación Z

El Grupo de Usuarios Z ( ZUG ) se estableció en 1992 para promover el uso y desarrollo de la notación Z , un lenguaje de especificación formal para la descripción y razonamiento sobre sistemas informáticos. ^{[3] [4] [5]} Se constituyó formalmente el 14 de diciembre de 1992 durante la Reunión de Usuarios Z ZUM'92 ^[6] en Londres , Inglaterra . ^[7]

Reuniones y conferencias

Inicialmente, ZUG organizó una serie de reuniones de usuarios de Z aproximadamente cada 18 meses. ^{[8] [6] [9]} A partir de 2000, estas se convirtieron en la Conferencia ZB (junto con el Método B , coorganizada con APCB ), y desde 2008 en la Conferencia ABZ ( también con máquinas de estados abstractos ). En 2010, la Conferencia ABZ también incluye Alloy , un lenguaje de especificación similar a Z con soporte de herramientas asociado. ^[10]

El Grupo de Usuarios Z participó en el Congreso Mundial FM'99 sobre Métodos Formales en Toulouse, Francia, en 1999. ^[11] El grupo y la notación Z asociada se han estudiado como una comunidad de práctica . ^[12]

Lista de procedimientos

Las siguientes actas fueron elaboradas por el Grupo de Usuarios Z: ^{[13] [14]}

• Bowen, JP; Nicholls, JE, eds. (1993). Taller de usuarios de Z, Londres 1992, Actas de la séptima reunión anual de usuarios de Z, 14-15 de diciembre de 1992. Springer, Talleres de informática. ISBN  978-0387198187
• Bowen, JP; Hall, JA, eds. (1994). Taller de usuarios de Z, Cambridge 1994, Actas de la octava reunión anual de usuarios de Z, 29-30 de junio de 1994. Springer, Talleres de informática. ISBN 978-3540198840 
• Bowen, JP; Hinchey, MG, eds. (1995). ZUM '95: The Z Formal Specification Notation, 9.ª Conferencia Internacional de Usuarios de Z, Limerick, Irlanda, 7-9 de septiembre de 1995. Springer, Lecture Notes in Computer Science, Volumen 967. ISBN 978-3540602712 
• Bowen, JP; Hinchey, MG; Till, D., eds. (1997). ZUM '97: The Z Formal Specification Notation, 10.ª Conferencia Internacional de Usuarios de Z, Reading, Reino Unido, 3 y 4 de abril de 1997. Springer, Lecture Notes in Computer Science, Volumen 1212. ISBN 978-3540627173 
• Bowen, JP; Fett, A.; Hinchey, MG, eds. (1998). ZUM '98: The Z Formal Specification Notation, 11.ª Conferencia Internacional de Usuarios de Z, Berlín, Alemania, 24-26 de septiembre de 1998. Springer, Lecture Notes in Computer Science, Volumen 1493. ISBN 978-3540650706 

Las siguientes actas de la conferencia ZB se produjeron conjuntamente con la Association de Pilotage des Conférences B (APCB) y cubren la notación Z y el método B relacionado : ^[13]

• Bowen, JP; Dunne, S.; Galloway, A.; King. S., eds. (2000). ZB 2000: Formal Specification and Development in Z and B, Primera Conferencia Internacional de Usuarios de B y Z, York, Reino Unido, 29 de agosto – 2 de septiembre de 2000. Springer, Lecture Notes in Computer Science, Volumen 1878. ISBN 978-3540679448 
• Bert, D.; Bowen, JP; Henson, MC; Robinson, K., eds. (2002). ZB 2002: Especificación formal y desarrollo en Z y B: 2.ª conferencia internacional de usuarios de B y Z, Grenoble, Francia, 23-25 ​​de enero de 2002. Springer, Lecture Notes in Computer Science, volumen 2272. ISBN 978-3540431664 
• Bert, D.; Bowen, JP; King, S.; Walden, M., eds. (2003). ZB 2003: Especificación formal y desarrollo en Z y B: Tercera conferencia internacional de usuarios de B y Z, Turku, Finlandia, 4-6 de junio de 2003. Springer, Lecture Notes in Computer Science, Volumen 2651. ISBN 978-3540402534 
• Treharne, H.; King, S.; Henson, MC; Schneider, S., eds. (2005). ZB 2005: Especificación formal y desarrollo en Z y B: 4.ª conferencia internacional de usuarios de B y Z, Guildford, Reino Unido, del 13 al 15 de abril de 2005. Springer, Lecture Notes in Computer Science, volumen 3455. ISBN 978-3540255598 

A partir de 2008, las conferencias ZB se ampliaron para convertirse en la conferencia ABZ, incluyendo también máquinas de estados abstractos. ^[15]

Presidente y secretario

Los sucesivos presidentes han sido:

• John Nicholls (1992-1994)
• Jonathan Bowen (1994-2011)
• Steve Reeves (2011–)

Los secretarios sucesivos han sido:

• Mike Hinchey (1994-2011)
• Randolph Johnson (2011–)

Véase también

• Métodos formales

Referencias

1. Sayeed, Ahmed (2021). Abreviaturas . Publicación Sankalp. p. 371. ISBN 978-9390636693.
2. Anuario de Organizaciones Internacionales . Vol. 1. Unión de Asociaciones Internacionales . 2017.
3. Bowen, JP (septiembre de 1993). "Actividades del grupo de usuarios Z". JFIT News . 46 : 5.
4. Bowen, JP (1994). "Actividades de reuniones de usuarios Z". Sistemas de alta integridad . 1 (1): 93–94.
5. Tucker, Allen B., ed. (2004). Manual de Ciencias de la Computación . CRC Press . pp. 106–24. ISBN 978-0203494455.
6. Bowen, JP; Nicholls, JE, eds. (1993). Taller de usuarios Z, Londres 1992. Talleres de informática. Springer.
7. "Z User Group (ZUG)". Base de datos mundial de la sociedad civil . UIA . Consultado el 8 de junio de 2022 .
8. Nicholls, JE, ed. (1992). Taller de usuario Z, York 1991. Talleres en informática. Springer.
9. Bowen, JP; Hall, JA, eds. (1994). Taller de usuario Z, Cambridge 1994. Talleres de informática. Springer. ISBN 3-540-19884-9.
10. Frappier, M., Glässer, U.; Khurshid, S., Laleau, R. y Reeves, S. (eds.), Abstract State Machines, Alloy, B y Z: Segunda Conferencia Internacional, ABZ 2010, Orford, QC, Canadá, 22 al 25 de febrero de 2010, Actas , Springer-Verlag , Lecture Notes in Computer Science , Volumen 5977, 2010. ISBN 978-3-642-11810-4 . 
11. "Reunión del grupo de usuarios Z (ZUG)". Congreso Mundial FM'99 . Toulouse, Francia. 20–24 de septiembre de 1999. Archivado desde el original el 6 de julio de 2007.
12. Bowen, JP ; Reeves, S. (2011). "De una comunidad de práctica a un cuerpo de conocimiento: un estudio de caso de la comunidad de métodos formales". En Butler, M. ; Schulte, W. (eds.). FM 2011: Métodos formales . Apuntes de clase en informática . Vol. 6664. Berlín, Heidelberg: Springer . págs. 308–322. doi :10.1007/978-3-642-21437-0_24.
13. "Conferencia internacional sobre máquinas de estados abstractos, Alloy, B, TLA, VDM y Z (ABZ) – Conferencia internacional de usuarios de B y Z (ZB) – Reunión internacional de usuarios de Z (ZUM) – Taller de usuarios de Z". DBLP . Consultado el 28 de julio de 2022 .
14. Bowen, Jonathan (julio de 2022). "El grupo de usuarios Z: treinta años después" (PDF) . FACS FACTS . N.º 2022–2. BCS-FACS . págs. 50–56 . Consultado el 3 de agosto de 2022 .
15. Börger, E.; Butler, MJ; Bowen, JP; Boca, P., eds. (2008). Abstract State Machines, B and Z, Primera Conferencia Internacional, ABZ 2008, Londres, Reino Unido, 16-18 de septiembre de 2008. Springer, Lecture Notes in Computer Science, Volumen 5238. ISBN 978-3540876021 

Enlaces externos

• Grupo de usuarios Z