Descripción
|
|
---|---|
Validation of a system design enables to discover specification errors before it is implemented (or tested), thus hopefully reducing the development cost and time. The Unified Modelling Language (UML) is becoming widely accepted for the early specification and analysis of requirements for safety-critical systems, although a better balance between UML?s undisputed flexibility, and a precise unambiguous semantics, is needed. In this paper we introduce UMerL, a tool that is capable of executing and formally verifying UML diagrams (namely, UML state machine, class and object diagrams) by means of a translation of its behavioural information into Erlang. The use of the tool is illustrated with an example in embedded software design. | |
Internacional
|
Si |
Nombre congreso
|
Software Engineering and Formal Methods |
Tipo de participación
|
960 |
Lugar del congreso
|
Grenoble, Francia |
Revisores
|
Si |
ISBN o ISSN
|
978-3-319-10431-7 |
DOI
|
|
Fecha inicio congreso
|
01/09/2014 |
Fecha fin congreso
|
05/09/2014 |
Desde la página
|
284 |
Hasta la página
|
289 |
Título de las actas
|
Software Engineering and Formal Methods |