SlideShare una empresa de Scribd logo
1 de 12
From SADT to SysML:
                          formulation of an embedding



pascal.roques@gmail.com                           ICSSEA , 07/12/2010
Speaker: Pascal Roques
 Senior Consultant, >20 years modeling experience
  • SADT,
  • OMT, UML, SysML


 Co-founder and chairman of

 Author of several best-seller UML books in French
 … and of the first French SysML book




                                                      2
The past: SADT and ASA™ (1/2)
 SADT: Structured Analysis and Design Technique
  • Diagrammatic notation designed specifically to help people describe
    and understand systems

  • Boxes and arrows
    with informal semantics




  • Top-down functional breakdown



  • Received extensive use starting in 1973 by the US Air Force
    Integrated Computer Aided Manufacturing program
  • In 1981, IDEF0 formalism was published, based on SADT

                                                                          3
The past: SADT and ASA™ (2/2)
 ASA™: Automata and
  Structured Analysis (Verilog)
  •   Enhanced SADT with dynamics
      description by means of Finite
      State Machines
         Formalization of communication
          arrows
         Dynamic description of the leaf
          functions in terms of states, events,
          actions and conditions (LSA
          language)
  • Provided tools, not only for
    edition and documentation
    generation, but also simulation
    and even test generation
         applied intensively on industrial
          projects, mainly in: aeronautics,
          ground transport and space

                                                  4
The present: SysML™ (OMG)
 General-purpose graphical modeling language for
  specifying, analyzing, designing, and verifying complex
  systems that may include hardware, software,
  information, personnel, procedures, and facilities




                                                            5
Possible SADT/SysML mappings (1/3)
 SADT: A-0 Context Diagram
  • Describes the environment of the system seen as a black box




 SysML Internal Block
  Diagram


                                                                  6
SysML Complementary Diagrams (1/2)
 SysML Block Definition Diagram

 SysML Use Case Diagram




 SysML Sequence Diagram



                                      7
Possible SADT/SysML mappings (2/3)
 SADT: A0 Diagram
  • Shows the first breakdown level of the system into functions




 SysML Internal Block
  Diagram
                                                                   8
Possible SADT/SysML mappings (3/3)
 SADT: A0 Diagram




 SysML Activity Diagram


                                      9
SysML Complementary Diagrams (2/2)
 SysML Block Definition Diagram
                                  SysML Sequence Diagram




                         SysML State Machine Diagram

                                                        10
Summary: SADT/SysML

       SADT           SysML




                              11
Conclusion
 SADT provides only two different types of diagrams, enabling
  simple communication
   • But this is paid by a lack of expressivity that can be really a problem
     for complex systems
 On the contrary, SysML offers nine different types of
  diagrams and is then much richer!
   • SysML is just a modeling language, not a method

 A systematic translation from SADT models to SysML models
  can be envisaged, even if some theoretical points are still
  debatable
   • Main issue: are SADT functions mostly structural (SysML blocks) or
     mostly behavioral (SysML activities and actions) or both?!
   • Work in progress with Obeo Designer

                                                                               12

Más contenido relacionado

Destacado

Prfc rhapsody simulation_1.0
Prfc rhapsody simulation_1.0Prfc rhapsody simulation_1.0
Prfc rhapsody simulation_1.0Pascal Roques
 
SysML adoption in France
SysML adoption in FranceSysML adoption in France
SysML adoption in FrancePascal Roques
 
SysML (Valtech Days 2008)
SysML (Valtech Days 2008)SysML (Valtech Days 2008)
SysML (Valtech Days 2008)Pascal Roques
 
SysCon 2013 SysML & Requirements
SysCon 2013 SysML & RequirementsSysCon 2013 SysML & Requirements
SysCon 2013 SysML & RequirementsPascal Roques
 
Migrer vers le cloud grace au Model-Driven
Migrer vers le cloud grace au Model-DrivenMigrer vers le cloud grace au Model-Driven
Migrer vers le cloud grace au Model-DrivenPascal Roques
 
Modélisation métier (2004)
Modélisation métier (2004)Modélisation métier (2004)
Modélisation métier (2004)Pascal Roques
 
