Design Obligations for Software, with Examples from Data Abstraction and Adaptive Systems

• URL: http://arxiv.org/abs/2503.04022v1
• Date: Thu, 06 Mar 2025 02:17:29 GMT
• Title: Design Obligations for Software, with Examples from Data Abstraction and Adaptive Systems
• Abstract summary: semantic expectations may apply not only at the code level, but also to more abstract system structures such as software architectures.<n>Unfortunately, these expectations are often implicit or documented only informally, so they are challenging to discover, let alone uphold.<n>I introduce the idea of 'design obligations', which are constraints on allowable designs within a given design paradigm that help to assure appropriate use of the paradigm.
• Score: 1.2691047660244337
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Producing a good software design involves not only writing a definition that satisfies the syntax of the chosen language or structural constraints of a design paradigm. It also involves upholding a variety of expectations about the behavior of the system: the semantic expectations. These expectations may apply not only at the code level, but also to more abstract system structures such as software architectures. Such high-level design paradigms provide a vocabulary of components or other constructs and ways to compose those constructs, but not all expressible designs are well-formed, and even well-formed designs may fail to satisfy the expectations of the paradigm. Unfortunately, these expectations are often implicit or documented only informally, so they are challenging to discover, let alone uphold. They may for example, require correct use of complex structures, internal consistency, compliance with external standards, adherence with design principles, etc. Further, the reasons for design decisions that uphold these expectations are often not explicit in the code or other representation of the system. I introduce the idea of 'design obligations', which are constraints on allowable designs within a given design paradigm that help to assure appropriate use of the paradigm. To illustrate this idea, I discuss design obligations for two paradigms: data abstraction and a class of adaptive based on feedback control.

Related papers

• Improving the Understandability of Conceptual Models via Abstract Notation Engineering [1.513674779059522]
  We propose abstract notation engineering as a language-agnostic method for replacing low-level, semantically transparent constructs.<n>We instantiate it for Dynamic Condition Response (DCR) graphs, where common workflow patterns require elaborate low-level configurations.<n>The results of our empirical validation show that DeCleaR improves perceived empirical quality, pragmatic quality, and user preference over standard DCR graphs.
  arXiv  Detail & Related papers  (2026-07-31T15:43:34Z)
• Agentic Designer: Progressive Multi-Agent Collaboration for Structure-Aware Interior Layout Generation [84.5255199507027]
  Agentic Designer is a progressive framework that formulates structure-aware interior layout generation as an iterative and constraint-verified decision process.<n>By layout decomposing into modular stages of proposal, verification, synthesis and adjustment, the framework coordinates three specialized agents, a Generator, an Evaluator, and a Refiner.<n>This mechanism enforces stepwise geometric validation and correction before each placement is committed, thereby preventing error accumulation.
  arXiv  Detail & Related papers  (2026-07-23T02:46:11Z)
• A Pattern Language for Resilient Visual Agents [69.08074737002393]
  We propose an architectural pattern language for visual agents that separates fast, deterministic reflexes from slow, probabilistic supervision.<n>It consists of four architectural design patterns: (1) Hybrid Affordance Integration, (2) Adaptive Visual Anchoring, (3) Visual Hierarchy Synthesis, and (4) Semantic Scene Graph.
  arXiv  Detail & Related papers  (2026-04-30T15:24:26Z)
• Distributional Uncertainty and Adaptive Decision-Making in System Co-design [2.1221387541658476]
  Complex engineered systems require coordinated design choices across heterogeneous components.<n>Monotone co-design provides a compositional framework for such problems.<n>We develop a distributional extension of co-design that models uncertain design outcomes as over design problems.
  arXiv  Detail & Related papers  (2026-03-14T17:37:09Z)
• Multi-Agent Procedural Graph Extraction with Structural and Logical Refinement [66.51979814832332]
  model formulates procedural graph extraction as a multi-round reasoning process with dedicated structural and logical refinement.<n>Experiments demonstrate that model achieves substantial improvements in both structural correctness and logical consistency over strong baselines.
  arXiv  Detail & Related papers  (2026-01-27T04:00:48Z)
