Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics

Informatik 2004, Informatik verbindet, Band 1, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, 20. - 24. September 2004 P-50, 57-61 (2004).

GI, Gesellschaft für Informatik, Bonn


Peter Dadam, Manfred Reichert (eds.)

Copyright © GI, Gesellschaft für Informatik, Bonn


Static safety analysis of UML action semantics for critical systems development

Zsigmond Pap and Daniel Varro


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.

Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-379-2

Last changed 24.01.2012 21:46:36