Using abstract state machines to support UML model instantiation checking
Wuwei Shen, Weng Liong Low · 2005
UML is defined in terms of the four-level modeling architecture. The UML metamodel consists of informal description, syntax, and the well-formedness rules given in OCL. Furthermore, class diagrams have played an important role in software development because they provide basic information about a software system. In this paper, we propose a State Machines. As an application of this method we will use a class diagram to represent OCL structure and therefore an OCL translator is generated. Based on the support of class diagrams and OCL, any user-defined UML model (M1-level), as an instantiation of the UML metamodel, can be compared against the UML metamodel. On the other hand, an object model (M0-level) can be checked based on the user-defined UML model (M1-level). Therefore, more errors can be reported to software developers during the early phase of software development. KEY WORDS abstract state machines, model checking 1