Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
- URL: http://arxiv.org/abs/2508.12325v1
- Date: Sun, 17 Aug 2025 10:48:01 GMT
- Title: Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
- Authors: Tim Kräuter, Adrian Rutle, Yngve Lamo, Harald König, Francisco Durán,
- Abstract summary: We have developed a non-intrusive coordination framework capable of performing formal analysis of heterogeneous parts that exchange data and include real-time capabilities.<n>The framework utilizes a linguistic extension, which is implemented as a central broker and a domain-specific language for the integration of heterogeneous languages and coordination of parts.
- Score: 1.381787475342205
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Modern software systems are often realized by coordinating multiple heterogeneous parts, each responsible for specific tasks. These parts must work together seamlessly to satisfy the overall system requirements. To verify such complex systems, we have developed a non-intrusive coordination framework capable of performing formal analysis of heterogeneous parts that exchange data and include real-time capabilities. The framework utilizes a linguistic extension, which is implemented as a central broker and a domain-specific language for the integration of heterogeneous languages and coordination of parts. Moreover, abstract rule templates are reified as language adapters for non-intrusive communications with the broker. The framework is implemented using rewriting logic (Maude), and its applicability is demonstrated by verifying certain correctness properties of a heterogeneous road-rail crossing system.
Related papers
- An end-to-end agentic pipeline for smart contract translation and quality evaluation [5.027278762864141]
We present an end-to-end framework for systematic evaluation of smart contracts generated from natural-language specifications.<n>The system parses contractual text into structured schemas, generates Solidity code, and performs automated quality assessment through compilation and security checks.
arXiv Detail & Related papers (2026-02-14T14:37:59Z) - DeALOG: Decentralized Multi-Agents Log-Mediated Reasoning Framework [7.772295511115406]
DeALOG is a decentralized multi-agent framework for multimodal question answering.<n>It uses specialized agents: Table, Context, Visual, Summarizing and Verification.
arXiv Detail & Related papers (2026-02-01T03:26:52Z) - UniConv: Unifying Retrieval and Response Generation for Large Language Models in Conversations [71.79210031338464]
We show how to unify dense retrieval and response generation for large language models in conversation.<n>We conduct joint fine-tuning with different objectives and design two mechanisms to reduce the inconsistency risks.<n>The evaluations on five conversational search datasets demonstrate that our unified model can mutually improve both tasks and outperform the existing baselines.
arXiv Detail & Related papers (2025-07-09T17:02:40Z) - CoDial: Interpretable Task-Oriented Dialogue Systems Through Dialogue Flow Alignment [24.936670177298584]
We introduce a novel framework, CoDial, that converts expert knowledge into executable conversation logic.<n>CoDial can be easily implemented in existing guardrailing languages, such as Colang.<n>It achieves state-of-the-art performance on the STAR dataset for inference-based models and is competitive with similar baselines on the well-known MultiWOZ dataset.
arXiv Detail & Related papers (2025-06-02T21:12:27Z) - UniversalRAG: Retrieval-Augmented Generation over Corpora of Diverse Modalities and Granularities [53.76854299076118]
UniversalRAG is a novel RAG framework designed to retrieve and integrate knowledge from heterogeneous sources with diverse modalities and granularities.<n>We propose a modality-aware routing mechanism that dynamically identifies the most appropriate modality-specific corpus and performs targeted retrieval within it.<n>We validate UniversalRAG on 8 benchmarks spanning multiple modalities, showing its superiority over various modality-specific and unified baselines.
arXiv Detail & Related papers (2025-04-29T13:18:58Z) - CORG: Generating Answers from Complex, Interrelated Contexts [57.213304718157985]
In a real-world corpus, knowledge frequently recurs across documents but often contains inconsistencies due to ambiguous naming, outdated information, or errors.<n>Previous research has shown that language models struggle with these complexities, typically focusing on single factors in isolation.<n>We introduce Context Organizer (CORG), a framework that organizes multiple contexts into independently processed groups.
arXiv Detail & Related papers (2025-04-25T02:40:48Z) - Symbolic Parallel Composition for Multi-language Protocol Verification [6.514727189942011]
Security protocols often combine different languages. This practice poses a challenge to traditional verification techniques.<n>We establish principles for combining multiple programming languages operating on different atomic types using a symbolic execution semantics.
arXiv Detail & Related papers (2025-04-09T12:50:03Z) - A Context-aware Framework for Translation-mediated Conversations [29.169155271343083]
We present a framework to improve large language model-based translation systems by incorporating contextual information in bilingual conversational settings during training and inference.<n>We validate our proposed framework on two task-oriented domains: customer chat and user-assistant interaction.<n>Across both settings, the system produced by our framework-TowerChat-consistently results in better translations than state-of-the-art systems like GPT-4o and TowerInstruct.
arXiv Detail & Related papers (2024-12-05T14:41:05Z) - nl2spec: Interactively Translating Unstructured Natural Language to
Temporal Logics with Large Language Models [3.1143846686797314]
We present nl2spec, a framework for applying Large Language Models (LLMs) derive formal specifications from unstructured natural language.
We introduce a new methodology to detect and resolve the inherent ambiguity of system requirements in natural language.
Users iteratively add, delete, and edit these sub-translations to amend erroneous formalizations, which is easier than manually redrafting the entire formalization.
arXiv Detail & Related papers (2023-03-08T20:08:53Z) - Variational Cross-Graph Reasoning and Adaptive Structured Semantics
Learning for Compositional Temporal Grounding [143.5927158318524]
Temporal grounding is the task of locating a specific segment from an untrimmed video according to a query sentence.
We introduce a new Compositional Temporal Grounding task and construct two new dataset splits.
We argue that the inherent structured semantics inside the videos and language is the crucial factor to achieve compositional generalization.
arXiv Detail & Related papers (2023-01-22T08:02:23Z) - The Whole Truth and Nothing But the Truth: Faithful and Controllable
Dialogue Response Generation with Dataflow Transduction and Constrained
Decoding [65.34601470417967]
We describe a hybrid architecture for dialogue response generation that combines the strengths of neural language modeling and rule-based generation.
Our experiments show that this system outperforms both rule-based and learned approaches in human evaluations of fluency, relevance, and truthfulness.
arXiv Detail & Related papers (2022-09-16T09:00:49Z) - Coordination Among Neural Modules Through a Shared Global Workspace [78.08062292790109]
In cognitive science, a global workspace architecture has been proposed in which functionally specialized components share information.
We show that capacity limitations have a rational basis in that they encourage specialization and compositionality.
arXiv Detail & Related papers (2021-03-01T18:43:48Z)
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.