Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
From UML State-Machine Diagrams to Erlang
Year:2013
Research Areas
  • Information technology and adata processing
Information
Abstract
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
International
No
Congress
XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional
960
Place
Madrid (España)
Reviewers
Si
ISBN/ISSN
78-84-695-8331-9
Start Date
18/09/2013
End Date
20/09/2013
From page
288
To page
299
XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional
Participants
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Angel Herranz Nieva (UPM)
  • Autor: Ricardo Julio Rodríguez Fernández (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2019 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)