Improving the consistency between textual and graphical syntax of the language of Semat

Carlos Mario Zapata Jaramillo, Rafael Esteban Arango Sánchez, Leidy Diana Jiménez Pinzón

Universidad Nacional de Colombia, sede Medellín, Colombia (correos: cmzapata@unal.edu.co, raearangosa@unal.edu.co, ldjimenezp@unal.edu.co).

Manuscrito recibido el 19 de abril de 2014 ]]> Aceptado para la publicación el 17 de junio del 2014.

Resumen

Semat (Software Engineering Method and Theory) es una iniciativa que permite representar prácticas comunes de metodologías ya existentes mediante los elementos de su núcleo, los cuales se describen en términos de un lenguaje. Este lenguaje tiene una sintaxis gráfica y una textual. La sintaxis textual se describe mediante el metalenguaje EBNF (Extended Backus-Naur Form) que se utiliza como notación de gramáticas de libre contexto para describir un lenguaje formal. Sin embargo, la sintaxis textual de los elementos del núcleo en algunos casos presenta inconsistencia con la sintaxis gráfica. Por ello, en este artículo se propone la modificación del lenguaje textual mediante un análisis gramatical al lenguaje de Semat con el fin de lograr una relación consistente entre la sintaxis textual y gráfica de los elementos del núcleo de Semat.

Palabras clave: Análisis gramatical, EBNF, Semat, sintaxis textual.

Abstract

Semat (Software Engineering Method and Theory) is an initiative that allows representing common practices of existing methodologies by its core elements, which are described in terms of a language. This language has a graphical and a textual syntax. The textual syntax is described using meta-language EBNF (Extended Backus-Naur Form), which is used as context-free grammar notation to describe a formal language. However, the textual syntax of core elements in some cases is inconsistent with the graphical syntax. Therefore, in this paper we propose a modification of textual language by parsing the language of Semat in order to achieve a consistent relationship between textual and graphical syntax of the core elements of Semat.

Key words: Parsing, EBNF, Semat, textual syntax.

Agradecimientos

El proyecto identificado con el código 18907 y que lleva por título "Especificación formal en OCL de reglas de consistencia entre métodos de desarrollo basados en planes, representado en el núcleo de Semat", que financia la Dirección de Investigación de la Sede Medellín (DIME), adscrita a la Universidad Nacional de Colombia suministró los fondos para la realización de este artículo.

Referencias

[1] I. Jacobson, P. P. W. Ng, P. E. McMahon, I. Spence, S. Lidman, C. M. Zapata (traductor), "La esencia de la ingeniería de software: El núcleo de Semat", Revista Latinoamericana de Ingeniería de Software, vol. 3, pp. 71-78, 2013.         [ Links ]

[2] N. Chomsky, "The independence of grammar", en Syntactics structures, S. Wendland, Walter de Gruyter GmnH & Co. KG, Berlín, 1957, pp. 117.         [ Links ]

[3] Essence - Kernel and Language for Software Engineering Methods. Versión 1.3, 2013.         [ Links ]

[4] B. L. Kurtz, K. Slonneger, "Specifying syntax", en Formal syntax and semantics of programming languages. A laboratory based approach, 1995, pp. 625.         [ Links ]

[5] D. E. Knuth, "Backus Normal Form vs. Bakus Naur Form", Communications of the ACM, vol. 7, no. 12, 1964, pp. 735-736.         [ Links ]

[6] L. Reynoso, M. Genero, M. Piattini, "Towards a metric suite for OCL Expressions expressed within UML/OCL models", Journal of Computer Science & Technology, vol. 4, no.1, 2004, pp. 38.         [ Links ]