Using EHS to Check Completeness and Consistency of UML Statemachines

LIU Xiao-jian,LI Zhan-huai

DOI: https://doi.org/10.19304/j.cnki.issn1000-7180.2008.01.009

2008-01-01

Abstract:UML (Unifying Modeling Language) is a de-facto standard for the design of systems, and has been widely used to specify safety-critical reactive control systems. Incompleteness and inconsistency are two common specification flaws in UML State-machines models. The early checking of these errors is crucial for system development. This paper gives the definitions of completeness and consistency, proposing an approach to checking the completeness and consistency. Our approach firstly transforms State-machines formalism into a clearer and equivalent intermediate format Extended Hierarchical Automata (EHA), and then checks EHA model for these properties. The advantages of EHA allow us to develop an efficient and simple algorithm to check completeness and consistency.