The application of UML2.0 and XYZ/E in archives management information system

摘要

With the advent of the information society, various archives management software has seriously affected the development of the whole system. In the development of archives management information system, the first step is modeling. UML has actually become the industry standard in the field of system modeling at present. However, the lack of precise semantics makes it difficult to analyze and validate models. The executable linear temporal logic language XYZ/E can represent both static semantics and dynamic semantics. So a practical scheme combining UML and XYZ/E for developing archives management information system is proposed.