Abstract:The iterative and incremental nature of software development using models typically makes a model of a system incomplete (i.e., partial) until a more advanced and complete stage of development is reached. Existing model execution approaches (interpretation of models or code generation) do not support the execution of partial models. Supporting the execution of partial models at the early stages of software development allows early detection of defects, which can be fixed more easily and at a lower cost. This paper proposes a conceptual framework for the execution of partial models, which consists of three steps: static analysis, automatic refinement, and input-driven execution. First, a static analysis that respects the execution semantics of models is applied to detect problematic elements of models that cause problems for the execution. Second, using model transformation techniques, the models are refined automatically, mainly by adding decision points where missing information can be supplied. Third, refined models are executed, and when the execution reaches the decision points, it uses inputs obtained either interactively or by a script that captures how to deal with partial elements. We created an execution engine called PMExec for the execution of partial models of UML-RT (i.e., a modeling language for the development of soft real-time systems) that embodies our proposed framework. We evaluated PMExec based on several use-cases that show that the static analysis, refinement, and application of user input can be carried out with reasonable performance and that the overhead of approach, which is mostly due to the refinement and the increase in model complexity it causes, is manageable. We also discuss the properties of the refinement formally and show how the refinement preserves the original behaviors of the model.

Towards Automatic Model Completion: from Requirements to SysML State Machines

Completion of SysML state machines from Given–When–Then requirements

Automated Transformation of UML/SysML Behavioral Diagrams for Stochastic Error Propagation Analysis of Autonomous Systems

Model-Driven Engineering Method to Support the Formalization of Machine Learning using SysML

A system modeling process based on SysML to support data consistency across system requirement, function, and solution model layers

Tooled Process for Early Validation of SysML Models Using Modelica Simulation

Functional Requirements Validation by Transforming Use Case Models into Abstract State Machines

Natural Language Processing for Systems Engineering: Automatic Generation of Systems Modelling Language Diagrams

A Model Driven Service Engineering Approach to System of Systems

A journey with ASMETA from requirements to code: application to an automotive system with adaptive features

Model-based safety assessment with SysML and component fault trees: application and lessons learned

Formalizing UML State Machines for Automated Verification -- A Survey

Formalizing UML State Machines for Automated Verification – A Survey

Integrating Models and Simulations of Continuous Dynamics Into SysML

SysML model-driven approach to verify blocks compatibility

A Hybrid Approach to System Verification in Early Design for Complex Mechatronic Systems Based on Formal Functional Semantics

SoS contract verification using statistical model checking

System-level model integration of design and simulation for mechatronic systems based on SysML

Execution of Partial State Machine Models

SysML as a Tool for Requirements Traceability in Mechatronic Design

Automated Transition From Use Cases To Uml State Machines To Support State-Based Testing