收藏本站
《山东大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

用户界面模型语义一致性研究

鹿旭东  
【摘要】:用户界面作为用户和计算机进行沟通和交互的桥梁,往往是一个系统成功与否的核心方面。但即使在一些可视化界面设计工具的支持下,用户界面的开发仍然是一个困难和耗时的工作。基于模型的用户界面设计环境已成为人机交互领域的研究热点。 在基于模型的软件开发中,模型的质量决定了软件产品的质量,而模型的语义一致性是关于模型质量的一个重要方面。和其他模型错误相比,模型在语义一致性方面的错误更具有隐蔽性和破坏性,因此,在建模过程中必须要发现和解决这些错误。 用户界面的各分层模型分别描述用户界面构成、功能和展示等方面的特性,而这些特性往往具有错综复杂的联系和复杂的语义约束。而在各分层界面模型的递增式开发中,需要逐步添加与描述方面相关的特性,由于存在可能的需求冲突,设计矛盾,特别是模型中可能存在语义相互影响的冗余信息,在用户界面分层模型中都可能会出现语义矛盾的语义特性描述,即模型可能存在内部语义不一致性。 在用户界面模型化设计方法中,考虑到界面设计的复杂性,往往都采用从不同视角建立不同分层模型的方法。但这些模型并不是孤立存在的,而是相互依赖、相互约束的,语义约束需要在不同的分层模型之间进行映射和转换,不正确的映射转换将会造成分层模型间的语义不一致,也会影响整个模型的质量。 在目前的用户界面模型化设计方法研究中,还很少有研究涉及用户界面模型的语义一致性问题。现有方法中所建立的界面模型,模型之间仍然是孤立的,之间缺少清楚和灵活的转换和映射。即使一些研究提出过模型间的转换映射方法,但仍然不是形式化的,更没有考虑转换映射对模型间语义一致性的影响。由于缺少有效的语义一致性描述和检测手段,用户界面模型的语义一致性更多地依赖于设计者的经验和设计。故为保证用户界面模型本身的正确性和有效性,而且为用户界面模型中各分层模型间的转换映射提供正确性保证等,用户界面模型的构建需要考虑语义的一致性。 本文总结吸收模型语义一致性和基于模型的用户界面设计方法两方面研究成果,主要针对在基于模型的用户界面设计方法中缺乏语义一致性研究的现状,在用户界面模型构建研究中对模型的语义一致性进行深入研究和探讨,系统建立一种能保证模型语义一致性的用户界面模型化设计方法,提高模型的质量,使所设计用户界面的正确性和有效性程度得以提高。主要研究内容包括: 为能有机融合用户界面模型描述和模型的语义一致性考查,本文以范畴理论和代数规范为理论基础,为用户界面模型提出一种统一的模型构成和模型语义形式化描述机制,此描述机制能同时精确描述用户界面模型的构成和语义。其中对象规范对应各模型元素,态射则指明模型元素是如何组合在一起的,对象规范的层次组合为用户界面模型的结构化构建和考查模型间语义一致性提供基础。而模型内部语义的一致性判定是通过检查所有模型元素本身语义描述是否存在语义矛盾以及所有对象规范态射是否满足结构态射和行为态射定义而完成的。 基于用户界面模型的形式化描述,将界面模型各分层模型之间的映射看作是范畴之间的映射转换,而这种映射转换必须保证模型间的语义一致性。本文用对象规范映射形式化模型元素的映射,用规范态射映射形式化模型元素关系的映射,研究分层模型间的映射语义,并给出模型间语义一致性的判定方法,该方法用分层模型组合对象规范间语义特性保持性考查模型间的语义一致性。这些研究成果可用于指导分层模型间映射转换规则的定义,为分层模型之间映射关系的正确性验证提供依据。 建立一种用户界面模型的构建方法。该方法采用分层处理的方式,分层建立领域模型,扩展对象描述、界面交互图、界面展示描述,分解处理用户界面的复杂性方面。为处理界面布局的复杂性,建立界面模板,为处理展示形式的多样性和重用性,采用用户界面设计模式,并把它作为模型设计的模型元素。所建立方法是一个从领域模型开始,逐层向上映射参与模型构建的过程,而在分层模型的构建和映射中,必须保证语义的一致性。由此研究用户界面模型中各分层模型的模型构成及模型语义,关注在底层模型的映射参与下,上层模型的构建过程,并考查映射对模型语义一致性的影响以及研究模型语义一致性的保证方法。 开发用户界面模型化设计的原型工具,研究工具对模型语义一致性的支持方法。工具可以采用图形表示的方式帮助设计者建立所需的各种分层模型,并帮助完成模型之间的映射转换。另外,工具通过模型语义检查、自动维持、强制约束等手段提供对界面模型语义一致性的保证。 本文工作的主要贡献体现在: (1)建立了一种能保证模型语义一致性的用户界面模型化设计方法,能将界面模型的构建和语义一致性的考查有机融合,更容易更准确地实现模型语义的一致。 (2)为用户界面模型提出了一种统一的模型构成和模型语义形式化描述机制,通过形式化,模型的构成和语义可以精确的进行定义和研究,这也为描述模型间的映射关系和语义奠定了基础。将范畴理论用于研究用户界面模型的构成和模型语义一致性是一种新的尝试,为其他学者的研究提供了一种新的思路。 (3)通过检查模型组合对象的语义矛盾性来判断模型的内部语义一致性,检查各分层模型组合对象之间的语义特性保持性来判断分层模型间语义一致性,为模型语义一致性考查提供了一种新的方法。
【学位授予单位】:山东大学
【学位级别】:博士
【学位授予年份】:2010
【分类号】:TP391.1

