Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering

• URL: http://arxiv.org/abs/2604.26384v1
• Date: Wed, 29 Apr 2026 07:51:29 GMT
• Title: Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
• Abstract summary: This paper proposes an approach to managing OCL constraints and their validation results through Asset Administration Shells.<n>The methodology is demonstrated through a fictional industrial scenario, and to support, all artifacts are publicly available on a GitHub repository.
• Score: 0.5219568203653522
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Increasing complexity of modern enterprise systems and the demand for automation and interoperability require consistent and semantically validated models in Model-Based Systems Engineering (MBSE). The Object Constraint Language (OCL) supports formal definition of such constraint validations. However, MBSE models and OCL constraints are typically managed in separate tools, causing manual effort during model constraint application and result interpretation. To address this gap, this paper proposes an approach to managing OCL constraints and their validation results through Asset Administration Shells (a well-established technology for interoperability in enterprise systems). The methodology is demonstrated through a fictional industrial scenario, and to support reproducibility, all artifacts are publicly available in a GitHub repository.

Related papers

• Formal Verification of Agentic Systems over Operational Data [59.98246281888422]
  Agentic systems driven by large language models (LLMs) are increasingly deployed in real-world where they act on persistent operational data.<n>Existing approaches do not provide such system-level guarantees.<n>We study here the verification of agentic systems comprising a single LLM and a tool orchestration harness over relational operational data.
  arXiv  Detail & Related papers  (2026-08-04T13:01:30Z)
• An LLM-Based Framework for Intent-Driven Network Topology Design [0.8538830579425146]
  This work investigates the ability of Large Language Models to generate structurally valid and constraint-compliant network topologies.<n>The framework is evaluated via a multimodel comparison of proprietary and open-weight LLMs across four realistic network scenarios.<n>Overall, this work provides a systematic benchmark for understanding how LLMs handle structural and resilience constraints in topology synthesis.
  arXiv  Detail & Related papers  (2026-07-01T00:38:36Z)
• OpenCompass: A Universal Evaluation Platform for Large Language Models [62.59671563145442]
  General-purpose large language models (LLMs) have become a critical link in advancing technological development.<n>Mainstream benchmark datasets face challenges such as the diversity of task types, inconsistent evaluation criteria, and fragmentation of data and processing.<n>This paper proposes and open-source Open LLMs, a one-stop, scalable, and high-concurrency general-purpose evaluation platform.
  arXiv  Detail & Related papers  (2026-05-19T02:50:11Z)
• Dynamic Generation of Multi-LLM Agents Communication Topologies with Graph Diffusion Models [99.85131798240808]
  We introduce a novel generative framework called textitGuided Topology Diffusion (GTD)<n>Inspired by conditional discrete graph diffusion models, GTD formulates topology synthesis as an iterative construction process.<n>At each step, the generation is steered by a lightweight proxy model that predicts multi-objective rewards.<n>Experiments show that GTD can generate highly task-adaptive, sparse, and efficient communication topologies.
  arXiv  Detail & Related papers  (2025-10-09T05:28:28Z)
• ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming [9.69748612176497]
  Constraint programming (CP) is a crucial technology for solving real-world constraint optimization problems (COPs)<n>Using large language models (LLMs) to generate formal modeling automatically for COPs is becoming a promising approach, which aims to build neuro-symbolic AI with the help of symbolic solvers.<n>We introduce ConstraintLLM, the first LLM specifically designed for CP modeling, which is trained on an open-source LLM with multi-instruction supervised fine-tuning.<n>We construct and release IndusCP, the first industrial-level benchmark for CP modeling, which contains 140 challenging tasks from various domains
  arXiv  Detail & Related papers  (2025-10-07T10:43:39Z)
• Executable Ontologies: Synthesizing Event Semantics with Dataflow Architecture [51.56484100374058]
  We demonstrate that integrating semantic event semantics with a dataflow architecture addresses the limitations of traditional Business Process Management systems.<n>The boldsea-engine's architecture interprets semantic models as executable algorithms without compilation.<n>It enables the modification of event models at runtime ensures transparency, and seamlessly merges data and business logic within a unified semantic framework.
  arXiv  Detail & Related papers  (2025-09-11T18:12:46Z)
• A Production Scheduling Framework for Reinforcement Learning Under Real-World Constraints [0.0]
  Real-world production environments introduce additional complexities that cause traditional scheduling approaches to be less effective.<n>Reinforcement learning (RL) holds potential in addressing these challenges, as it allows agents to learn adaptive scheduling strategies.<n>We propose a modular framework that extends classical JSSP formulations by incorporating key real-world constraints.<n>JobShopLab is an open-source tool for both research and industrial applications.
  arXiv  Detail & Related papers  (2025-06-16T14:50:26Z)
• Beyond Formal Semantics for Capabilities and Skills: Model Context Protocol in Manufacturing [0.12289361708127876]
  We present an alternative approach based on the recently introduced Model Context Protocol (MCP)<n>MCP allows systems to expose functionality through a standardized interface that is directly consumable by LLM-based agents.
  arXiv  Detail & Related papers  (2025-06-12T13:02:16Z)
• MAS-ZERO: Designing Multi-Agent Systems with Zero Supervision [76.42361936804313]
  We introduce MAS-ZERO, the first self-evolved, inference-time framework for automatic MAS design.<n> MAS-ZERO employs meta-level design to iteratively generate, evaluate, and refine MAS configurations tailored to each problem instance.
  arXiv  Detail & Related papers  (2025-05-21T00:56:09Z)
• MCP-Solver: Integrating Language Models with Constraint Programming Systems [23.191983095692223]
  The MCP solver bridges Large Language Models with symbolic solvers through the Model Context Protocol (MCP), an open-source standard for AI system integration.<n>Our implementation offers interfaces for constraint programming (Minizinc), propositional satisfiability (PySAT), and SAT modulo Theories (Python Z3)<n>The system employs an editing approach with iterated validation to ensure model consistency during modifications and enable structured refinement.
  arXiv  Detail & Related papers  (2024-12-31T16:49:27Z)
• Attribute Controlled Fine-tuning for Large Language Models: A Case Study on Detoxification [76.14641982122696]
  We propose a constraint learning schema for fine-tuning Large Language Models (LLMs) with attribute control. We show that our approach leads to an LLM that produces fewer inappropriate responses while achieving competitive performance on benchmarks and a toxicity detection task.
  arXiv  Detail & Related papers  (2024-10-07T23:38:58Z)
• A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis [54.959571890098786]
  We provide a framework to encode system specifications and define corresponding certificates. We present an automated approach to formally synthesise controllers and certificates. Our approach contributes to the broad field of safe learning for control, exploiting the flexibility of neural networks.
  arXiv  Detail & Related papers  (2023-09-12T09:37:26Z)

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.