An Overview of the SysML-Modelica Transformation Specification

This paper provides an overview of the formal trans formation between the two complementary languages: OMG SysML TM and Modelica. SysML is a standardized general pur pose graphical modeling language for capturing complex system descriptions in terms of their structure, behavior, properties, and requirements. Modelica is a standa rdized 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 automat ically 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 simpl e example to clarify the transformation principles and to illustrate the important synergie s resulting from the integration between these two languages