Checking general safety criteria on UML statecharts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2187, Issue , 2001, Pages 46-55

  Pap, Zsigmond ^a   Majzik, István ^a   Pataricza, András ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

AUTOMATED ANALYSIS; GRAPH TRANSFORMATION; SAFETY ANALYSIS; SAFETY CRITERION; SPEED UP; UML STATECHARTS;

ARTIFICIAL INTELLIGENCE;

EID: 84956994446     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45416-0_5     Document Type: Conference Paper

References (16)

1. Object Management Group: Unified Modeling Language Specification v 1.3. (1999).
2. B. P. Douglass: Real-Time UML-Developing Efficient Objects for Embedded Systems. Addison-Wesley (1998)
3. N. G. Leveson: Safeware: System Safety and Computers. Addison-Wesley (1995)
4. N. G. Leveson, M. P. E. Heimdahl, H. Hildreth, and J. D. Reese: Requirements Specification for Process-Control Systems. IEEE Trans. on SE, pp. 684-706 (1994)
5. M. P. E. Heimdahl and N. G. Leveson: Completeness and Consistency Checking of Software Requirements. IEEE Trans, on Software Engineering, Vol. 22. No. 6 (1996)
6. N. G. Leveson, J. D. Reese and M. Heimdahl: SpecTRM: A CAD System for Digital Automation. Digital Avionics System Conference, Seattle (1998)
7. N. G. Leveson, M. P. E. Heimdahl, and J. D. Reese: Designing Specification Languages for Process Control Systems. Lessons Learned and Steps to the Future.
8. D. Latella, I. Majzik, M. Massink: Automatic Verification of a Behavioral Subset of UML Statechart Diagrams Using the SPIN Model-checker. Formal Aspects of Computing, Vol. 11 No. 6 pp 637-664, Springer Verlag, (1999)
9. Rational Corporation. Rational Rose 2000. http://www.rational.com/
10. G. Holzmann: The Model Checker SPIN. IEEE Transactions on Software Engineering, Vol. 23, pp 279-295 (1997)
11. M. Gogolla, F. Parisi Presicce: State Diagrams in UML: A Formal Semantics using Graph Transformation. Proc. ICSE’98 Workshop on Precise Semantics of Modeling Techniques (PSMT’98), pp 55-72. (1998)
12. M. Gogolla: Graph Transformation on the UML Metamodel, Workshop on Graph Transformation and Visual Modeling Techniques, ICALP’2000, Geneva, Switzerland, 2000
13. Zs. Pap, I. Majzik, A. Pataricza and A. Szegi: Completeness and Consistency Analysis of UML Statechart Specifications. Accepted to DDECS-2001, Gy•r, Hungary (2001)
14. D. Varró, G. Varró, and A. Pataricza: Automatic Graph Transformation in System Verification. In Proc. DDECS-2000, pp 34, 2000.
15. Object Management Group. XML Metadata Interchange. (1998).
16. Zs. Pap: Checking Safety Criteria in UML Statecharts (In Hungarian). Technical Report No. 2/2001 of the DMIS, Budapest University of Technology and Economics, 2001.