Design Patterns (2003)
Design Patterns (2003)Design Patterns (2003)
Design Patterns (2003)Pascal Roques
 
Seminaire Borland UML (2003)
Seminaire Borland UML (2003)Seminaire Borland UML (2003)
Seminaire Borland UML (2003)Pascal Roques
 
Xp Day2009 Modelisation Agile
Xp Day2009 Modelisation AgileXp Day2009 Modelisation Agile
Xp Day2009 Modelisation AgilePascal Roques
 
Uml 2 pratique de la modélisation
Uml 2  pratique de la modélisationUml 2  pratique de la modélisation
Uml 2 pratique de la modélisationNassim Amine
 

Destacado (11)

Prfc rhapsody simulation_1.0
Prfc rhapsody simulation_1.0Prfc rhapsody simulation_1.0
Prfc rhapsody simulation_1.0
 
SysML adoption in France
SysML adoption in FranceSysML adoption in France
SysML adoption in France
 
SysML (Valtech Days 2008)
SysML (Valtech Days 2008)SysML (Valtech Days 2008)
SysML (Valtech Days 2008)
 
SysCon 2013 SysML & Requirements
SysCon 2013 SysML & RequirementsSysCon 2013 SysML & Requirements
SysCon 2013 SysML & Requirements
 
Migrer vers le cloud grace au Model-Driven
Migrer vers le cloud grace au Model-DrivenMigrer vers le cloud grace au Model-Driven
Migrer vers le cloud grace au Model-Driven
 
Modélisation métier (2004)
Modélisation métier (2004)Modélisation métier (2004)
Modélisation métier (2004)
 
Uml2
Uml2Uml2
Uml2
 
Design Patterns (2003)
Design Patterns (2003)Design Patterns (2003)
Design Patterns (2003)
 
Seminaire Borland UML (2003)
Seminaire Borland UML (2003)Seminaire Borland UML (2003)
Seminaire Borland UML (2003)
 
Xp Day2009 Modelisation Agile
Xp Day2009 Modelisation AgileXp Day2009 Modelisation Agile
Xp Day2009 Modelisation Agile
 
Uml 2 pratique de la modélisation
Uml 2  pratique de la modélisationUml 2  pratique de la modélisation
Uml 2 pratique de la modélisation
 

Similar a From SADT to SysML

SysML Tutorial
SysML TutorialSysML Tutorial
SysML TutorialTonex
 
Requirements Engineering
Requirements EngineeringRequirements Engineering
Requirements EngineeringSabbir Ahmmed
 
Automate document generation from sys ml models with rational rhapsody report...
Automate document generation from sys ml models with rational rhapsody report...Automate document generation from sys ml models with rational rhapsody report...
Automate document generation from sys ml models with rational rhapsody report...Bill Duncan
 
Automate document generation from SysML models with Rational Rhapsody Reporte...
Automate document generation from SysML models with Rational Rhapsody Reporte...Automate document generation from SysML models with Rational Rhapsody Reporte...
Automate document generation from SysML models with Rational Rhapsody Reporte...Bill Duncan
 
09 basics operating and monitoring v1.00_en
09 basics operating and monitoring v1.00_en09 basics operating and monitoring v1.00_en
09 basics operating and monitoring v1.00_enconfidencial
 
A tlm based platform to specify and verify component-based real-time systems
A tlm based platform to specify and verify component-based real-time systemsA tlm based platform to specify and verify component-based real-time systems
A tlm based platform to specify and verify component-based real-time systemsijseajournal
 
Object oriented modelling
Object oriented modellingObject oriented modelling
Object oriented modellingsujithmv1
 
4 ijaems dec-2015-10-realization of astrosat model with fused deposition mode...
4 ijaems dec-2015-10-realization of astrosat model with fused deposition mode...4 ijaems dec-2015-10-realization of astrosat model with fused deposition mode...
4 ijaems dec-2015-10-realization of astrosat model with fused deposition mode...INFOGAIN PUBLICATION
 
Model-Based Systems Engineering Demystified
Model-Based Systems Engineering DemystifiedModel-Based Systems Engineering Demystified
Model-Based Systems Engineering DemystifiedElizabeth Steiner
 
