SetCoLa: High-Level Constraints for Graph Layout

被引:13
|
作者
Hoffswell, Jane [1 ]
Borning, Alan [1 ]
Heer, Jeffrey [1 ]
机构
[1] Univ Washington, Paul G Allen Sch Comp Sci & Engn, Seattle, WA 98195 USA
基金
美国国家科学基金会;
关键词
SOCIAL NETWORK; FOOD-WEB; VISUALIZATION; FISHERIES; ALGORITHM; OUTBREAK; MODELS;
D O I
10.1111/cgf.13440
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Constraints enable flexible graph layout by combining the ease of automatic layout with customizations for a particular domain. However, constraint-based layout often requires many individual constraints defined over specific nodes and node pairs. In addition to the effort of writing and maintaining a large number of similar constraints, such constraints are specific to the particular graph and thus cannot generalize to other graphs in the same domain. To facilitate the specification of customized and generalizable constraint layouts, we contribute SetCoLa: a domain-specific language for specifying high-level constraints relative to properties of the backing data. Users identify node sets based on data or graph properties and apply high-level constraints within each set. Applying constraints to node sets rather than individual nodes reduces specification effort and facilitates reapplication of customized layouts across distinct graphs. We demonstrate the conciseness, generalizability, and expressiveness of SetCoLa on a series of real-world examples from ecological networks, biological systems, and social networks.
引用
收藏
页码:537 / 548
页数:12
相关论文
共 50 条
  • [21] AutoMine: Harmonizing High-Level Abstraction and High Performance for Graph Mining
    Mawhirter, Daniel
    Wu, Bo
    PROCEEDINGS OF THE TWENTY-SEVENTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES (SOSP '19), 2019, : 509 - 523
  • [22] System-level veri cation on high-level synthesis of dataflow graph
    Chiang, Tsung-Hsi
    Dung, Lan-Rong
    2006 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, PROCEEDINGS, 2006, : 807 - +
  • [23] SynDFG: Synthetic Dataflow Graph Generator for High-level Synthesis
    Sinha, Sharad
    Zhang, Wei
    PROCEEDINGS OF THE SIXTH ASIA SYMPOSIUM ON QUALITY ELECTRONIC DESIGN ASQED 2015, 2015, : 50 - 55
  • [24] Control and data flow graph extraction for high-level synthesis
    Namballa, R
    Ranganathan, N
    Ejnioui, A
    VLSI 2004: IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS, 2004, : 187 - 192
  • [25] A graph-based framework for High-level test synthesis
    Bashari, Ali Pourghaffari
    Pourmozafari, Saadat
    WORLD CONGRESS ON ENGINEERING 2007, VOLS 1 AND 2, 2007, : 486 - +
  • [26] Graph Structuring of Skeleton Object for Its High-Level Exploitation
    Youssef, Rabaa
    Kacem, Anis
    Sevestre-Ghalila, Sylvie
    Chappard, Christine
    IMAGE ANALYSIS AND RECOGNITION (ICIAR 2015), 2015, 9164 : 419 - 426
  • [27] FROM GRAPH-GRAMMARS TO HIGH-LEVEL REPLACEMENT SYSTEMS
    EHRIG, H
    HABEL, A
    KREOWSKI, HJ
    PARISIPRESICCE, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 532 : 269 - 291
  • [28] Constraints and application conditions: From graphs to high-level structures
    Ehrig, H
    Ehrig, K
    Habel, A
    Pennemann, KH
    GRAPH TRANSFORMATIONS, PROCEEDINGS, 2004, 3256 : 287 - 303
  • [29] High-Level Abstractions for Simplifying Extended String Constraints in SMT
    Reynolds, Andrew
    Notzli, Andres
    Barrett, Clark
    Tinelli, Cesare
    COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 : 23 - 42
  • [30] Study on optimization of layout parameters of high-level boreholes in Pingdingshan coal mine
    Wang, Yapeng
    Zhang, Yongli
    SCIENTIFIC REPORTS, 2023, 13 (01)