基于范畴论的用户界面模式语言-计算机辅助设计与图形学学报.PDFVIP

第29 卷 第 1 期 计算机辅助设计与图形学学报 Vol. 29 No.1 2017 年 1 月 Journal of Computer-Aided Design Computer Graphics Jan. 2017 基于范畴论的用户界面模式语言 1,2) 1) 1) 1) 1) 贾 伟 , 华庆一 , 张敏军 , 陈 锐 , 姬 翔 1) (西北大学信息科学与技术学院 西安 710127) 2) ( 宁夏大学新华学院 银川 750021) (huaqy@) : 针对现有用户界面模式语言无法在高级抽象层次上准确描述用户界面模式之间关系, 导致不能为基于模式 的用户界面开发提供有效的结构化支持的问题, 根据用户界面模式集合所具有的层次结构特点, 提出一种基于范畴 论的用户界面模式语言. 首先利用对象和态射定义用户界面模式以及用户界面模式之间的关系, 得到用户界面模式 范畴; 然后使用子范畴和函子定义用户界面模式集合的层次以及层次之间的关系; 最后使用自然变换定义用户界面 模式集合层次关系之间的关系, 对用户界面模式集合中的关系进行更高抽象层次的描述. 实例结果表明, 文中提出 的用户界面模式语言能够与开发过程紧密结合, 为开发人员理解、查找和重用用户界面模式提供了有效的支持. ：用户界面模式; 界面开发; 范畴论; 模式语言; 态射 ：TP391.41 User Interface Pattern Language Based on Category Theory Jia Wei1,2), Hua Qingyi1), Zhang Minjun1), Chen Rui1), and Ji Xiang1) 1) (School of Information Science and Technology, Northwest University, Xi ’an 710127) 2) (Xinhua College , Ningxia University , Yinchuan 750021) Abstract: In order to address the problem that existing user interface (UI) pattern languages are unable to provide effective structuralized support for the pattern-based UI development caused by the lack of accurate descriptions of relationships between UI patterns on a high level of abstraction, a UI pattern language is presented based on category theory in line with the hierarchical structural features of UI pattern collections. Firstly, UI patterns and their relationships were defined by objects and morphisms to obtain a UI pattern category; then hierarchies of UI pattern collections and their relationsh