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.

关键词： UML XYZ/E archives management information system modeling

作者: Gan Jian-hou Zhang Shu Wen Bin Yuan Ling-yun Gao Yun

作者单位: College of Computer Science and Information Technology, Yunnan Normal University, Kunming Yunnan 650 Archives of Yunnan Normal University, Kunming Yunnan 650092 Editorial Office of Journal of Yunnan Normal University, Kunming Yunnan 650092

会议类型: 国际会议

会议名称: The 2010 International Conference on Computer Application and System Modeling(2010计算机应用与系统建模国际会议 ICCASM 2010)

会议地点: 太原

会议语种:英文

页码: 463-466

在线出版日期: 2010-10-22（万方平台首次上网日期，不代表论文的发表时间）