SciELO - Scientific Electronic Library Online

 
vol.12 número1IMPLEMENTACIÓN DE UN RECONOCEDOR DE PALABRAS AISLADAS DEPENDIENTE DEL LOCUTORUN ENFOQUE BAYESIANO PARA INCORPORAR PRONÓSTICOS DE LA DEMANDA EN EXPERIMENTOS POR SIMULACIÓN PARA LA ADMINISTRACIÓN DE INVENTARIOS índice de autoresíndice de materiabúsqueda de artículos
Home Pagelista alfabética de revistas  

Servicios Personalizados

Revista

Articulo

Indicadores

Links relacionados

Compartir


Revista Facultad de Ingeniería - Universidad de Tarapacá

versión On-line ISSN 0718-1337

Rev. Fac. Ing. - Univ. Tarapacá v.12 n.1 Arica mayo 2004

http://dx.doi.org/10.4067/S0718-13372004000100003 

 

REVISTA FACULTAD DE INGENIERIA, U.T.A. (CHILE), VOL. 12 Nº1, 2004, pp. 15-23

GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPES

 

Pedro Rossel1     Ricardo Contreras2     María Cecilia Bastarrica3

1 Universidad Católica del Maule, Departamento de Computación e Informática. Av. San Miguel 3605 Talca, Chile, prossel@hualo.ucm.cl

2 Universidad de Concepción, Departamento de Ingeniería Informática y Ciencias de la Computación. Edmundo Larenas 215 Concepción, Chile, rcontrer@inf.udec.cl

3 Universidad de Chile, Departamento de Ciencias de la Computación. Blanco Encalada 2120 Santiago, Chile, cecilia@dcc.uchile.cl


 

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.

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.

Keywords: Software engineering, formal methods, algebraic specification, abstract data types, graphic language.




REFERENCES

[1] H. Ben­Abdallah, I. Lee, and J.Y. Choi; "GSCR: a Graphical Language with Algebraic Semantics for the Specification of Real­Time Systems". Technical report, Department of Computer and Information Science, University of Pennsylvania, Philadelphia, United States, 1995.        [ Links ]

[2] E.A. Boiten, H.A. Partsch, D. Tuijnman, and N.Völker; "How to Produce Correct Software – An Introduction to Formal Specification and Program Development by Transformations". The Computer Journal, Vol. 35, No. 6, pp.547 – 554, December 1992.        [ Links ]

[3] J.P. Bowen and M.G. Hinchey; "Seven More Myths of Formal Methods". IEEE Software, Vol. 12, No. 4, pp. 34 – 40, July 1995.        [ Links ]

[4] I.M. Bradley; "Notes on Algebraic Specifications". Information and Software Technology, Vol. 31, No. 7, pp. 357 – 365, September 1989.        [ Links ]

[5] L.M.F. Carneiro, D.D. Cowan, and C.J.P. Lucena; "Introducing ADVcharts: a Visual Formalism for Describing Abstract Data Views". Technical report, Computer Science Departament & Computer Systems Group, University of Waterloo, Waterloo, Canada, 1993.        [ Links ]

[6] H. Ehrig, B. Mahr, I. Classen, and F. Orejas; "Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development". The Computer Journal, Vol. 35, No. 5, pp. 460 – 467, October 1992.        [ Links ]

[7] H. Ehrig, B. Mahr, and F. Orejas; "Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications". The Computer Journal, Vol. 35, No.5, pp. 468 – 477, October 1992.        [ Links ]

[8] K. Finney; "Mathematical Notation in Formal Specification. Too Difficult for the Masses?" IEEE Transactions on Software Engineering, Vol. 22, No. 2, pp. 158 – 159, February 1996.        [ Links ]

[9] M.D. Fraser, K. Kumar, and V.K. Vaishnavi; "Strategies for Incorporating Formal Specifications in Software Development". Communications of the ACM, Vol. 37, No. 10, pp. 74 – 86, October 1994.        [ Links ]

[10] C. Ghezzi, M. Jazayeri, and D. Mandrioli; "Fundamentals of Software Engineering". Prentice­Hall International Editions, 1991.        [ Links ]

[11] T.L. Good and J. Brophy; "Contemporary Eductional Psychology". Addison Wesley, 5 edition, January 1995.        [ Links ]

[12] J.V. Guttag, J.J. Horning, S.J. Garland, K.D. Jones, A. Modet, and J.M. Wing; "Larch: Languages and Tools for Formal Specification". Springer­Verlag, 1993.        [ Links ]

[13] A. Hall; "Seven Myths of Formal Methods". IEEE Software, Vol. 7, No. 5, pp. 11 – 19, September 1990.        [ Links ]

[14] D. Harel; "On Visual Formalisms". Communications of the ACM", Vol. 31, No. 5, pp. 514 – 530, September 1988.        [ Links ]

[15] J. B. Johnston; "The Contour Model of Block Structured Processes. SIGPLAN Notices, Vol. 6, No. 2, pp. 55 – 82, 1971.        [ Links ]

[16] K. E. Kendall and J. E. Kendall; "System Analysis and Design". Prentice Hall, 4 edition, 1999.        [ Links ]

[17] I. Lee and O. Sokolsky; "A Graphical Property Specification Language". In Proceedings of 2nd IEEE Workshop on High­Assurance Systems Engineering. IEEE Computer Society Press, 1997.        [ Links ]

[18] D. Neary and M. Woodward; "An Experiment to Compare the Comprehensibility of Textual and Visual Forms of Algebraic Specifications". Journal of Visual Languages and Computing, Vol. 13, No. 2, pp. 149 – 175, April 2002.        [ Links ]

[19] R. S. Pressman; "Software Engineering. A Practitioners Approach". McGraw­Hill, 5 edition, June 2000.        [ Links ]

[20] P.O. Rossel; "A Language for Formal Requirements Specification with a Graphic Representation", (In Spanish). Master's thesis, Universidad de Concepción, Concepción, Chile, January 2000.        [ Links ]

[21] J. A. Senn; "Analysis and Design of Information Systems". McGraw­Hill, 2 edition, January 1989.        [ Links ]

[22] I. Sommerville; "Software Engineering". Addison­Wesley Publishing Company, 6 edition, 2000.        [ Links ]

[23] J. M. Wing; "A Specifier's Introduction to Formal Methods". IEEE Computer, Vol. 23, No. 9, pp. 8 – 24, September 1990.        [ Links ]

[24] J. Woodcock and M. Loomes; "Software Engineering Mathematics". Addison-Wesley Publishing Company, 1989.        [ Links ]

[25] A. E. Woolfolk; "Educational Psychology". Allyn & Bacon, 7 edition, 1998.        [ Links ]

Recibido el 5 de diciembre de 2003, aceptado el 7 de mayo de 2004

 

 

Creative Commons License Todo el contenido de esta revista, excepto dónde está identificado, está bajo una Licencia Creative Commons