Towards Formalising Stakeholder Context using SysML v2

• URL: http://arxiv.org/abs/2604.19390v1
• Date: Tue, 21 Apr 2026 12:16:03 GMT
• Title: Towards Formalising Stakeholder Context using SysML v2
• Abstract summary: This paper presents a framework to bridge the gap between subjective stakeholder context and formal system architecture.<n>The methodology uses the precision of Kernel Modelling Language (KerML) and the alignment of SysML v2 with ISO 42010.<n>The structured mapping and increased semantic precision of SysML v2 are anticipated to reduce the risk of misinterpretation.
• Score: 2.8465264487910846
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: This paper presents a framework to bridge the gap between subjective stakeholder context and formal system architecture. This is achieved using Soft Systems Methodology (SSM) and Systems Modelling Language version 2 (SysML v2). The methodology utilises the precision of Kernel Modelling Language (KerML) and the alignment of SysML v2 with ISO 42010 to define a reference architecture for the mapping of SSM outputs to SysML v2 concepts such as stakeholders and concerns. Application of the framework is demonstrated through the use of a case study, highlighting the traceable path from stakeholder context to system architecture. The structured mapping and increased semantic precision of SysML v2 are anticipated to reduce the risk of misinterpretation compared to less formal approaches, though empirical validation across diverse stakeholder contexts remains as future work. The primary identified trade-off is the increased barrier to entry associated with SysML v2's textual notation.

Related papers

• A Cybersecurity MLPS Large Language Model with Multi-Path Retrieval Fusion [9.122973354613732]
  The Multi-Level Protection Scheme (MLPS) is a foundational system in China's cybersecurity governance framework.<n>This paper proposes a large language model framework for S that integrates multiple retrieval strategies.
  arXiv  Detail & Related papers  (2026-07-27T07:57:28Z)
• Automated SysML-Based Verification of Discipline-Specific Models [0.0]
  This project addresses the problem with a verification process tailored to model-based verification.<n>A mixed-method approach combining literature research and stakeholder interviews was used to derive validated stakeholder needs.<n>The process was demonstrated end-to-end in two independent SysML tool-chains to evidence tool-agnosticism.
  arXiv  Detail & Related papers  (2026-06-27T16:56:22Z)
• A Language for Describing Agentic LLM Contexts [24.406399255415113]
  Agentic Context Description Language (ACDL) provides constructs for specifying context aspects.<n>ACDL diagrams can be hand drawn on a whiteboard, or written in formal language which can then be rendered.<n>Tooling, examples and documentation are available at www.acdlang.org.
  arXiv  Detail & Related papers  (2026-05-03T15:02:44Z)
• Uncertainty Modeling for SysML v2 [5.36666921975241]
  Uncertainty is inherent in modern engineered systems.<n>This paper proposes a systematic extension of SysML v2 that incorporates the PSUM metamodel into its modeling framework.
  arXiv  Detail & Related papers  (2026-02-25T07:10:53Z)
• Architecting AgentOS: From Token-Level Context to Emergent System-Level Intelligence [13.062618208633483]
  This paper proposes AgentOS, a holistic conceptual framework that redefines the Large Language Models as a "Reasoning Kernel" governed by structured operating system logic.<n>By mapping classical OS abstractions such as memory paging interrupt handling and process scheduling onto LLM native constructs, this review provides a rigorous roadmap for architecting resilient scalable and self-evolving cognitive environments.
  arXiv  Detail & Related papers  (2026-02-24T14:12:21Z)
• MaDiS: Taming Masked Diffusion Language Models for Sign Language Generation [78.75809158246723]
  We present MaDiS, a masked-diffusion-based language model for SLG that captures bidirectional and supports efficient parallel multi-token generation.<n>We also introduce a tri-level cross-modal pretraining scheme that jointly learns from token-, latent-Hearing, and 3D-space objectives.<n>MaDiS achieves superior performance across multiple metrics, including DTW error and two newly introduced metrics, SiBLEU and SiCLIP, while reducing inference latency by nearly 30%.
  arXiv  Detail & Related papers  (2026-01-27T13:06:47Z)
• 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)
• LLM-Assisted Semantic Alignment and Integration in Collaborative Model-Based Systems Engineering Using SysML v2 [7.19300892392172]
  This paper proposes a structured, prompt-driven approach for LLM-assisted semantic alignment of SysML v2 models.<n>The approach leverages SysML v2 constructs such as alias, import, and metadata extensions to support traceable, soft alignment integration.
  arXiv  Detail & Related papers  (2025-08-22T07:56:33Z)
• MIMIC: Multimodal Inversion for Model Interpretation and Conceptualization [52.66401137323065]
  We propose a Multimodal Inversion for Model Interpretation and Conceptualization (MIMIC) framework to visualize the internal representations of Vision Language Models (VLMs)<n>MIMIC uses a joint VLM-based inversion and a feature alignment objective to account for VLM's autoregressive processing.<n>We quantitatively and qualitatively evaluate MIMIC by inverting visual concepts over a range of varying-length free-form VLM output texts.
  arXiv  Detail & Related papers  (2025-08-11T10:36:58Z)
• Discrete Tokenization for Multimodal LLMs: A Comprehensive Survey [69.45421620616486]
  This work presents the first structured taxonomy and analysis of discrete tokenization methods designed for large language models (LLMs)<n>We categorize 8 representative VQ variants that span classical and modern paradigms and analyze their algorithmic principles, training dynamics, and integration challenges with LLM pipelines.<n>We identify key challenges including codebook collapse, unstable gradient estimation, and modality-specific encoding constraints.
  arXiv  Detail & Related papers  (2025-07-21T10:52:14Z)
• RSRefSeg 2: Decoupling Referring Remote Sensing Image Segmentation with Foundation Models [25.265113510539546]
  Referring Remote Sensing Image provides a flexible and fine-grained framework for remote sensing scene analysis.<n>Current approaches utilize a three-stage pipeline encompassing dual-modal encoding, cross-modal interaction, and pixel decoding.<n>We propose RSRefSeg 2, a decoupling paradigm that reformulates the conventional workflow into a collaborative dual-stage framework.
  arXiv  Detail & Related papers  (2025-07-08T17:59:58Z)
• OmniParser V2: Structured-Points-of-Thought for Unified Visual Text Parsing and Its Generality to Multimodal Large Language Models [58.45517851437422]
  Visually-situated text parsing (VsTP) has recently seen notable advancements, driven by the growing demand for automated document understanding.<n>Existing solutions often rely on task-specific architectures and objectives for individual tasks.<n>In this paper, we introduce Omni V2, a universal model that unifies VsTP typical tasks, including text spotting, key information extraction, table recognition, and layout analysis.
  arXiv  Detail & Related papers  (2025-02-22T09:32:01Z)
• Guiding the PLMs with Semantic Anchors as Intermediate Supervision: Towards Interpretable Semantic Parsing [57.11806632758607]
  We propose to incorporate the current pretrained language models with a hierarchical decoder network. By taking the first-principle structures as the semantic anchors, we propose two novel intermediate supervision tasks. We conduct intensive experiments on several semantic parsing benchmarks and demonstrate that our approach can consistently outperform the baselines.
  arXiv  Detail & Related papers  (2022-10-04T07:27:29Z)

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.