Abstract
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 proven. An example illustrates the application of the tools developed so far.
Cite
CITATION STYLE
Pap, Z., Majzik, I., & Pataricza, A. (2001). Checking general safety criteria on UML statecharts. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2187, pp. 46–55). Springer Verlag. https://doi.org/10.1007/3-540-45416-0_5
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
