Sciweavers

GI
2004
Springer

Static Safety Analysis of UML Action Semantics for Critical Systems Development

13 years 9 months ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
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.
Zsigmond Pap, Dániel Varró
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where GI
Authors Zsigmond Pap, Dániel Varró
Comments (0)