• RAG: A Random-Forest-Based Generative Design Framework for Uncertainty-Aware Design of Metamaterials with Complex Functional Response Requirements [7.041337242678836]
  RAndom-forest-based Generative approach (RAG)<n>RAG enables data-efficient predictions of high-dimensional functional responses.<n>We demonstrate RAG on: 1) acoustic metamaterials with prescribed partial passbands/stopbands, and 2) mechanical metamaterials with targeted snap-through responses.
  arXiv  Detail & Related papers  (2026-01-19T17:06:12Z)
• Data Dependency-Aware Code Generation from Enhanced UML Sequence Diagrams [54.528185120850274]
  We propose a novel step-by-step code generation framework named API2Dep.<n>First, we introduce an enhanced Unified Modeling Language (UML) API diagram tailored for service-oriented architectures.<n>Second, recognizing the critical role of data flow, we introduce a dedicated data dependency inference task.
  arXiv  Detail & Related papers  (2025-08-05T12:28:23Z)
• Assemble Your Crew: Automatic Multi-agent Communication Topology Design via Autoregressive Graph Generation [72.44384066166147]
  Multi-agent systems (MAS) based on large language models (LLMs) have emerged as a powerful solution for dealing with complex problems across diverse domains.<n>Existing approaches are fundamentally constrained by their reliance on a template graph modification paradigm with a predefined set of agents and hard-coded interaction structures.<n>We propose ARG-Designer, a novel autoregressive model that operationalizes this paradigm by constructing the collaboration graph from scratch.
  arXiv  Detail & Related papers  (2025-07-24T09:17:41Z)
• CreatiDesign: A Unified Multi-Conditional Diffusion Transformer for Creative Graphic Design [69.83433430133302]
  CreatiDesign is a systematic solution for automated graphic design covering both model architecture and dataset construction.<n>First, we design a unified multi-condition driven architecture that enables flexible and precise integration of heterogeneous design elements.<n> Furthermore, to ensure that each condition precisely controls its designated image region, we propose a multimodal attention mask mechanism.
  arXiv  Detail & Related papers  (2025-05-25T12:14:23Z)
• Introduction to Analytical Software Engineering Design Paradigm [0.0]
  This paper presents Behavioral Software Engineering (ASE), a novel design paradigm aimed at balancing abstraction, tool inadequacy, compatibility, and scalability.<n>The paradigm is evaluated through two frameworks- Structural Sequences (BSS) and Optimized Design Refactoring (ODR)
  arXiv  Detail & Related papers  (2025-05-17T12:23:55Z)
• SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types [2.758944775979243]
  SynQ is an embedded domain specification language (EDSL) targeting the design of systems obeying the perfect synchrony hypothesis.<n>It enables a semantically coherent design process, including formal specification and verification, modelling, simulation and code generation.
  arXiv  Detail & Related papers  (2025-05-05T12:44:13Z)
• Synthia: Novel Concept Design with Affordance Composition [114.19366716161655]
  We introduce SYNTHIA, a framework for generating novel, functionally coherent designs based on desired affordances.<n>We develop a curriculum learning scheme based on our ontology that contrast fine-tunes T2I models to progressively learn affordance composition.<n> Experimental results show that SYNTHIA outperforms state-of-the-art T2I models.
  arXiv  Detail & Related papers  (2025-02-25T02:54:11Z)
• Text Semantics to Flexible Design: A Residential Layout Generation Method Based on Stable Diffusion Model [0.6990493129893112]
  We propose a cross-modal design approach based on the Stable Diffusion model for generating flexible residential layouts.<n>The method offers multiple input types for learning objectives, allowing users to specify both boundaries and layouts.<n>We also present a scheme that encapsulates design expertise within a knowledge graph and translates it into natural language.
  arXiv  Detail & Related papers  (2025-01-16T03:57:38Z)