System on Chip Design and Modelling Dr. David J Greaves
System on Chip Design and Modelling   Dr. David J GreavesSystem on Chip Design and Modelling   Dr. David J Greaves
System on Chip Design and Modelling Dr. David J GreavesSatya Harish
 
MATLAB Simulation for Master Thesis
MATLAB Simulation for Master ThesisMATLAB Simulation for Master Thesis
MATLAB Simulation for Master ThesisPhdtopiccom
 
How to build tabular dashboards using proc report
How to build tabular dashboards using proc reportHow to build tabular dashboards using proc report
How to build tabular dashboards using proc reportFrank Bereznay
 
Summer training in matlab
Summer training in matlabSummer training in matlab
Summer training in matlabArshit Rai
 

Similar a From SADT to SysML (20)

SysML Tutorial
SysML TutorialSysML Tutorial
SysML Tutorial
 
SAS Paper
SAS PaperSAS Paper
SAS Paper
 
MDA with Executable UML
MDA with Executable UMLMDA with Executable UML
MDA with Executable UML
 
74289607 solids-surpac
74289607 solids-surpac74289607 solids-surpac
74289607 solids-surpac
 
Requirements Engineering
Requirements EngineeringRequirements Engineering
Requirements Engineering
 
Automate document generation from sys ml models with rational rhapsody report...
Automate document generation from sys ml models with rational rhapsody report...Automate document generation from sys ml models with rational rhapsody report...
Automate document generation from sys ml models with rational rhapsody report...
 
Automate document generation from SysML models with Rational Rhapsody Reporte...
Automate document generation from SysML models with Rational Rhapsody Reporte...Automate document generation from SysML models with Rational Rhapsody Reporte...
Automate document generation from SysML models with Rational Rhapsody Reporte...
 
09 basics operating and monitoring v1.00_en
09 basics operating and monitoring v1.00_en09 basics operating and monitoring v1.00_en
09 basics operating and monitoring v1.00_en
 
SE UML.ppt
SE UML.pptSE UML.ppt
SE UML.ppt
 
A tlm based platform to specify and verify component-based real-time systems
A tlm based platform to specify and verify component-based real-time systemsA tlm based platform to specify and verify component-based real-time systems
A tlm based platform to specify and verify component-based real-time systems
 
Unified Modeling Language
Unified Modeling LanguageUnified Modeling Language
Unified Modeling Language
 
Object oriented modelling
Object oriented modellingObject oriented modelling
Object oriented modelling
 
X Usax Pdf
X Usax PdfX Usax Pdf
X Usax Pdf
 
4 ijaems dec-2015-10-realization of astrosat model with fused deposition mode...
4 ijaems dec-2015-10-realization of astrosat model with fused deposition mode...4 ijaems dec-2015-10-realization of astrosat model with fused deposition mode...
4 ijaems dec-2015-10-realization of astrosat model with fused deposition mode...
 
Matlab lecture
Matlab lectureMatlab lecture
Matlab lecture
 
Model-Based Systems Engineering Demystified
Model-Based Systems Engineering DemystifiedModel-Based Systems Engineering Demystified
Model-Based Systems Engineering Demystified
 
System on Chip Design and Modelling Dr. David J Greaves
System on Chip Design and Modelling   Dr. David J GreavesSystem on Chip Design and Modelling   Dr. David J Greaves
System on Chip Design and Modelling Dr. David J Greaves
 
MATLAB Simulation for Master Thesis
MATLAB Simulation for Master ThesisMATLAB Simulation for Master Thesis
MATLAB Simulation for Master Thesis
 
How to build tabular dashboards using proc report
How to build tabular dashboards using proc reportHow to build tabular dashboards using proc report
How to build tabular dashboards using proc report
 
Summer training in matlab
Summer training in matlabSummer training in matlab
Summer training in matlab
 

Último

Story boards and shot lists for my a level piece
Story boards and shot lists for my a level pieceStory boards and shot lists for my a level piece
Story boards and shot lists for my a level piececharlottematthew16
 
Take control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test SuiteTake control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test SuiteDianaGray10
 
