Paper Info
Title
Checking General Safety Criteria on UML Statecharts
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.
Year
DOI
Venue
2001
10.1007/3-540-45416-0_5
SAFECOMP
Keywords
Field
DocType
reduced form,uml statecharts,automated safety analysis,automated analysis technique,uml statechart specification,graph transformation,ocl expression,checking general safety criteria,checker method,general safety criterion
Programming language,UML state machine,Program transformation,Unified Modeling Language,Computer science,Correctness,State diagram,Algorithm,Applications of UML,Graph rewriting,Completeness (statistics),Reliability engineering
Conference
ISBN
Citations 
PageRank 
3-540-42607-8
14
1.78
References 
Authors
6
3
Name
Order
Citations
PageRank
Zsigmond Pap1242.90
Istvan Majzik220123.46
András Pataricza351455.25