close encounters between - eclipsecon … encounters between requirements and sysml eclipsecon...
TRANSCRIPT
![Page 1: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/1.jpg)
EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
CLOSE ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML
![Page 2: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/2.jpg)
| 2EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
WHAT WE DO
Papyrus REQ = Papyrus for Requirements
A set of Eclipse plugins for model-based requirements engineering integrated in the Papyrus platform (http://www.eclipse.org/papyrus/)
![Page 3: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/3.jpg)
| 4EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
SYSML DIAMGRAMS
SysML Structure Diagram
Block DefinitionDiagram
Internal Block Diagram
ParametricDiagram
SysML Behavior Diagram
State Machine Diagram
ActivityDiagram
Use Case Diagram
SequenceDiagram
SysML Cross-CuttingDiagram
RequirementDiagram
![Page 4: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/4.jpg)
| 6EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
ANATOMY OF THE «REQUIREMENT» CONCEPT
Requirement concept
defined in a Profile
The Requirement concept
used by the Users
« Requirement » properties: An identifier
A text requirement description
A name (inherited from Class defined in UML)
![Page 5: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/5.jpg)
| 7EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
• Papyrus UML
For developers:
http://download.eclipse.org/modeling/mdt/papyrus/updates/nightly/neon
For users:
Papyrus 2.0 Neon - Next release.
• SysML 1.1 (Included by Default) or
• SysML 1.4 (Need to be installed as an “Additional Papyrus
Component”)
INSTALLATION REQUIREMENTS
Figure 1. Installing SysML 1.4
![Page 6: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/6.jpg)
| 8EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
INSTALLING PAPYRUS FOR REQUIREMENTS
![Page 7: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/7.jpg)
| 10EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
MAIN PROCESSES IN EACH DEVELOPMENT AREA
Management / Traceability
Specification Analysis
Validation and Verification
Check Rules
Trace
Elements
Evaluate Metrics
Requirements
Types Definition
Preferences
Setting
Re/Import/Export
Requirements
Generate
Reports
Business Needs-
Goals Modeling
System
Requirements
Modeling
![Page 8: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/8.jpg)
| 11
Specification
EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
Business Needs-Goals
Modeling
System Requirements
Modeling
Preferences Setting
Requirements Types
Definition
![Page 9: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/9.jpg)
| 12EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
BUSINESS NEEDS-GOALS MODELING
Papyrus BMM editor
A Business Motivation Model (BMM) v1.3
captures business requirements and
justifies why business want to do something,
what they aim to achieve, how they plan to
get there, and how they plan to assess the
results.
BMM Overview (Figure taken from: http://www.omg.org/spec/BMM/1.3)
![Page 10: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/10.jpg)
| 13EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
SPECIFICATION: BUSINESS MODELING
BMM Overview (Figure taken from: http://www.omg.org/spec/BMM/1.3)
![Page 11: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/11.jpg)
| 14EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
SPECIFICATION: BUSINESS MODELING
Diagram-Based
Form-Based
Tree-Based
![Page 12: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/12.jpg)
| 15EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
SYSTEM REQUIREMENTS
![Page 13: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/13.jpg)
| 16EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
SYSTEM REQUIREMENTS MODELLING: TABLES
![Page 14: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/14.jpg)
| 17EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
CHANGE PREFERENCES SETTINGS
These
preferences
help you to
create these
IDs
These
preferences
help you to
create these
IDs
![Page 15: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/15.jpg)
| 20EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
MAIN PROCESSES IN EACH DEVELOPMENT AREA
Management / Traceability
Specification Analysis
Validation and Verification
Check Rules
Trace
Elements
Evaluate Metrics
Requirements
Types Definition
Preferences
Setting
Re/Import/Export
Requirements
Generate
Reports
Business Needs-
Goals Modeling
System
Requirements
Modeling
![Page 16: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/16.jpg)
| 21EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
IMPORTING AND EXPORTING TO EXTERNAL SOURCES
CSV
XLS
ReqIf
Papyrus for Requirements
![Page 17: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/17.jpg)
| 22EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
REQUIREMENTS MANAGEMENT (TRACEABILITY)
TracedTo Matrix –Model Elements (EX. From BMM or Any
other language) x Requirements
![Page 18: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/18.jpg)
| 23
DerivedFrom Matrix –Requirements x Requirements
The table is synchronized and allows creating and
deleting “derivedReqt” Links
REQUIREMENTS MANAGEMENT (TRACEABILITY)
EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
![Page 19: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/19.jpg)
| 24
RefinedBy – Requirements x Requirements
The table is synchronized and allows
creating and deleting “Refine” Links
REQUIREMENTS MANAGEMENT (TRACEABILITY)
EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
![Page 20: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/20.jpg)
| 25
Requirements Management (Traceability)
Satisfy Matrix – Model Elements x Requirements
The table is synchronized and allows
creating and deleting “Satisfy” Links
REQUIREMENTS MANAGEMENT (TRACEABILITY)
EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
![Page 21: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/21.jpg)
| 26
VerifiedBy Matrix – Model Elements (“Test Case”) x Requirements
The table is synchronized and allows
creating and deleting “Verify” Links
REQUIREMENTS MANAGEMENT (TRACEABILITY)
EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
![Page 22: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/22.jpg)
| 27
SysML, generic and customer-defined tables for traceability.
REQUIREMENTS MANAGEMENT (TRACEABILITY)
EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
![Page 23: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/23.jpg)
| 28
Traceability contextual tools
Based on selected Requirements Related Elements
Based on Requirements
REQUIREMENTS MANAGEMENT (TRACEABILITY)
EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
![Page 24: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/24.jpg)
| 30EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
MAIN PROCESSES IN EACH DEVELOPMENT AREA
Management / Traceability
Specification Analysis
Validation and Verification
Check Rules
Trace
Elements
Evaluate Metrics
Requirements
Types Definition
Preferences
Setting
Re/Import/Export
Requirements
Generate
Reports
Business Needs-
Goals Modeling
System
Requirements
Modeling
![Page 25: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/25.jpg)
| 31EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
EVALUATE METRICS
Ex. Calculate the number of satisfied/Unsatisfied requirements using a model
conforming to the Structured Metrics Meta-model (SMM)
Possibility to compute your own metrics by using SMM Models
Default and embedded metrics
User-defined metrics
![Page 26: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/26.jpg)
| 32EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
EVALUATE METRICS
It will be possible to show graphical viewsThese GUI will be
integrated soon
![Page 27: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/27.jpg)
| 33
Ex., Validate if requirements are satisfied or verified
CHOOSING CONSTRAINTS TO VALIDATE
EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
![Page 28: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/28.jpg)
| 34
VISUALIZATION OF THE RESULTS OF CONSTRAINTS
VALIDATION
Warnings/Error signs are displayed on requirements
EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
![Page 29: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/29.jpg)
| 35EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
MAIN PROCESSES IN EACH DEVELOPMENT AREA
Management / Traceability
Specification Analysis
Validation and Verification
Check Rules
Trace
Elements
Evaluate Metrics
Requirements
Types Definition
Preferences
Setting
Re/Import/Export
Requirements
Generate
Reports
Business Needs-
Goals Modeling
System
Requirements
Modeling
![Page 30: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/30.jpg)
| 36EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
DEMOSTRATION
![Page 31: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/31.jpg)
| 37EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier
• Change the strategy to create new requirements IDs by reusing
ReqCycle.
• Use ReqCycle for linking requirements to code (ex. In a Unit Test “this
test verifies this requirement”).
• Link OSLC (Open Services for Lifecycle Collaboration) to support
interoperability between tools
• Semi-formalize requirements using templates
• Integrate requirements types libraries according to different types of
domains
FUTURE WORK (LINKS WITH OTHER ECLIPSE TOOLS)
![Page 32: CLOSE ENCOUNTERS BETWEEN - EclipseCon … ENCOUNTERS BETWEEN REQUIREMENTS AND SYSML EclipseCon France 2016 | Mauricio Alferez and Patrick Tessier | 2 WHAT WE DO Papyrus REQ = Papyrus](https://reader033.vdocuments.mx/reader033/viewer/2022051723/5aaeb00a7f8b9a22118c57d4/html5/thumbnails/32.jpg)
Commissariat à l’énergie atomique et aux énergies alternatives
Institut List | CEA SACLAY NANO-INNOV | BAT. 861 – PC142
91191 Gif-sur-Yvette Cedex - FRANCE
www-list.cea.fr
Établissement public à caractère industriel et commercial | RCS Paris B 775 685 019
Thank
you