A Lineage-Based Referencing DSL for Computer-Aided Design
summary
Proposes a semantics that records fine‑grained element lineage and exposes it as first‑class queries so references remain stable across parameterized topologies, implements three query operators from/derived/contains, instruments operations to build a lineage graph, and embeds the system in a 2.5D CAD kernel. Proves constructive selection and smoothness properties, shows users can forbid classes of topologies, measures low runtime overhead versus geometry ops, and provides a working web implementation.
AI-written summary · about
chapters (14)
- 0:00CAD referencing challenges
- 2:07Parametric CAD references today
- 3:30References break with topology changes
- 5:56Heuristic-based reference problems
- 7:23Lineage-based referencing language needed
- 8:06Correspondences in geometric ops
- 9:32Query-based referencing language
- 11:17Combining queries for stable selection
- 12:42Referencing scheme properties
- 14:05Solution benchmarks
- 14:47Automated design space exploration
- 15:32Q&A: Geometric dependencies
- 16:35Q&A: Extending to other domains
- 17:40Q&A: Reference selection algorithms
related talks
44mJava Code Analysis with Database and Domain Specific Language
24mDesigning a DSL That Perfectly Solves Your Problem
35mDesigning Domain-Specific Languages: A Comparison of Three Approaches by Example
35mRestaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of(…)
29mTheoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning
01h 00mBuilding DSLs on Top of KernelF
30mYin-Yang: Concealing the Deep Embedding of DSLs (Most Influential Paper)
26mA Rule-Based Approach for Designing and Composing Abstract Domains