Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
From UML State-Machine Diagrams to Erlang
Año:2013
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
The Unified Modelling Language (UML) is a semi-formal modelling language useful for representing architectural and behavioural aspects of concurrent and distributed systems. In this paper we propose a transformation from UML State-Machine diagrams to Erlang code. Erlang is a functional language, with strict evaluation, single assignment, and dynamic typing, and with good support for concurrency and distribution. The contribution of this transformation is twofold: it can reduce development time, and moreover it permits us to validate UML diagrams at an early development stage through the use of Erlang-based model checking techniques
Internacional
No
Nombre congreso
XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional
Tipo de participación
960
Lugar del congreso
Madrid (España)
Revisores
Si
ISBN o ISSN
78-84-695-8331-9
DOI
Fecha inicio congreso
18/09/2013
Fecha fin congreso
20/09/2013
Desde la página
288
Hasta la página
299
Título de las actas
XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Angel Herranz Nieva (UPM)
  • Autor: Ricardo Julio Rodríguez Fernández (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2022 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)