5.5.1 An Overview of the SysML‐Modelica Transformation Specification

TLDR

SysML is a standardized graphical modeling language for complex system descriptions, while Modelica is a standardized systems modeling language for analyzing continuous and discrete dynamics via differential algebraic equations. The paper overviews the formal bi‑directional transformation between SysML and Modelica and presents a simple example illustrating the transformation principles and synergies. The mechanism is a standardized bi‑directional transformation that enables efficient, automatic, unambiguous transfer of modeling information between SysML and Modelica. Integrating SysML and Modelica yields a capability far greater than either language alone.

Abstract

Abstract This paper provides an overview of the formal transformation between the two complementary languages: OMG SysML™ and Modelica. SysML is a standardized general purpose graphical modeling language for capturing complex system descriptions in terms of their structure, behavior, properties, and requirements. Modelica is a standardized general purpose systems modeling language for analyzing the continuous and discrete time dynamics of complex systems in terms of differential algebraic equations. Integrating the descriptive power of SysML models with the analytic and computational power of Modelica models provides a capability that is significantly greater than provided by SysML or Modelica individually. A standardized bi‐directional transformation between the two modeling languages is being developed that will support implementations to transfer efficiently and automatically the modeling information between SysML and Modelica models without ambiguity. In addition to an overview of this bi‐directional transformation approach, the paper provides a simple example to clarify the transformation principles and to illustrate the important synergies resulting from the integration between these two languages.