×
克里斯托夫·卢特罗思;罗伯特·斯特兰德;杰拉尔德·韦伯

用户界面布局的特定于域的高级约束。 （英语） Zbl 1148.68339号

约束条件 13，第3号，307-342（2008）.
摘要：我们介绍了奥克兰布局模型（ALM），这是一种基于约束的技术，用于指定二维布局，因为它用于在图形用户界面（GUI）中安排控件。大多数GUI框架提供基本上是可调整表的布局管理器；通常可以合并相邻的表单元格。在ALM中，焦点从表格单元格切换到单元格之间的垂直和水平制表器。在最低抽象级别上，该模型应用线性约束，并使用线性规划计算最佳布局。然而，纯线性编程使布局规范变得繁琐和不直观，特别是对于经常不习惯这种数学形式的GUI领域专家来说。
为了提高模型的可用性，ALM提供了其他几个抽象层，可以更轻松地定义通用GUI布局。在用户界面领域，规范不受过度约束非常重要，因此ALM引入了软约束，这些软约束会自动转换为目标函数中的适当硬线性约束和术语。GUI通常由包含控件的矩形区域组成，因此ALM为这些区域提供了抽象。动态调整大小行为对GUI非常重要，因此区域具有特定于域的参数，指定其最小、最大和首选大小。根据这些定义，可以自动导出硬约束和软约束。第三级抽象允许设计者以表格的方式排列GUI，对列和行使用抽象，这为排序和对齐提供了额外的参数。
行和列定义用于从较低抽象级别（如硬约束和软约束以及区域）自动生成定义。所有抽象级别的规范都可以一致地组合在一起，为GUI开发人员提供了一组丰富的工具，这些工具比纯粹的线性约束更符合他们的需求。解决方案的增量计算使约束求解速度足够快，可以近实时使用。

引用于5文件

MSC公司：

68N99型 软件理论

关键词：

奥克兰布局模型;图形用户界面;约束

软件：

lp_解决;QOCA公司;天蓝色;食火鸡;HiRise公司
PDF格式BibTeX公司 XML格式引用
\textit{C.Lutteroth}等人，《限制条件》13，第3期，307--342（2008；Zbl 1148.68339）
全文： 内政部

参考文献：

