Details
| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 26-47 |
| Seitenumfang | 22 |
| Fachzeitschrift | Software and systems modeling |
| Jahrgang | 5 |
| Ausgabenummer | 1 |
| Publikationsstatus | Veröffentlicht - Apr. 2006 |
Abstract
We suggest a framework for UML diagram validation and execution that takes advantage of some of the practical restrictions induced by diagrammatic representations (as compared to Turing equivalent programming languages) by exploiting possible gains in decidability. In particular, within our framework we can prove that an object interaction comes to an end, or that one action is always performed before another. Even more appealingly, we can compute efficiently whether two models are equivalent (aiding in the redesign or refactoring of a model), and what the differences between two models are. The framework employs a simple modelling object language (called MOL) for which we present formal syntax and semantics. A first generation of tools has been implemented that allows us to collect experience with our approach, guiding its further development.
ASJC Scopus Sachgebiete
- Informatik (insg.)
- Software
- Mathematik (insg.)
- Modellierung und Simulation
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
in: Software and systems modeling, Jahrgang 5, Nr. 1, 04.2006, S. 26-47.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
}
TY - JOUR
T1 - Exploiting practical limitations of UML diagrams for model validation and execution
AU - Steimann, Friedrich
AU - Vollmer, Heribert
PY - 2006/4
Y1 - 2006/4
N2 - We suggest a framework for UML diagram validation and execution that takes advantage of some of the practical restrictions induced by diagrammatic representations (as compared to Turing equivalent programming languages) by exploiting possible gains in decidability. In particular, within our framework we can prove that an object interaction comes to an end, or that one action is always performed before another. Even more appealingly, we can compute efficiently whether two models are equivalent (aiding in the redesign or refactoring of a model), and what the differences between two models are. The framework employs a simple modelling object language (called MOL) for which we present formal syntax and semantics. A first generation of tools has been implemented that allows us to collect experience with our approach, guiding its further development.
AB - We suggest a framework for UML diagram validation and execution that takes advantage of some of the practical restrictions induced by diagrammatic representations (as compared to Turing equivalent programming languages) by exploiting possible gains in decidability. In particular, within our framework we can prove that an object interaction comes to an end, or that one action is always performed before another. Even more appealingly, we can compute efficiently whether two models are equivalent (aiding in the redesign or refactoring of a model), and what the differences between two models are. The framework employs a simple modelling object language (called MOL) for which we present formal syntax and semantics. A first generation of tools has been implemented that allows us to collect experience with our approach, guiding its further development.
KW - Modelling
KW - Modelling language
KW - UML
KW - Validation of models
UR - http://www.scopus.com/inward/record.url?scp=33645237137&partnerID=8YFLogxK
U2 - 10.1007/s10270-005-0097-y
DO - 10.1007/s10270-005-0097-y
M3 - Article
AN - SCOPUS:33645237137
VL - 5
SP - 26
EP - 47
JO - Software and systems modeling
JF - Software and systems modeling
SN - 1619-1366
IS - 1
ER -