How to write a Business Continuity Plan
How to write a Business Continuity PlanHow to write a Business Continuity Plan
How to write a Business Continuity PlanDatabarracks
 
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptx
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptxMerck Moving Beyond Passwords: FIDO Paris Seminar.pptx
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptxLoriGlavin3
 
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024BookNet Canada
 
Developer Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQLDeveloper Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQLScyllaDB
 
Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!Manik S Magar
 
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024BookNet Canada
 
Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost
Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage CostLeverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost
Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage CostZilliz
 
H2O.ai CEO/Founder: Sri Ambati Keynote at Wells Fargo Day
H2O.ai CEO/Founder: Sri Ambati Keynote at Wells Fargo DayH2O.ai CEO/Founder: Sri Ambati Keynote at Wells Fargo Day
H2O.ai CEO/Founder: Sri Ambati Keynote at Wells Fargo DaySri Ambati
 
Nell’iperspazio con Rocket: il Framework Web di Rust!
Nell’iperspazio con Rocket: il Framework Web di Rust!Nell’iperspazio con Rocket: il Framework Web di Rust!
Nell’iperspazio con Rocket: il Framework Web di Rust!Commit University
 
Ensuring Technical Readiness For Copilot in Microsoft 365
Ensuring Technical Readiness For Copilot in Microsoft 365Ensuring Technical Readiness For Copilot in Microsoft 365
Ensuring Technical Readiness For Copilot in Microsoft 3652toLead Limited
 
"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr BaganFwdays
 
Hyperautomation and AI/ML: A Strategy for Digital Transformation Success.pdf
Hyperautomation and AI/ML: A Strategy for Digital Transformation Success.pdfHyperautomation and AI/ML: A Strategy for Digital Transformation Success.pdf
Hyperautomation and AI/ML: A Strategy for Digital Transformation Success.pdfPrecisely
 
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)Mark Simos
 
Commit 2024 - Secret Management made easy
Commit 2024 - Secret Management made easyCommit 2024 - Secret Management made easy
Commit 2024 - Secret Management made easyAlfredo García Lavilla
 
Dev Dives: Streamline document processing with UiPath Studio Web
Dev Dives: Streamline document processing with UiPath Studio WebDev Dives: Streamline document processing with UiPath Studio Web
Dev Dives: Streamline document processing with UiPath Studio WebUiPathCommunity
 
How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.Curtis Poe
 
From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .Alan Dix
 
Unleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubUnleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubKalema Edgar
 

Último (20)

Story boards and shot lists for my a level piece
Story boards and shot lists for my a level pieceStory boards and shot lists for my a level piece
Story boards and shot lists for my a level piece
 
Take control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test SuiteTake control of your SAP testing with UiPath Test Suite
Take control of your SAP testing with UiPath Test Suite
 
How to write a Business Continuity Plan
How to write a Business Continuity PlanHow to write a Business Continuity Plan
How to write a Business Continuity Plan
 
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptx
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptxMerck Moving Beyond Passwords: FIDO Paris Seminar.pptx
Merck Moving Beyond Passwords: FIDO Paris Seminar.pptx
 
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
Transcript: New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
 
Developer Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQLDeveloper Data Modeling Mistakes: From Postgres to NoSQL
Developer Data Modeling Mistakes: From Postgres to NoSQL
 
Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!Anypoint Exchange: It’s Not Just a Repo!
Anypoint Exchange: It’s Not Just a Repo!
 
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024
 
Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost
Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage CostLeverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost
Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost
 
H2O.ai CEO/Founder: Sri Ambati Keynote at Wells Fargo Day
H2O.ai CEO/Founder: Sri Ambati Keynote at Wells Fargo DayH2O.ai CEO/Founder: Sri Ambati Keynote at Wells Fargo Day
H2O.ai CEO/Founder: Sri Ambati Keynote at Wells Fargo Day
 
Nell’iperspazio con Rocket: il Framework Web di Rust!
Nell’iperspazio con Rocket: il Framework Web di Rust!Nell’iperspazio con Rocket: il Framework Web di Rust!
Nell’iperspazio con Rocket: il Framework Web di Rust!
 
Ensuring Technical Readiness For Copilot in Microsoft 365
Ensuring Technical Readiness For Copilot in Microsoft 365Ensuring Technical Readiness For Copilot in Microsoft 365
Ensuring Technical Readiness For Copilot in Microsoft 365
 
