Cover Image

Beyond Formal Semantics for Capabilities and Skills: Model Context Protocol in Manufacturing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	da Silva, Luis Miguel Vieira, Köcher, Aljosha, Gehlhoff, Felix
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Artificial Intelligence Emerging Technologies Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Capability-Driven Skill Generation with LLMs: A RAG-Based Approach for Reusing Existing Libraries and Interfaces
by: da Silva, Luis Miguel Vieira, et al.
Published: (2025)

Automating Physics-Based Reasoning for SysML Model Validation
by: Chambers, Candice, et al.
Published: (2025)

AI Simulation by Digital Twins: Systematic Survey, Reference Framework, and Mapping to a Standardized Architecture
by: Liu, Xiaoran, et al.
Published: (2025)

Semantic Capability Model for the Simulation of Manufacturing Processes
by: Reif, Jonathan, et al.
Published: (2024)

Beyond the model: Key differentiators in large language models and multi-agent services
by: Goyal, Muskaan, et al.
Published: (2025)

Model Context Protocol (MCP) at First Glance: Studying the Security and Maintainability of MCP Servers
by: Hasan, Mohammed Mehedi, et al.
Published: (2025)

Data Architectures for AI-Ready Interoperable Public Transportation Ecosystems
by: Da Silva, Diego, et al.
Published: (2026)

Benchmark for Planning and Control with Large Language Model Agents: Blocksworld with Model Context Protocol
by: Jobs, Niklas, et al.
Published: (2025)

Model Context Protocol (MCP) Tool Descriptions Are Smelly! Towards Improving AI Agent Efficiency with Augmented MCP Tool Descriptions
by: Hasan, Mohammed Mehedi, et al.
Published: (2026)

DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting
by: Fiter, Kérian, et al.
Published: (2025)

LLM-Ehnanced Holonic Architecture for Ad-Hoc Scalable SoS
by: Ashfaq, Muhammad, et al.
Published: (2025)

Automatic Qiskit Code Refactoring Using Large Language Models
by: Suárez, José Manuel, et al.
Published: (2025)

Automated Validation of Textual Constraints Against AutomationML via LLMs and SHACL
by: Westermann, Tom, et al.
Published: (2025)

Taxonomy of migration scenarios for Qiskit refactoring using LLMs
by: Suárez, José Manuel, et al.
Published: (2025)

A Semantic Framework for Patient Digital Twins in Chronic Care
by: Elgammal, Amal, et al.
Published: (2025)

Beyond words and actions: Exploring Multimodal Analytics and Collaboration in the Digital Age
by: Miranda, Diego, et al.
Published: (2024)

SpecPylot: Python Specification Generation using Large Language Models
by: Ayon, Ragib Shahariar, et al.
Published: (2026)

Holon Programming Model -- A Software-Defined Approach for System of Systems
by: Ashfaq, Muhammad, et al.
Published: (2024)

LLM4DS: Evaluating Large Language Models for Data Science Code Generation
by: Nascimento, Nathalia, et al.
Published: (2024)

A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter
by: Bouafif, Mohamed Salah, et al.
Published: (2024)

AgentChangeBench: A Multi-Dimensional Evaluation Framework for Goal-Shift Robustness in Conversational AI
by: Rana, Manik, et al.
Published: (2025)

From Neural Sensing to Stimulation: An Interdisciplinary Roadmap for Neurotechnology
by: Serrano, Ruben Ruiz-Mateos, et al.
Published: (2025)

Model Discovery and Graph Simulation: A Lightweight Gateway to Chaos Engineering
by: Krasnovsky, Anatoly A.
Published: (2025)

An AST-guided LLM Approach for SVRF Code Synthesis
by: Abdelmalak, Abanoub E., et al.
Published: (2025)

Lessons Learned from the Use of Generative AI in Engineering and Quality Assurance of a WEB System for Healthcare
by: Travassos, Guilherme H., et al.
Published: (2025)

Variational Quantum Rainbow Deep Q-Network for Optimizing Resource Allocation Problem
by: Nguyen, Truong Thanh Hung, et al.
Published: (2025)

OrQstrator: An AI-Powered Framework for Advanced Quantum Circuit Optimization
by: Baird, Laura, et al.
Published: (2025)

LLM-Powered Quantum Code Transpilation
by: Siavash, Nazanin, et al.
Published: (2025)

GIScience in the Era of Artificial Intelligence: A Research Agenda Towards Autonomous GIS
by: Li, Zhenlong, et al.
Published: (2025)

Automating Detection and Root-Cause Analysis of Flaky Tests in Quantum Software
by: Sivaloganathan, Janakan, et al.
Published: (2026)

Human-Certified Module Repositories for the AI Age
by: Enyedi, Szilárd
Published: (2026)

Mitigating "Epistemic Debt" in Generative AI-Scaffolded Novice Programming using Metacognitive Scripts
by: Sankaranarayanan, Sreecharan
Published: (2026)

A Research Roadmap for Augmenting Software Engineering Processes and Software Products with Generative AI
by: Amalfitano, Domenico, et al.
Published: (2025)

Toward a Mapping of Capability and Skill Models using Asset Administration Shells and Ontologies
by: da Silva, Luis Miguel Vieira, et al.
Published: (2023)

LLM as a code generator in Agile Model Driven Development
by: Sadik, Ahmed R., et al.
Published: (2024)

Systems of Twinned Systems: A Systematic Literature Review
by: Adesanya, Feyi, et al.
Published: (2025)

Verification of Digital Twins using Classical and Statistical Model Checking
by: Gunasekaran, Raghavendran, et al.
Published: (2025)

Investigating the Role of Cultural Values in Adopting Large Language Models for Software Engineering
by: Lambiase, Stefano, et al.
Published: (2024)

From over-reliance to smart integration: using Large-Language Models as translators between specialized modeling and simulation tools
by: Giabbanelli, Philippe J., et al.
Published: (2025)

Programmers Aren't Obsolete Yet: A Syllabus for Teaching CS Students to Responsibly Use Large Language Models for Code Generation
by: Cipriano, Bruno Pereira, et al.
Published: (2025)