Graphic Specification of Abstract Data Types

• Autores: Pedro Rossel, Ricardo Contreras A., María Cecilia Bastarrica
• Localización: Revista de la Facultad de Ingeniería - Universidad de Tarapacá, ISSN-e 0718-1337, ISSN 0717-1072, Vol. 12, Nº. 1, 2004, págs. 15-24
• Idioma: español
• Enlaces
  • Texto completo (pdf)
• Resumen

  • La definición formal de requisitos de software usando especificaciones algebraicas tiene todas las ventajas de las especificaciones formales y su sólida base teórica. Este tipo de especificaciones es generalmente textual. La mayor parte de los lenguajes de especificación modernos tienen una representación gráfica para mejorar su usabilidad. Esto también es el caso de las especificaciones algebraicas. En este artículo presentamos una recopilación de las formas en que los tipos abstractos de datos pueden ser representados gráficamente usando especificaciones algebraicas, proponiendo una notación que incluye el conjunto de todas las facetas encontradas en la literatura. También mostramos un ejemplo de aplicación y algunos resultados experimentales de usar esta notación gráfica en la práctica