Premium
Towards V&V suitable Domain Specific Modeling Languages for MBSE: A tooled approach
Author(s) -
NASTOV Blazo,
CHAPURLAT Vincent,
DONY Christophe,
PFISTER François
Publication year - 2016
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2016.00178.x
Subject(s) - executable , computer science , modeling language , software engineering , interoperability , domain (mathematical analysis) , process (computing) , programming language , metamodeling , unified modeling language , systems engineering , process management , engineering , world wide web , software , mathematical analysis , mathematics
Considering Model‐Based Systems Engineering (MBSE) principles and needs, this article focuses on the design of Domain Specific Modeling Languages (DSMLs) aiming to link modeling, verification and validation (V&V) activities. The goal is to ease the work and increase the freedom and autonomy of experts from various domains in the process of creating and managing system models then to supply experts involved in analyses and decision making processes with models characterized by highest level of confidence. This paper introduces and illustrates a tool‐equipped approach, named “xviCore”, that provides MBSE experts with natively verifiable, executable and interoperable DSML named “xviDSML”, i.e., DSML that can be formally and directly checked and simulated requesting no huge efforts or skills.