手机知网App
【参考文献】
中国期刊全文数据库 前7条
1 杨卫东,施伯乐;基于状态图的Web导航模型及其特性分析[J];计算机研究与发展;2002年08期
2 王锦,张激;UML模型一致性问题研究[J];计算机工程;2004年21期
3 侯金奎;万建成;杨潇;;支持MDA的J2EE PSM模型描述及代码生成方法[J];计算机工程;2007年15期
4 刘成柱,万建成;基于界面模板的界面表示模型[J];计算机应用;2003年12期
5 朱军,张高,华庆一,戴国忠;交互式用户界面的形式化描述与性质验证[J];软件学报;1999年11期
6 刘辉;麻志毅;邵维忠;;模型转换中特性保持的描述与验证[J];软件学报;2007年10期
7 鹿旭东;万建成;;面向用户界面建模的扩展对象模型[J];小型微型计算机系统;2006年05期
中国博士学位论文全文数据库 前3条
1 冯仕红;基于设计特征和参数化的工程化界面设计模式研究[D];山东大学;2008年
2 侯金奎;支持模型驱动开发的体系结构形式化语义与转换一致性研究[D];山东大学;2008年
3 单黎君;图形化模型的一致性检查[D];国防科学技术大学;2008年
中国硕士学位论文全文数据库 前4条
1 王广峰;模型驱动的J2EE Web应用生成器的设计与实现[D];山东大学;2006年
2 沈先飞;基于FMP模型的ASP.NET代码自动生成[D];山东大学;2006年
3 沈慧勇;基于语义一致性的模型转换方法及应用[D];山东大学;2007年
4 蔡奎;Web界面中复杂行为建模及其代码自动生成[D];山东大学;2009年
【共引文献】
中国期刊全文数据库 前10条
1 赵莉;;医院住院信息管理系统设计与实现[J];电脑知识与技术;2012年13期
2 麻志毅;刘辉;何啸;张乐;吉喆;戈牧;;一个支持模型驱动开发的元建模平台的研制[J];电子学报;2008年04期
3 侯金奎;;协同系统体系结构模型的形式化语义[J];电子学报;2009年S1期
4 胡强;吴鹏;;文档信息存取控制研究[J];福建电脑;2007年04期
5 杨洁;;数据绑定在界面设计模式中的应用[J];计算机光盘软件与应用;2012年04期
6 周红志;张宝玉;;Web界面模型的设计与实现[J];赤峰学院学报(自然科学版);2013年04期
7 胡强;吴鹏;;基于XML的文档存取控制[J];信息技术;2007年08期
8 杨卫东,施伯乐;基于状态图的Web导航模型及其特性分析[J];计算机研究与发展;2002年08期
9 侯金奎;万建成;杨潇;王海洋;;构件式体系结构模型映射的形式化语义[J];计算机研究与发展;2009年02期
10 赵艳平;张书杰;;基于MDA的央行会计核算系统前台代码自动生成[J];计算机与信息技术;2007年Z1期
中国重要会议论文全文数据库 前2条
1 张玉艳;黄国栋;冯文堂;侯金奎;;一种模型驱动的WEB报表系统开发方法[A];第二十七届中国控制会议论文集[C];2008年
2 毛明志;李建国;;用户界面设计及对我国数值软件设计的启示[A];计算爆炸力学进展[C];2006年
中国博士学位论文全文数据库 前10条
1 朱彬;基于用户界面规格说明的Web应用建模与测试用例生成[D];上海大学;2011年
2 王彬;基于实时语义模型的模型转换及语义一致性研究[D];昆明理工大学;2011年
3 金燕;WWW信息导航机制研究[D];武汉大学;2005年
4 刘甲学;超媒体信息空间智能导航理论与实证研究[D];吉林大学;2006年
5 高新闻;智能仪表软件开发的自动化技术研究[D];上海大学;2007年
6 冯仕红;基于设计特征和参数化的工程化界面设计模式研究[D];山东大学;2008年
7 侯金奎;支持模型驱动开发的体系结构形式化语义与转换一致性研究[D];山东大学;2008年
8 丁仁伟;双聚型CFP保幅处理及并行实现[D];中国石油大学;2009年
9 孙远运;复杂信息系统架构建模理论研究及在铁路客运专线中的应用[D];中国铁道科学研究院;2012年
10 朱涛;基于协同机制的路局调度日计划编制过程建模研究[D];北京交通大学;2013年
中国硕士学位论文全文数据库 前10条
1 张红杨;面向异构目标平台的MDA研究与实现[D];哈尔滨工程大学;2010年
2 王志兵;软件行为运行时验证研究[D];湖南工业大学;2010年
3 徐文晖;医疗器械销售管理系统的设计与实现[D];山东大学;2010年
4 秦溶蔓;莱芜市就业人员管理系统的设计与实现[D];山东大学;2010年
5 时伟;山东恒联集团销售系统的设计与实现[D];山东大学;2010年
6 石辉;潍坊市政府采购招投标系统的设计与实现[D];山东大学;2010年
7 郭志伟;青州市信访局上访管理系统的设计与实现[D];山东大学;2010年
8 孙石亮;潍坊市农信社人力资源管理系统的设计与实现[D];山东大学;2010年
9 刘小红;人民检察院政治工作信息统计管理系统的设计与实现[D];山东大学;2010年
10 崔鸣鸣;山东科技职业学院留学生管理系统的设计与实现[D];山东大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 刘冬云,梅宏;从需求到软件体系结构:一种面向特征的映射方法[J];北京大学学报(自然科学版);2004年03期
2 杨芙清,梅宏,李克勤;软件复用与软件构件技术[J];电子学报;1999年02期
3 杨芙清,王千祥,梅宏,陈兆良;基于复用的软件生产技术[J];中国科学E辑:技术科学;2001年04期
4 梅宏;黄罡;赵海燕;焦文品;;一种以软件体系结构为中心的网构软件开发方法[J];中国科学E辑:信息科学;2006年10期
5 王云,刘又诚,周伯生;UML可视化建模系统的模型一致性检查机制[J];计算机研究与发展;2000年01期
6 李杰,秦严严,田丰,戴国忠;CoPenML:基于XML的笔式用户界面构件体系结构[J];计算机研究与发展;2005年07期
7 金仙力;马华东;;基于OCL的服务构件特征语义描述模型[J];计算机研究与发展;2007年12期
8 王帅强;马军;王海洋;万建成;;基于遗传规划的行为模型精化方法[J];计算机研究与发展;2008年11期
9 万建成,孙彬;支持用户界面自动生成的界面模型[J];计算机工程与应用;2003年18期
10 徐龙杰,万建成;基于模型的用户界面代码自动生成[J];计算机工程与应用;2004年12期
中国博士学位论文全文数据库 前4条
1 李朝辉;基于构件复用技术的组态模型及平台研究[D];大连理工大学;2005年
2 龚洪泉;基于形式语义的构件组装与演化研究[D];复旦大学;2005年
3 李长云;基于体系结构的软件动态演化研究[D];浙江大学;2005年
4 李弈远(朱理);基于特征的软件产品线开发关键技术研究[D];浙江大学;2007年
中国硕士学位论文全文数据库 前3条
1 李晓龙;支持代码自动生成的WEB用户界面模型[D];山东大学;2006年
2 沈先飞;基于FMP模型的ASP.NET代码自动生成[D];山东大学;2006年
3 沈慧勇;基于语义一致性的模型转换方法及应用[D];山东大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 曹智一,曹梅,李雄伟,陈致明;基于组件的CSCW系统协作多用户界面模型[J];军械工程学院学报;2004年03期
2 蒋伟进,许宇胜,许宇晖,孙星明;基于MAS的智能交互界面研究及应用[J];武汉理工大学学报(交通科学与工程版);2004年05期
3 王德广;邹阳阳;李瑞;;支持Web界面自动生成的界面设计[J];科学技术与工程;2009年20期
4 林晓波;吴宪君;;一种用于支持界面开发自动化的界面模型[J];茂名学院学报;2008年03期
5 姜志坚,杨文潮;基于用户界面模型的界面模板[J];计算机工程与设计;2005年01期
6 刘金晓;马素霞;贾克;;用户界面定制及生成工具的研究与实现[J];中国电力教育;2007年S3期
7 陈明炫;任磊;田丰;邓昌智;戴国忠;;一种面向个人信息管理的Post-WIMP用户界面模型[J];软件学报;2011年05期
8 彭召意,蒋伟进,周序生;基于多智能体的交互界面系统研究[J];华北电力大学学报;2005年02期
9 易定;;基于Agent的语音交互界面模型与应用[J];微型电脑应用;2006年03期
10 张海英;樊玮;;一种支持软件界面自动生成的模型[J];科技资讯;2006年26期
中国重要会议论文全文数据库 前10条
1 万建成;于清国;;基于界面模型和界面设计模式的界面模板[A];第六届全国计算机应用联合学术会议论文集[C];2002年
2 危晓;;人机界面模型在物流系统中应用的研究[A];中国的经济建设与21世纪的物料搬运技术——中国机械工程学会物料搬运分会第五届学术年会论文集[C];1996年
3 段慧玲;王建祥;;具有界面效应的Eshelby框架[A];中国力学学会学术大会'2005论文摘要集(下)[C];2005年
4 王建祥;段慧玲;黄筑平;;复合材料力学中的界面效应[A];复合材料力学现代进展会议论文集扩展摘要[C];2005年
5 相鹏;刘展;宋学锋;孙记红;;重震联合密度界面同步反演方法研究[A];中国地球物理学会第二十四届年会论文集[C];2008年
6 刘希强;魏培君;张瑰;赵颖;;非完好界面模型下球形夹杂物对弹性波的散射[A];中国计算力学大会'2010(CCCM2010)暨第八届南方计算力学学术会议(SCCM8)论文集[C];2010年
7 郝保红;方克明;向兰;柳强;;纳米AIOOH在不同PH介质中的水热结晶机制和界面模型[A];颗粒学前沿问题研讨会——暨第九届全国颗粒制备与处理研讨会论文集[C];2009年
8 汪亮明;过骐千;朱启良;白玉兰;王锦辉;;离子束混合界面模型及效果[A];2000年材料科学与工程新进展(上)——2000年中国材料研讨会论文集[C];2000年
9 刘威;韩林海;;ABAQUS分析钢管混凝土轴压性能的若干问题研究[A];中国钢结构协会钢-混凝土组合结构分会第十次年会论文集[C];2005年
10 刘希强;魏培君;;非均匀弹簧界面模型下柱形夹杂物对弹性波的散射[A];庆祝中国力学学会成立50周年暨中国力学学会学术大会’2007论文摘要集(下)[C];2007年
中国博士学位论文全文数据库 前7条
1 王娟;基于实验的反演识别方法与粘接界面力学性能研究[D];天津大学;2008年
2 王君;纯物质凝固过程枝晶生长现象的研究和模拟[D];昆明理工大学;2002年
3 相鹏;重震联合界面反演方法研究[D];中国石油大学;2009年
4 陈梅英;液态食品冷冻浓缩冰晶生长机制研究[D];福建农林大学;2009年
5 张胜民;HA/PLA复合生物材料界面的分子设计、构建与相关性能[D];武汉理工大学;2003年
6 吴宗键;阿伦磷酸纳预防人工关节无菌松动实验研究[D];军医进修学院;2001年
7 赵晓彦;类土质边坡特性及其锚固设计理论研究[D];西南交通大学;2005年
中国硕士学位论文全文数据库 前10条
1 赵幸亚;基于MDA的统一界面模型建模方法的研究与应用[D];哈尔滨工程大学;2011年
2 付延争;Ti/TiN、TiN/CrN和TiN(NbN)/SiNx纳米多层膜界面第一原理研究[D];吉林大学;2008年
3 江龙;高性能热塑性复合材料组成结构与界面的分子模拟[D];哈尔滨工业大学;2007年
4 沈先飞;基于FMP模型的ASP.NET代码自动生成[D];山东大学;2006年
5 邵雪娇;颗粒增强金属基复合材料棘轮行为的三维有限元模拟[D];西南交通大学;2009年
6 张猛;Web用户界面定制技术的研究[D];山东科技大学;2008年
7 王慧;CF/PPEK复合材料界面微观结构的分子模拟[D];哈尔滨工业大学;2006年
8 任华;分子模拟在界面相互作用计算中的应用[D];西北工业大学;2007年
9 林旭;筋土界面静、动剪切特性试验研究[D];上海大学;2013年
10 杨云;碳纤维/环氧树脂界面的分子模拟研究[D];哈尔滨工业大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026