Promela-based UML Modeling Methods and Its Application
Yin Chuan-wen · Computer and Modernization · 2010
In terms of the advantages and disadvantages of the formalization methods and the visualization methods,this paper proposes modeling methods based on the two methods,which are reciprocal supplemented each other,it mainly focuses on how to use the formalization methods to verify the UML model,converts a UML model to a Promela specification,and then uses the famous model checking tool SPIN to verify it.And it is resulted to be available to verify the converting methods through an instance.