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
• Authors: Mary Shaw,
• 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

• 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.