design method taxonomy

The rise of multi-paradigm programming languages has rendered traditional paradigm classification methods inadequate, leading to interoperability issues and conceptual ambiguity. Method: We conduct a systematic literature review encompassing 74 studies to diagnose fundamental limitations in existing classification schemes—particularly their coarse conceptual granularity and lack of formal foundations—and propose a reconstructive paradigm framework grounded in type theory, category theory, and Unifying Theories of Programming (UTP). This framework identifies orthogonal atomic primitives to enable formal modeling and theoretical unification of hybrid-paradigm languages. Contributions: (1) An academic evolution map tracing the shift from empirical classification to formal reconstruction; (2) A research roadmap toward a foundational, unified programming paradigm theory; and (3) A rigorously verifiable theoretical basis for language design, tool development, and cross-paradigm integration.

The absence of a mathematically formalized representation of design spaces renders design decisions heavily experience-dependent, hindering the development of automated support. Method: This paper introduces an orthogonal discretization model for design spaces—establishing the first structured spatial representation—and integrates, for the first time, large language model (LLM)-driven constraint generation with Monte Carlo tree search (MCTS) to enable autonomous, efficient exploration. It further develops a domain-adaptive instantiation engine that maps abstract design decisions to concrete implementations. Contribution/Results: The framework exhibits cross-domain transferability. Empirical evaluation on data article generation and chart visualization tasks demonstrates significant performance gains over baselines. User studies and expert interviews confirm its effectiveness, usability, and measurable improvement in design quality.

Modeling the structural representation of scientific methodology units and their cross-problem recombination mechanisms remains challenging, particularly in identifying common patterns among historically disruptive method combinations and discovering high-potential knowledge recombination pathways for novel problems. Method: We propose a novel framework comprising (1) contrastive learning to automatically extract structured representations of disruptive method combinations from multi-domain scientific literature, and (2) a reasoning-guided Monte Carlo search algorithm that integrates large language model (LLM)-based chain-of-thought reasoning with empirically derived historical innovation patterns to enable interpretable, goal-directed knowledge recombination. Contribution/Results: Empirical evaluation across physics, biology, and artificial intelligence demonstrates that our framework accurately identifies method combinations with high disruptive potential and significantly advances the modeling and predictive capability of scientific innovation dynamics—achieving improved fidelity in capturing structural evolution and recombination efficacy in scientific discovery processes.

This study addresses the limitations of traditional Design Structure Matrix (DSM) modularization approaches, which rely solely on graph-based optimization and lack engineering semantic context, often failing to align with practical design requirements. The authors propose a novel DSM modularization paradigm integrating large language models (LLMs), leveraging prompt engineering and iterative refinement to embed system-level semantic information directly into the partitioning process—achieving high-quality results without custom optimization code. Central to this work is the "semantic alignment hypothesis," which elucidates how improper incorporation of domain knowledge can degrade performance. Through systematic experiments across five representative engineering cases using three mainstream LLMs, the method demonstrates convergence to reference-quality modularization within 30 iterations, offering a reproducible and practical pathway for LLM-driven engineering design optimization.

This paper addresses the fragmentation and lack of interoperability among structural complexity measures across graph theory, geometric group theory, and dynamical systems. Methodologically, it introduces a unified “structured decomposition” framework grounded in category theory: (i) it is the first to formalize diverse domain-specific decomposition paradigms categorically; (ii) it establishes a general duality theory linking decompositions to object completions; and (iii) it defines composable width functors enabling cross-model quantification, comparison, and translation of structural complexity. Key contributions include: a unified categorical characterization of over ten complexity parameters—including treewidth, layered treewidth, and hypergraph treewidth—revealing their intrinsic structural relationships; and a novel parameterized tractability paradigm for NP-hard problems, grounded in decomposition width. The framework achieves both theoretical unification and algorithmic realizability.

This study addresses the high cost and expert dependency of manual taxonomy construction in software engineering (SE) by conducting the first systematic, multi-dimensional empirical evaluation of large language model (LLM)-driven automatic classification in this domain. Leveraging two representative approaches—TnT-LLM and CLIMB—and five state-of-the-art LLMs across seven human-annotated SE paper datasets, the work analyzes performance along key dimensions including classification quality, alignment with expert judgments, reliability, and efficiency. Results reveal that TnT-LLM achieves near-human classification quality but incurs high computational cost and structural complexity, whereas CLIMB offers 15–40× faster inference and 8–49× lower cost at the expense of reduced accuracy in tasks requiring deep technical reasoning. The findings elucidate critical trade-offs among quality, cost, and complexity, providing actionable guidance for method selection in practice.

This work addresses the limitation that conceptual knowledge in large language models (LLMs) is implicitly encoded through statistical correlations, lacking explicit, structured, and composable representations—hindering model stability, controllability, and alignment with human cognition. To tackle this, the paper introduces the first design-space taxonomy for conceptual structures in LLMs, proposing a “four-stage–two-source” framework that spans training, architecture, inference, and interpretation, combined with internal derivation and external anchoring. The framework systematically integrates probing, dictionary learning, and external knowledge-guided approaches, revealing critical gaps in current research—particularly insufficient exploration of the inference stage, fragmentation across stages, and inconsistent terminology. By shifting the paradigm from passive discovery to active design of conceptual representations, this study provides a theoretical foundation and strategic direction for developing LLMs that are more controllable, interpretable, and cognitively aligned.

This work addresses the longstanding disconnect between design and algorithmic perspectives in information visualization, which has led to ill-defined and unmeasurable notions of layout quality, reliance on ad hoc heuristics, and compromised result credibility. To bridge this gap, the paper presents the first systematic formal model from an algorithmic standpoint, explicitly disentangling—and thereby complementing—the design and algorithmic concerns within Munzner’s visualization design framework. By integrating principles from visualization theory, layout algorithm analysis, formal methods, and human–computer interaction, the authors propose a cross-disciplinary integrative framework that substantially enhances the comparability, evaluability, and theoretical rigor of visualization algorithms. This approach establishes a principled foundation for quantifying layout quality and uncovers novel research directions, ultimately strengthening the scientific validity and reliability of visualization systems.