[1] Anderson，R.J.和Sobti，S.（1999）。表格布局问题。在SCG’99：第15届计算几何年度研讨会论文集（第115–123页）。纽约：ACM出版社。
[2] Badros，G.J.、Borning，A.和Stuckey，P.J.（2001）。食饵线性算术约束求解算法。《美国计算机学会计算机与人类交互学报》，8（4），267–306·Zbl 05456332号 ·数字对象标识代码：10.1145/504704.504705
[3] Beach，R.（1986年）。表格排版。R.Furuta（编辑），文本处理和文档处理（第18-33页）。剑桥：英国计算机学会，剑桥大学出版社。
[4] Berkelaar，M.、Notebaert，P.和Eikland，K.（2007年）。lp_solve：（混合整数）线性规划问题求解器。http://lpsolve.sourceforge.net/。
[5] Bill，T.、Lundell，B.、McDonald，J.A.和Sannella，M.（1992年）。砌砖工：使用线性编程的窗口布局。华盛顿大学技术报告（5月）。
[6] Borning，A.和Freeman-Benson，B.（1998年）。紫外线：交互式图形的约束满足算法。约束，3（1），9–32·Zbl 0897.68095号 ·doi:10.1023/A:1009704614502
[7] Borning，A.、Freeman-Benson，B.和Wilson，M.（1992年）。约束层次结构。LISP与符号计算，5（3），223-270·doi:10.1007/BF01807506
[8] Borning，A.、Lin，R.K.H.和Marriott，K.（2000年）。Web的基于约束的文档布局。多媒体系统，8（3），177–189·Zbl 1060.68522号 ·数字对象标识代码：10.1007/s0053000043
[9] Borning，A.、Marriott，K.、Stuckey，P.和Xiao，Y.（1997年）。解决用户界面应用程序的线性算术约束。1997年UIST：第十届ACM用户界面软件和技术研讨会论文集（第87-96页）。纽约：ACM出版社。
[10] 库塔兹（1985）。用户系统界面的布局抽象。SIGCHI公告，16（3），18-24·doi:10.1145/1044201.1044202
[11] Dantzig，G.B.（1963年）。线性规划与扩展。新泽西州普林斯顿：普林斯顿大学出版社·Zbl 0108.33103号
[12] Draheim，D.和Weber，G.（2004）。面向表单的分析–一种对基于表单的应用程序建模的新方法。纽约：斯普林格·Zbl 1058.68117号
[13] Freeman-Benson，B.N.、Maloney，J.和Borning，A.（1990年）。增量约束解算器。ACM通信，33（1），54–63·doi:10.1145/76372.77531
[14] Frisch，A.M.、Hnich，B.、Miguel，I.、Smith，B.M.和Walsh T.（2002）。在多个抽象层次上重新制定CSP模型。在CP-02关于重新制定约束满足问题的国际研讨会上。纽约州伊萨卡。
[15] Hosobe，H.（2000年）。用于用户界面构建的可缩放线性约束求解器。CP 2000：第六届约束编程原理与实践国际会议论文集（第218-232页）。纽约：斯普林格·Zbl 1044.68768号
[16] Hosobe，H.（2001）。用于用户界面应用程序的模块化几何约束求解器。在UIST'01:第14届年度acm用户界面软件和技术研讨会论文集（第91-100页）。纽约：ACM出版社。
[17] Hosobe，H.和Matsuoka，S.（2003）。约束层次的求解方法基础。约束，8（1），41–59·Zbl 1039.68120号 ·doi:10.1023/A:1021946627805
[18] Jacobs，C.、Li，W.、Schrier，E.、Bargeron，D.和Salesin，D.（2003）。自适应的基于网格的文档布局。ACM图形学报，22（3），838–847·兹伯利054577363 ·doi:10.1145/882262.882353
[19] Jacobs，C.、Li，W.、Schrier，E.、Bargeron，D.和Salesin，D.（2004）。自适应文档布局。ACM通信，47（8），60–66·Zbl 05393775号 ·doi:10.1145/1012037.1012063
[20] Lutteroth，C.（2006年）。AP1：基于模型的软件工程平台。在2006年TEAA：第二届企业应用程序架构趋势国际会议论文集。纽约：斯普林格。
[21] Lutteroth，C.（2008）。硬编码GUI布局的自动逆向工程。B.Plimmer和G.Weber（编辑），Proc。第九届澳大利亚用户界面会议（AUIC 2008），CRPIT 76，ACS（第65-73页）。澳大利亚：新南威尔士州卧龙岗。
[22] Lutteroth，C.和Weber，G.（2006年）。具有顺序和线性约束的用户界面布局。2006年AUIC：第七届澳大利亚用户界面会议记录（第53-60页）。达林赫斯特：澳大利亚计算机学会。
[23] Lutteroth，C.和Weber，G.（2008年）。使用约束的GUI布局的模块化规范。ASWEC 2008：第19届澳大利亚软件工程会议记录（第300-309页）。纽约：IEEE。
[24] Marriott，K.和Chok，S.（2002年）。Qoca：用于交互式图形应用程序的约束求解工具包。约束，7（3-4），229-254·Zbl 1020.68024号 ·doi:10.1023/A:1020513316058
[25] Meseguer，P.、Bouhmala，N.、Bousoubaa，T.、Irgens，M.和Sánchez，M.（2003）。当前解决过度约束问题的方法。约束，8（1），9–39·Zbl 1039.68122号 ·doi:10.1023/A:1021902812784
[26] Raggett，D.（1996）。RFC1942:HTML表格。
[27] Sannella，M.（1994）。天蓝：用于用户界面构建的多路局部传播约束解算器。《UIST’94：第七届ACM用户界面软件和技术年度研讨会论文集》（第137-146页）。纽约：ACM出版社。
[28] Silberhorn，H.（2001）。TabulaMagica：一种管理复杂表的集成方法。在DocEng'01:2001年ACM文档工程研讨会论文集（第68-75页）。纽约：ACM出版社。
[29] Van Wyk，C.J.（1981）。一种图形排版语言。《ACM SIGPLAN SIGOA文本处理研讨会论文集》（第99–107页）。纽约：ACM出版社。
[30] Walrath，K.、Campione，M.、Huml，A.和Zakhour，S.（2004）。如何使用GridBagLayout。在JFC swing教程中：构建GUI的指南。波士顿：Addison-Wesley Professional。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。