UML类图的一种表示方法

由于UML类图元模型的庞大性和复杂性,为此,提出UML类图元模型基于描述逻辑的一种表示方法。通过分析UML类图元模型各元素与描述逻辑SHOIN(D)的对应关系,给出UML类图元模型基于SHOIN(D)的表示方法。     

新时代公共图书馆履行服务职能的创新思考

长期以来,公共图书馆因其广泛的受众主体、丰富的馆藏资源、多元的服务形式,以及提供无偿均等的服务等优势成为了大众实施社会活动的理想场所。该文分析了当前公共图书馆发挥服务职能的不足之处,并对新时代图书馆该如何创新服务理念、融合新技术,在持续促进教育公平、提升全民科学文化素养的同时,更高效地发挥出服务职能进行了思考及探讨。     

UML类图元模型基于描述逻辑的表示及验证

UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN(D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性.