sysml 1.4 for papyrus - eclipsewiki.eclipse.org/images/5/57/ece15-cea-list-sysml14.pdf · •sysml...
TRANSCRIPT
![Page 1: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/1.jpg)
SYSML 1.4 FOR PAPYRUS
EclipseCon 2015 | Ludwigsburg
Prepared by: François Le Fèvre | Patrick Tessier | Benoit Maggi
![Page 2: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/2.jpg)
• SysML 1.4 standard
Standard Difficulties to implement SysML 1.4
• Systematic implementation approach
Process Test
• Current state
Feature Overview Zoom on specific diagrams
• Outgoing work
Planning Team We need you
AGENDA
EclipseCon 2015 | Ludwigsburg
![Page 3: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/3.jpg)
SYSML 1.4 STANDARD
EclipseCon 2015| CEA Team
![Page 4: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/4.jpg)
• formal/2015-06-03
Specification 346 pages
55 concepts
Profile given by OMG
4 new diagrams
SYSML 1.4 OMG STANDARD
EclipseCon 2015 | Ludwigsburg
![Page 5: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/5.jpg)
• The standard is essentially written in natural
language
Requirements are not well identify
Constraints are mostly written in natural language
• Figures in the spec are difficult to interpret:
Parameters in the parametric are ports, properties?
What is mandatory? Optional?
• Some representations do not exist in the profile:
parts, references…
Call out concepts, not present in the profile.
• Constructions are dependent from diagrams
Property path need the concept of context purely diagram
IMPLEMENTATION OF SYSML INSIDE
PAPYRUS
EclipseCon 2015 | Ludwigsburg
![Page 6: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/6.jpg)
SYSTEMATIC IMPLEMENTATION
APPROACH
EclipseCon 2015| CEA Team
![Page 7: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/7.jpg)
• In order to address problems and succeed to understand
developments
• Use of Model Driven Development
• Specification are made with SysML 1.1 version
• Model of the Specification as Requirement model
• Derive new requirements to match technologies used in Papyrus
• Code and tests reference requirements
PROCESS
OMG
• Profile
• Standard specifications (PDF)
Process
• MDD
• Semantic
• GUI
SysMLPapyrus
EclipseCon 2015 | Ludwigsburg
![Page 8: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/8.jpg)
USE OF SYSML REQUIREMENT
DIAGRAM
Automatic
Requirements
Extraction from the
standard specification
(PDF)
Refining the req for a
technology
Implementation
EclipseCon 2015 | Ludwigsburg
![Page 9: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/9.jpg)
Code ref the requirement
by using tag
@papyrus.req ${modelID}#$reqID}
EclipseCon 2015 | Ludwigsburg
![Page 10: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/10.jpg)
• Use in the build of test about model validation
• Best effort:
• Each written requirement must be satisfied and verified by a test.
• RCPTT scenario
• Have been deployed
• Run tests for each Gerrit contribution, to be sure
• Patches can be compiled
• Patches do not break existing tests
EclipseCon 2015 | Ludwigsburg
TESTS
![Page 11: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/11.jpg)
USING ECLIPSE GALAXY TOOLS
EclipseCon 2015| CEA Team
JavaDoc
Maven Web Site
Nexus
RCP with P2 update site
https://hudson.eclipse.org/papyrus/view/Sysml/job/papyrus-sysml-website/ws/site-staging/index.html
Hudson
![Page 12: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/12.jpg)
CURRENT STATE
EclipseCon 2015| CEA Team
![Page 13: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/13.jpg)
• Graphical coverage:
• BDD:86% , IBD: 87%, Requirement: 100%, Parametric: 71%
• Customization of papyrus
• Technology
• Model-based. Less code as possible (e.g. BDD = 330 lines of codes)
SYSML 1.4 CURRENT STATE
EclipseCon 2015 | Ludwigsburg
Class Diagram Composite Structure Diagram
Block Definition
Diagram
Requirements
Diagram
Internal Block
Definition
Parametric
Diagram
Semantics
ElementTypesConfiguration model(cf. org.eclipse.papyrus.sysml.service.types)
Graphical
Expansion model
(cf. org.eclipse.papyrus.infra.gmfdiag.common)
![Page 14: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/14.jpg)
FROM STANDARD TO HIGH LEVEL FEATURES
AND ITS DECOMPOSITION IN TERM OF FUNCTION
EclipseCon 2015 | Ludwigsburg
![Page 15: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/15.jpg)
DISPARITY BETWEEN DIAGRAMS
Block
Definition
Diagram
Parametric
Diagram
EclipseCon 2015 | Ludwigsburg
![Page 16: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/16.jpg)
OUTGOING WORK
EclipseCon 2015| CEA Team
![Page 17: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/17.jpg)
SysML 1.4 Standard Release
June
0.7
SysMLPapyrus
Papyrus 1.1.3
0.8
SysMLPapyrus
Nightly can be
downloaded
Next Version End of 2015
SysMLPapyrus
PLANNING
EclipseCon 2015 | Ludwigsburg
![Page 18: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/18.jpg)
François Le Fèvre
(CEA LIST)
Patrick Tessier
(CEA LIST)
Benoit Maggi
(CEA LIST)
Klaas Gadeyne (Flanders
Make)
You
A DEDICATED TEAM
EclipseCon 2015 | Ludwigsburg
![Page 19: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/19.jpg)
• You want to participate:
Mailing list
Bugzilla
Contribution by following instruction of contributing.mdd
• Feed backs for the version delivered with papyrus mars 1.1.3
• An example in SysML can be a good contribution and be
included as model example inside SysML 1.4
WE NEED EXPERT, USER AND DEVELOPERS
WE NEED YOU
EclipseCon 2015 | Ludwigsburg
![Page 20: SYSML 1.4 FOR PAPYRUS - Eclipsewiki.eclipse.org/images/5/57/ECE15-CEA-LIST-SysML14.pdf · •SysML 1.4 standard Standard Difficulties to implement SysML 1.4 • Systematic implementation](https://reader034.vdocuments.us/reader034/viewer/2022050903/5b965f8809d3f2de4a8d3203/html5/thumbnails/20.jpg)