Fancy Some Chips for Your TeaStore? Modeling the Control of an Adaptable Discrete System

2025-12-29

AI Summary

To address the challenges of co-modeling multi-source heterogeneous resources (e.g., hardware, software, networks, and microservices) and ensuring robustness in complex web applications, this paper proposes Chips—a domain-specific language (DSL) that integrates control-theoretic principles with general-purpose programming paradigms. Chips enables modular, function-oriented construction of discrete adaptive systems and introduces the first formally verifiable, component-based modeling approach that jointly ensures system-level adaptability and quality-of-service guarantees. Evaluated on the Adaptable TeaStore benchmark, Chips demonstrates substantial improvements in model composability, runtime dynamic adaptability, and fault tolerance. Moreover, it enhances both modeling efficiency and the rigor of reliability analysis.

Technology Category

• Cognitive Modeling & Cognitive Systems: Adaptive Behavior
• Constraint Satisfaction and Optimization: Satisfiability Modulo Theories
• Machine Learning: Hardware-aware ML

Application Category

• Graph Algorithms and Modeling for the Web: Efficient manipulation of static and dynamic Web-related graphs
• Systems and Infrastructure for Web, Mobile and WoT: Applied ML and AI for Web-based mobile applications
• User Modeling, Personalization and Recommendation: User modeling and simulation for interactive and conversational systems

Abstract

When designing new web applications, developers must cope with different kinds of constraints relative to the resources they rely on: software, hardware, network, online micro-services, or any combination of the mentioned entities. Together, these entities form a complex system of communicating interdependent processes, physical or logical. It is very desirable that such system ensures its robustness to provide a good quality of service. In this paper we introduce Chips, a language that aims at facilitating the design of models made of various entwined components. It allows the description of applications in the form of functional blocks. Chips mixes notions from control theory and general purpose programming languages to generate robust component-based models. This paper presents how to use Chips to systematically design, model and analyse a complex system project, using a variation of the Adaptable TeaStore application as running example.

Problem

• Modeling adaptable discrete systems for web applications
• Ensuring system robustness and quality of service
• Designing complex systems with entwined components

Innovation

• Chips language models adaptable discrete systems
• Mixes control theory with programming languages
• Generates robust component-based functional blocks