Checking General Safety Criteria on UML Statecharts

@inproceedings{Pap2001CheckingGS,
  title={Checking General Safety Criteria on UML Statecharts},
  author={Zsigmond Pap and Istv{\'a}n Majzik and Andr{\'a}s Pataricza},
  booktitle={SAFECOMP},
  year={2001}
}
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… CONTINUE READING
Highly Cited
This paper has 43 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 26 extracted citations

References

Publications referenced by this paper.
Showing 1-9 of 9 references

Pataricza : Automatic Graph Transformation in System Verification

  • G. Varró D. Varró, A.
  • Completeness and Consistency Analysis of UML…
  • 2001

Massink : Automatic Verification of a Behavioral Subset of UML Statechart Diagrams Using the SPIN Modelchecker

  • D. Latella, I. Majzik, M.
  • Formal Aspects of Computing
  • 1999

Reese : Designing Specification Languages for Process Control Systems

  • M. P. E. Heimdahl, D. J.
  • Lessons Learned and Steps to the Future
  • 1998

Parisi Presicce : State Diagrams in UML : A Formal Semantics using Graph Transformation

  • F. M. Gogolla
  • The Model Checker SPIN . IEEE Transactions on…
  • 1997

The Model Checker SPIN

  • F. M. Gogolla
  • IEEE Transactions on Software Engineering
  • 1997

Heimdahl : SpecTRM : A CAD System for Digital Automation

  • N. G. Leveson, J. D. Reese, M.
  • 1996

Leveson: Safeware: System Safety and Computers

  • N G.
  • Requirements Specifica-
  • 1995

Leveson : Completeness and Consistency Checking of Software Requirements

  • M. P. E. Heimdahl, G. N.
  • IEEE Trans , on Software Engineering
  • 1994

Similar Papers

Loading similar papers…