A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf
.
Checking General Safety Criteria on UML Statecharts
[chapter]
2001
Lecture Notes in Computer Science
This paper describes methods and tools for automated safety analysis of UML statechart specifications. The general safety criteria described in the literature are reviewed and automated analysis techniques are proposed. The techniques based on OCL expressions and graph transformations are detailed and their limitations are discussed. To speed up the checker methods, a reduced form for UML statecharts is introduced. Using this form, the correctness and completeness of some checker methods can be
doi:10.1007/3-540-45416-0_5
fatcat:a43q34c7mff63bdg2ov3k3rfsy