1. Chris Paredis Georgia Tech
SysML Modelica Integration Working Group Meeting (SE DSIG Meeting, San Antonio, TX, 9/17/2009)
Chris Paredis
Georgia Tech

2. Agenda 8:30: Introductions 8:45: Recap of current status
9:00: meeting Andrew Watson
Feedback on RFC approach
10:00: Break
10:30: Review of remaining issues in transformation specification
11:30: Responsibilities and timeline

3. Remaining Issues: Current Phase
Substantive:
When to use profile? When to use parametrics?
«modelicaType»
Express constraints on stereotypes more formally (preferably in OCL)
Inheritance and redeclaration of packages; packages contained in models
Part III: Modelica meta-model
Part IV: Correspondence

4. Remaining Issues: Current Phase
Editorial:
Fill in gaps in Part I
Replace figures with jpg and fix capitalization on stereotypes
Reformat information in Part II to updated structure

5. Remaining Issues: Longterm
Arrays
Local Type Modifications

6. Backup slides for meeting with Andrew Watson

7. Modelica: Dynamic Systems Modeling
motor torque

8. Simple Example SysML Descriptive Model Modelica Model
SysML Analytical Model

9. SysML4Modelica
Formal mapping
Modelica

10. Roadmap – Past (1) SysML SysML-Modelica Modelica September 1997
1.0 Specification
1998—2000
1.1—1.4 Specifications
March 2003
SysML RFP
2002—2005
2.0—2.2 Specifications
December 2005
Initial Modelica-SysML presentation at SE DSIG
(Kobi, Paredis)
July 2006
Adopted Specification
September 2006
Types in the Modelica Language
(Broman, Fritzson, Furic)
July 2007
Towards Unified Systems Modeling with the ModelicaML UML Profile
(Pop, Akhvlediani, Fritzson)

11. Roadmap – Past (2) SysML SysML-Modelica Modelica September 2007
1.0 Specification
3.0 Specification
November 2007
Modeling Continuous System Dynamics in SysML (Johnson, Paredis, Burkhart)
August 2007
INCOSE MBSE Project Phase 1
(Lockheed, Deere, Georgia Tech)
November 2008
1.1 Specification
December 2008
SysML-Modelica Working Group
January 2009
1st Face-to-face meeting (Fritzson, Schamai, Paredis)
May 2009
3.1 Specification

12. Roadmap – Current Status
SysML
SysML-Modelica
Modelica
March, June 2009
Intermediate Reports to SE DSIG
Summer 2009
TGG implementation (Kerzhner)
June 2009
ModelicaML Technical Report (Schamai)
September 2009
ModelicaML Paper at Modelica Conference
(Schamai, Fritzson, Paredis, Pop)
SysML-Modelica Transformation Specification
TBD 2009
1.2 Specification
ParaMagic implementation with OpenModelica Solver
Future Modelica Version ?
Future Directions?
Include modelica standard library also

13. Options for Future: SysML – Modelica Transformation Specification
Request for Comments (RFC)
Request for Proposals (RFP)
SysML v2.0
Fold SysML-Modelica profile into SysML language
Not standardize
Working Group has decided to explore the RFC option further

14. Request for Comments (RFC): Definition
Any Contributing, Domain or Platform Member with technology that:
is relevant to a current Task Force adoption plan;
conforms to all applicable OMG Specifications; and
is available in a commercially-available implementation
may make an unsolicited Submission to the TFC of the relevant Task Force for presentation to that TF for consideration through a Request for Comments.
(Section 4.3, OMG Policies and Procedures, v2.8)
For non-controversial specifications that are ready

15. Request for Comments (RFC): Process
Submit to the TFC of the relevant Task Force an unsolicited proposal for adoption through RFC
The Task Force which received the proposal may recommend its issuance by its parent TC as an RFC.
The TC obtains AB approval and may then, by majority vote, cause OMG to issue the Submission as an RFC.
The comment period opens. Any party (including non-members) may send comments. Typically lasts 60 days.
TF considers comments and decides, by majority vote, whether to recommend the Submission to its parent TC for adoption
If the TF recommends adoption, the parent TC shall obtain AB approval before making a final decision on whether to recommend the Submission for adoption by the Board of Directors, using an electronic poll needing a 2/3 majority to pass

16. Request for Comments (RFC): Process
Possible Timeline
Finalize Transformation Specification (December 2009)
Reference Implementation (January 2010)
Submit RFC proposal (March 2010 meeting)
AB approval (March or June 2010 meeting)
Comment period (Summer 2010)
TF approval (September 2010 meeting)
Submission for adoption (December 2010 meeting)

17. Request for Comments (RFC): Summary
Seems appropriate for this non-controversial specification
Requires vendor implementation and active user community
SysML and Modelica communities are very active
Initial discussions with tool vendors:
NoMagic, InterCAx, Sparx?
OpenModelica, Dynasim (Dassault Systemes)
Is faster than the other options
Would be the (first?) formal definition of an MDA transformation specification