As a defacto industry standard, UML has been more and more widely used in software development. However, with the increase of software scale and complexity, deficiencies of UML are increasingly obvious. As the latest version of UML, UML2.0 has been improved and refined base on UML1.x. Whereas UML still lacks precise semantics which is difficult to analyze and validate the described model. In a unified temporal logic framework, temporal logic language XYZ/E can represent both static semantics and dynamic semantics. In addition, it supports stepwise refinement, model checking, as well as executable code automatically converted. Based on these, a practical scheme is proposed for modeling software with combining UML2.0 and XYZ/E, which also provides a formal basis for analysis and validation of the model.
展开▼