Static safety analysis of UML action semantics for critical systems development

Abstract
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to implementation allowing the development of highly automated and optimized code generators for UML CASE tools. In the paper, we evaluate the use of Action Semantics in the model driven development of reactive and safety critical systems. Finally, we propose a static safety analysis technique to identify incompleteness, non-determinism and inconsistencies in behavioral specifications using Action Semantics descriptions.
  • Citation
  • BibTeX
Pap, Z. & Varró, D., (2004). Static safety analysis of UML action semantics for critical systems development. In: Dadam, P. & Reichert, M. (Hrsg.), Informatik 2004 – Informatik verbindet – Band 1, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI). Bonn: Gesellschaft für Informatik e.V.. (S. 57-61).
@inproceedings{mci/Pap2004,
author = {Pap, Zsigmond AND Varró, Dániel},
title = {Static safety analysis of UML action semantics for critical systems development},
booktitle = {Informatik 2004 – Informatik verbindet – Band 1, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI)},
year = {2004},
editor = {Dadam, Peter AND Reichert, Manfred} ,
pages = { 57-61 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI-Proceedings.50-9.pdf376.4Kb PDF View/Open

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

ISBN: 3-88579-379-2
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2004
Language: en (en)
Content Type: Text/Conference Paper
Collections

Show full item record