A common problem in UML-based development is to verify whether a given model behaves as required. In particular it is difficult to understand whether the model of a real-time system satisfies the given time constraints. In general the problem is that the real performances of a system can be evaluated only after its implementation. An effective way of tackling this problem consists in simulating the execution of the model, observing its behavior and comparing it with the user requirements. This article describes a procedure for converting a given UML model into an equivalent model that can be simulated by means of a commercial environment.

Simulation-based Verification of UML models

LAVAZZA, LUIGI ANTONIO;
2003-01-01

Abstract

A common problem in UML-based development is to verify whether a given model behaves as required. In particular it is difficult to understand whether the model of a real-time system satisfies the given time constraints. In general the problem is that the real performances of a system can be evaluated only after its implementation. An effective way of tackling this problem consists in simulating the execution of the model, observing its behavior and comparing it with the user requirements. This article describes a procedure for converting a given UML model into an equivalent model that can be simulated by means of a commercial environment.
2003
15th International Conference on Software Engineering and Knowledge Engineering (SEKE2003)
15th International Conference on Software Engineering and Knowledge Engineering (SEKE2003)
San Francisco
July 2003
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/17570
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact