IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.
IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.
EnglishA 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.
| Titolo: | Simulation-based Verification of UML models |
| Autori: | |
| Data di pubblicazione: | 2003 |
| 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. |
| Handle: | http://hdl.handle.net/11383/17570 |
| Appare nelle tipologie: | Relazione (in Volume) |
File in questo prodotto:
Copyright © 2020