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

Volume

8

fYear

2010

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICCASM.2010.5620289

Filename

5620289