The Research Of UML Statecharts Diagram Using Formal Language

The 50s of last century, the birth of the software, Software Design is always the most important part of the development of software design. Software designers could improve efficiency, reduce unnecessary expenditure and Guarantee the correctness of the software from good design. But the problem is how to make sure the design is good. In the first years, engineer design and write software using Personal wisdom. Then, many researchers propose kinds of methods. Now, a lot of software designers use UML to design their systems. The researchers try to find an ideal method to finish their work. An ideal language is easy to understand and accept. User can exchange their ideas using the methods without any barrier. And the researchers wish the language can be proved and have specification form. Although the "Bible" is not written, we can use many languages meeting parts of advantages. In the last century, the researchers invented two languages in different styles. One of them is sample and flexible. It does not depend advanced mathematical skills and rigorous design. It is called UML (Unified Modeling Language). It has already accepted by most designers and teams. The other one is called formal language. The researchers of formal language considered that it is essential to ensure the correctness of the software using rigorous and precise proof. They support that design software using standard methods. Because the formal language is based on the mathematics, adding the mature less technology and worse tools on it, it is hard to popularize. Now the formal language is used by parts of labs.We use a kind of language called CHAM (Chemistry Abstract Machine) formal language to design the software system. And we will show the use of CHAM in UML statecharts diagram. CHAM was used in description of parallel calculation when invented. It is based on mathematics. Then it was used to descript the architecture of system. Because it is good at decrypting the dynamic behaviors of system, we choose the statecharts diagrams. We propose a new method to divide the statecharts diagram. Using this method, the statecharts diagram is divided into simple statecharts diagram, hierarchical statecharts diagram, complicating statecharts diagram. Descript them and using the method in an example.At last, we design a tool to write the CHAM formal language. This tool is expert in writing the CHAM. We use some ways to assure the correctness the users'writing. We use auto-generation of solution to reduce the works of writing.