Graphic Specification of Abstract Data Types

Abstract

RESUMENLa 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.Palabras Claves: Ingeniería de software, métodos formales, especificación algebraica, tipos abstractos de datos. ABSTRACT Formally specifying software requirements using algebraic specifications has all the advantages of formal specifications. This type of specifications is usually textual. Most modern specification languages have a graphical representation in an attempt to improve usability. This is also the case for algebraic specifications .Here we present a survey on how abstract data types are represented graphically. We propose a structure containing a superset of all elements surveyed. We also show an application example, and we report some experimental results when using this graphical representation.

A contribution to user interface modelling based on graph transformations approach

“…Another approach of the user interface formal specication and design has been published in [3,4]. The deciency of this approach consists of the fact that any context between the user interface elements and the underlying database is not taken under consideration.…”

Especificación de interfaces y patrones RIA

“…Existen diversos trabajos realizados sobre como especificar las nuevas funcionalidades de las aplicaciones RIA, sus comportamientos e interacciones con el usuario, mediante lenguajes y métodos apropiados, uso de herramientas nuevas y adaptadas, etc. [2], [26], [29] y [31].…”