Cover Image

Declarative Policy Control for Data Spaces: A DSL-Based Approach for Manufacturing-X

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pfeiffer, Jérôme, Maisch, Nicolai, Friedl, Sebastian, Strljic, Matthias Milan, Lechler, Armin, Riedel, Oliver, Wortmann, Andreas
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Industrial Semantics-Aware Digital Twins: A Hybrid Graph Matching Approach for Asset Administration Shells
by: Metović, Ariana, et al.
Published: (2026)

Analysis of Asset Administration Shell-based Negotiation Processes for Scaling Applications
by: Dietrich, David, et al.
Published: (2026)

Non-Fungible Blockchain Tokens for Traceable Online-Quality Assurance of Milled Workpieces
by: Maisch, Nicolai, et al.
Published: (2026)

Towards a Unifying Reference Model for Digital Twins of Cyber-Physical Systems
by: Pfeiffer, Jerome, et al.
Published: (2025)

Towards a DSL to Formalize Multimodal Requirements
by: Gomez-Vazquez, Marcos, et al.
Published: (2025)

A Container-based Approach For Proactive Asset Administration Shell Digital Twins
by: Ellwein, Carsten, et al.
Published: (2025)

Digital Twins for Software Engineering Processes
by: Kimmel, Robin, et al.
Published: (2025)

Software-heavy Asset Administration Shells: Classification and Use Cases
by: Ellwein, Carsten, et al.
Published: (2026)

AI-Assisted Modeling: DSL-Driven AI Interactions
by: Smyth, Steven, et al.
Published: (2025)

SPViz: A DSL-Driven Approach for Software Project Visualization Tooling
by: Rentz, Niklas, et al.
Published: (2024)

Towards Automated Governance: A DSL for Human-Agent Collaboration in Software Projects
by: Ait, Adem, et al.
Published: (2025)

From a Natural to a Formal Language with DSL Assistant
by: Mosthaf, My M., et al.
Published: (2024)

CONCORD: Towards a DSL for Configurable Graph Code Representation
by: Saad, Mootez, et al.
Published: (2024)

From Text to DSL: Evaluating Grammar-Based Model Generation Using Open LLMs
by: Baber, Junaid, et al.
Published: (2026)

An Event-Driven Tool for Context-Aware Code Smell Detection Using SmellDSL
by: Viegas, Matheus dos Santos, et al.
Published: (2026)

Declarative Techniques for NL Queries over Heterogeneous Data
by: Khabiri, Elham, et al.
Published: (2025)

Establishing tool support for a concept DSL
by: Jakobsen, Nikolaj Kühne
Published: (2025)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
by: Chen, Rui, et al.
Published: (2025)

DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis
by: Ayoughi, Negin, et al.
Published: (2026)

An LLM-driven Scenario Generation Pipeline Using an Extended Scenic DSL for Autonomous Driving Safety Validation
by: Safa, Fida Khandaker, et al.
Published: (2026)

Leveraging LLMs for Multi-File DSL Code Generation: An Industrial Case Study
by: Chand, Sivajeet, et al.
Published: (2026)

Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching
by: Ma, Chengyan, et al.
Published: (2026)

A Declarative Framework for Hand-Crafted Mutation Analysis and Management
by: Keles, Alperen
Published: (2026)

Bridging Design and Development with Automated Declarative UI Code Generation
by: Zhou, Ting, et al.
Published: (2024)

Still Manual? Automated Linter Configuration via DSL-Based LLM Compilation of Coding Standards
by: Zhang, Zejun, et al.
Published: (2026)

Hornet Node and the Hornet DSL: A Minimal, Executable Specification for Bitcoin Consensus
by: Sharp, Toby
Published: (2025)

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
by: Antoniadis, Anastasios, et al.
Published: (2025)

STELLAR: A Search-Based Testing Framework for Large Language Model Applications
by: Sorokin, Lev, et al.
Published: (2026)

Inferring Non-Failure Conditions for Declarative Programs
by: Hanus, Michael
Published: (2024)

JEDI: Java Evaluation of Declarative and Imperative Queries
by: Schiavio, Filippo, et al.
Published: (2026)

A Governance Model for IoT Data in Global Manufacturing
by: Alagappan, Vignesh
Published: (2026)

Supporting the Comprehension of Data Analysis Scripts
by: Sihler, Florian, et al.
Published: (2026)

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
by: Alhanahnah, Mohannad, et al.
Published: (2024)

DADL: A Declarative Description Language for Enterprise Tool Libraries in LLM Agent Systems
by: Dunkel, Axel
Published: (2026)

Conversion of Boolean and Integer FlatZinc Builtins to Quadratic or Linear Integer Problems
by: Wolf, Armin
Published: (2024)

On Developers' Self-Declaration of AI-Generated Code: An Analysis of Practices
by: Kashif, Syed Mohammad, et al.
Published: (2025)

Automated Deep Learning Optimization via DSL-Based Source Code Transformation
by: Wang, Ruixin, et al.
Published: (2024)

GITER: A Git-Based Declarative Exchange Model Using Kubernetes-Style Custom Resources
by: Tranoris, Christos
Published: (2025)

A Software Visualization Approach for Multiple Visual Output Devices
by: Hansen, Malte, et al.
Published: (2024)

Lightning Talk: Policy Alignment - AGU's Data and Software Citation Example
by: Stall, Shelley, et al.
Published: (2025)