An Overview of the SysML-Modelica Transformation Specification
---
paper_title: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1

paper_content:

Part I: Introduction. Chapter 1: Introduction to Modeling and Simulation. Chapter 2: A Quick Tour of Modelica. Part II: The Modelica Language. Chapter 3: Classes, Types, and Declarations. Chapter 4: Inheritance, Modifications, and Generics. Chapter 5: Components, Connectors, and Connections. Chapter 6: Literals, Operators, and Expressions. Chapter 7: Arrays. Chapter 8: Equations. Chapter 9: Algorithms and Functions. Chapter 10: Packages. Chapter 11: Annotations, Units, and Quantities. Part III: Modeling and Applications. Chapter 12: System Modeling Methodology and Continuous Model Representation. Chapter 13: Discrete Event, Hybrid, and Concurrency Modeling. Chapter 14: Basic Laws of Nature. Chapter 15: Application Examples. Chapter 16: Modelica Library Overview. Part IV: Technology and Tools. Chapter 17: A Mathematical Representation for Modelica Models. Chapter 18: Techniques and Research. Chapter 19: Environments. Appendix A: Modelica Formal Syntax. Appendix B: Mathematica-style Modelica Syntax. Appendix C: Solutions for Exercises. Appendix D: Modelica Standard Library. Appendix E: Modelica Scripting Commands. Appendix F: Related Object-Oriented Modeling Languages. Appendix G: A Modelica XML Representation. References. Index.
---
paper_title: Integrating Models and Simulations of Continuous Dynamics into SysML

paper_content:

In this paper, we combine modeling constructs from SysML and Modelica to improve the support for Model-Based Systems Engineering (MBSE). The Object Management Group has recently developed the Systems Modeling Language (OMG SysML™). This visual modeling language provides a comprehensive set of diagrams and constructs for modeling many common aspects of systems engineering problems, such as system requirements, structures, functions, and behaviors. Complementin g these SysML constructs, the Modelica language has emerged as a standard for modeling the continuous dynamics of systems in terms of hybrid discreteevent and differential algebraic equation systems. In this paper, the synergy between SysML and Modelica is explored at three different levels: the de finition of continuous dynamics models in SysML; the use of a triple graph grammar to maintain a bidirectional mapping between these SysML constructs and the corresponding Modelica models; and the integration of simulation experiments with othe r SysML constructs to support MBSE. Throughout the paper, an example of a car suspension is used t o demonstrate these contributions.
---

Title: An Overview of the SysML-Modelica Transformation Specification

Section 1: Introduction
Description 1: Provide background on the SysML-Modelica Transformation Specification, its objectives, and the benefits of integrating SysML and Modelica.

Section 2: Related work
Description 2: Discuss previous efforts that contributed to the development of the SysML-Modelica Transformation Specification and the formation of the working group.

Section 3: Integration Approach
Description 3: Describe the formal, systematic approach used to develop the transformation between SysML and Modelica, including the SysML4Modelica profile.

Section 4: Semantic Comparison between SysML and Modelica
Description 4: Provide a high-level semantic comparison between SysML and Modelica, highlighting the primary modeling constructs and how they map to each other.

Section 5: Illustrative Example
Description 5: Present a detailed example illustrating the application of the SysML-Modelica Transformation Specification, including diagrams and explanations of key transformations.

Section 6: Summary
Description 6: Summarize the key points of the paper, including the formal transformation between SysML4Modelica and Modelica and its current development status.