• MetaDesigner: Advancing Artistic Typography Through AI-Driven, User-Centric, and Multilingual WordArt Synthesis [65.78359025027457]
  MetaDesigner introduces a transformative framework for artistic typography, powered by Large Language Models (LLMs)<n>Its foundation is a multi-agent system comprising the Pipeline, Glyph, and Texture agents, which collectively orchestrate the creation of customizable WordArt.
  arXiv  Detail & Related papers  (2024-06-28T11:58:26Z)
• The Framework of a Design Process Language [0.0]
  The thesis develops a view of design in a concept formation framework. It outlines a language to describe both the object of the design and the process of designing.
  arXiv  Detail & Related papers  (2024-04-21T17:20:19Z)
• I-Design: Personalized LLM Interior Designer [57.00412237555167]
  I-Design is a personalized interior designer that allows users to generate and visualize their design goals through natural language communication. I-Design starts with a team of large language model agents that engage in dialogues and logical reasoning with one another. The final design is then constructed in 3D by retrieving and integrating assets from an existing object database.
  arXiv  Detail & Related papers  (2024-04-03T16:17:53Z)
• Beyond Dark Patterns: A Concept-Based Framework for Ethical Software Design [1.2535148942290433]
  We present a framework grounded in positive expected behavior against which deviations can be judged. We define a design as dark when its concepts violate users' expectations, and benefit the application provider at the user's expense.
  arXiv  Detail & Related papers  (2023-10-03T20:58:02Z)
• Universal Information Extraction as Unified Semantic Matching [54.19974454019611]
  We decouple information extraction into two abilities, structuring and conceptualizing, which are shared by different tasks and schemas. Based on this paradigm, we propose to universally model various IE tasks with Unified Semantic Matching framework. In this way, USM can jointly encode schema and input text, uniformly extract substructures in parallel, and controllably decode target structures on demand.
  arXiv  Detail & Related papers  (2023-01-09T11:51:31Z)
• Design Space Exploration and Explanation via Conditional Variational Autoencoders in Meta-model-based Conceptual Design of Pedestrian Bridges [52.77024349608834]
  This paper provides a performance-driven design exploration framework to augment the human designer through a Conditional Variational Autoencoder (CVAE) The CVAE is trained on 18'000 synthetically generated instances of a pedestrian bridge in Switzerland.
  arXiv  Detail & Related papers  (2022-11-29T17:28:31Z)
• Hierarchical Deep Generative Models for Design Under Free-Form Geometric Uncertainty [7.362287148334665]
  We propose a Generative Adversarial Network-based Design under Uncertainty Framework (GAN-DUF) It simultaneously learns a compact representation of nominal (ideal) designs and the conditional distribution of fabricated designs given any nominal design. We can combine the proposed deep generative model with robust design optimization or reliability-based design optimization for design under uncertainty.
  arXiv  Detail & Related papers  (2022-02-21T22:21:07Z)
• Deep Generative Models for Geometric Design Under Uncertainty [8.567987231153966]
  We propose a Generative Adversarial Network-based Design under Uncertainty Framework (GAN-DUF) GAN-DUF contains a deep generative model that simultaneously learns a compact representation of nominal (ideal) designs and the conditional distribution of fabricated designs. We demonstrated the framework on two real-world engineering design examples and showed its capability of finding the solution that possesses better performances after fabrication.
  arXiv  Detail & Related papers  (2021-12-15T18:00:46Z)
• Hierarchical Poset Decoding for Compositional Generalization in Language [52.13611501363484]
  We formalize human language understanding as a structured prediction task where the output is a partially ordered set (poset) Current encoder-decoder architectures do not take the poset structure of semantics into account properly. We propose a novel hierarchical poset decoding paradigm for compositional generalization in language.
  arXiv  Detail & Related papers  (2020-10-15T14:34:26Z)
• Obtaining Faithful Interpretations from Compositional Neural Networks [72.41100663462191]
  We evaluate the intermediate outputs of NMNs on NLVR2 and DROP datasets. We find that the intermediate outputs differ from the expected output, illustrating that the network structure does not provide a faithful explanation of model behaviour.
  arXiv  Detail & Related papers  (2020-05-02T06:50:35Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.