Title :
The application of UML2.0 and XYZ/E in archives management information system
Author :
Gan Jian-hou ; Zhang Shu ; Wen Bin ; Ling-Yun, Yuan ; Yun, Gao
Author_Institution :
Coll. of Comput. Sci. & Inf. Technol., Yunnan Normal Univ., Kunming, China
Abstract :
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.
Keywords :
Unified Modeling Language; information retrieval systems; management information systems; records management; temporal logic; UML2.0; XYZ/E; archive management information system; archive management software; executable linear temporal logic language; Computational modeling; Gallium nitride; Unified modeling language; Archives Management Information System; Modeling; UML; XYZ/E;
Conference_Titel :
Computer Application and System Modeling (ICCASM), 2010 International Conference on
Print_ISBN :
978-1-4244-7235-2
Electronic_ISBN :
978-1-4244-7237-6
DOI :
10.1109/ICCASM.2010.5620289