"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan"ML in Production",Oleksandr Bagan
"ML in Production",Oleksandr Bagan
 
Hyperautomation and AI/ML: A Strategy for Digital Transformation Success.pdf
Hyperautomation and AI/ML: A Strategy for Digital Transformation Success.pdfHyperautomation and AI/ML: A Strategy for Digital Transformation Success.pdf
Hyperautomation and AI/ML: A Strategy for Digital Transformation Success.pdf
 
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)
 
Commit 2024 - Secret Management made easy
Commit 2024 - Secret Management made easyCommit 2024 - Secret Management made easy
Commit 2024 - Secret Management made easy
 
Dev Dives: Streamline document processing with UiPath Studio Web
Dev Dives: Streamline document processing with UiPath Studio WebDev Dives: Streamline document processing with UiPath Studio Web
Dev Dives: Streamline document processing with UiPath Studio Web
 
How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.How AI, OpenAI, and ChatGPT impact business and software.
How AI, OpenAI, and ChatGPT impact business and software.
 
From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .From Family Reminiscence to Scholarly Archive .
From Family Reminiscence to Scholarly Archive .
 
Unleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding ClubUnleash Your Potential - Namagunga Girls Coding Club
Unleash Your Potential - Namagunga Girls Coding Club
 

From SADT to SysML

  • 1. From SADT to SysML: formulation of an embedding pascal.roques@gmail.com ICSSEA , 07/12/2010
  • 2. Speaker: Pascal Roques  Senior Consultant, >20 years modeling experience • SADT, • OMT, UML, SysML  Co-founder and chairman of  Author of several best-seller UML books in French  … and of the first French SysML book 2
  • 3. The past: SADT and ASA™ (1/2)  SADT: Structured Analysis and Design Technique • Diagrammatic notation designed specifically to help people describe and understand systems • Boxes and arrows with informal semantics • Top-down functional breakdown • Received extensive use starting in 1973 by the US Air Force Integrated Computer Aided Manufacturing program • In 1981, IDEF0 formalism was published, based on SADT 3
  • 4. The past: SADT and ASA™ (2/2)  ASA™: Automata and Structured Analysis (Verilog) • Enhanced SADT with dynamics description by means of Finite State Machines  Formalization of communication arrows  Dynamic description of the leaf functions in terms of states, events, actions and conditions (LSA language) • Provided tools, not only for edition and documentation generation, but also simulation and even test generation  applied intensively on industrial projects, mainly in: aeronautics, ground transport and space 4
  • 5. The present: SysML™ (OMG)  General-purpose graphical modeling language for specifying, analyzing, designing, and verifying complex systems that may include hardware, software, information, personnel, procedures, and facilities 5
  • 6. Possible SADT/SysML mappings (1/3)  SADT: A-0 Context Diagram • Describes the environment of the system seen as a black box  SysML Internal Block Diagram 6
  • 7. SysML Complementary Diagrams (1/2)  SysML Block Definition Diagram  SysML Use Case Diagram  SysML Sequence Diagram 7
  • 8. Possible SADT/SysML mappings (2/3)  SADT: A0 Diagram • Shows the first breakdown level of the system into functions  SysML Internal Block Diagram 8
  • 9. Possible SADT/SysML mappings (3/3)  SADT: A0 Diagram  SysML Activity Diagram 9
  • 10. SysML Complementary Diagrams (2/2)  SysML Block Definition Diagram  SysML Sequence Diagram  SysML State Machine Diagram 10
  • 11. Summary: SADT/SysML SADT SysML 11
  • 12. Conclusion  SADT provides only two different types of diagrams, enabling simple communication • But this is paid by a lack of expressivity that can be really a problem for complex systems  On the contrary, SysML offers nine different types of diagrams and is then much richer! • SysML is just a modeling language, not a method  A systematic translation from SADT models to SysML models can be envisaged, even if some theoretical points are still debatable • Main issue: are SADT functions mostly structural (SysML blocks) or mostly behavioral (SysML activities and actions) or both?! • Work in progress with Obeo Designer 12