SlideShare ist ein Scribd-Unternehmen logo
1 von 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

Weitere ähnliche Inhalte

Was ist angesagt?

Using Alf with Cameo Simulation Toolkit - Part 2: Modeling
Using Alf with Cameo Simulation Toolkit - Part 2: ModelingUsing Alf with Cameo Simulation Toolkit - Part 2: Modeling
Using Alf with Cameo Simulation Toolkit - Part 2: ModelingEd Seidewitz
 
Hands On With the Alf Action Language: Making Executable Modeling Even Easier
Hands On With the Alf Action Language: Making Executable Modeling Even EasierHands On With the Alf Action Language: Making Executable Modeling Even Easier
Hands On With the Alf Action Language: Making Executable Modeling Even EasierEd Seidewitz
 
MBSE and Model-Based Testing with Capella
MBSE and Model-Based Testing with CapellaMBSE and Model-Based Testing with Capella
MBSE and Model-Based Testing with CapellaObeo
 
Recent progress on programming methods for industrial robots
Recent progress on programming methods for industrial robotsRecent progress on programming methods for industrial robots
Recent progress on programming methods for industrial robotsDeepak Rotti
 
Programming in UML: An Introduction to fUML and Alf
Programming in UML: An Introduction to fUML and AlfProgramming in UML: An Introduction to fUML and Alf
Programming in UML: An Introduction to fUML and AlfEd Seidewitz
 
DMT-2467 Like the Features in Rational DOORS 9? Come Check Them Out in DOORS...
DMT-2467	Like the Features in Rational DOORS 9? Come Check Them Out in DOORS...DMT-2467	Like the Features in Rational DOORS 9? Come Check Them Out in DOORS...
DMT-2467 Like the Features in Rational DOORS 9? Come Check Them Out in DOORS...IBM Rational software
 
Management of modes and states with Capella
Management of modes and states with CapellaManagement of modes and states with Capella
Management of modes and states with CapellaObeo
 
Introduction to Sensors for Robotics
Introduction to Sensors for RoboticsIntroduction to Sensors for Robotics
Introduction to Sensors for RoboticsDrHemaCR
 
ROBOTICS-Me8099 -unit-1.ppT
ROBOTICS-Me8099 -unit-1.ppTROBOTICS-Me8099 -unit-1.ppT
ROBOTICS-Me8099 -unit-1.ppTdinesh babu
 
Tool changing mechanism in cnc machine
Tool changing mechanism in cnc machineTool changing mechanism in cnc machine
Tool changing mechanism in cnc machineBhaveshChaudhari21
 
Solid modeling
Solid modelingSolid modeling
Solid modelingDhruv Shah
 
Scaled Agile Framework
Scaled Agile FrameworkScaled Agile Framework
Scaled Agile FrameworkKnoldus Inc.
 
Flexible Manufacturing System
Flexible Manufacturing SystemFlexible Manufacturing System
Flexible Manufacturing SystemDesai Vaishali
 

Was ist angesagt? (20)

Using Alf with Cameo Simulation Toolkit - Part 2: Modeling
Using Alf with Cameo Simulation Toolkit - Part 2: ModelingUsing Alf with Cameo Simulation Toolkit - Part 2: Modeling
Using Alf with Cameo Simulation Toolkit - Part 2: Modeling
 
Hands On With the Alf Action Language: Making Executable Modeling Even Easier
Hands On With the Alf Action Language: Making Executable Modeling Even EasierHands On With the Alf Action Language: Making Executable Modeling Even Easier
Hands On With the Alf Action Language: Making Executable Modeling Even Easier
 
MBSE and Model-Based Testing with Capella
MBSE and Model-Based Testing with CapellaMBSE and Model-Based Testing with Capella
MBSE and Model-Based Testing with Capella
 
Nx Unigraphics
Nx Unigraphics Nx Unigraphics
Nx Unigraphics
 
Recent progress on programming methods for industrial robots
Recent progress on programming methods for industrial robotsRecent progress on programming methods for industrial robots
Recent progress on programming methods for industrial robots
 
Programming in UML: An Introduction to fUML and Alf
Programming in UML: An Introduction to fUML and AlfProgramming in UML: An Introduction to fUML and Alf
Programming in UML: An Introduction to fUML and Alf
 
DMT-2467 Like the Features in Rational DOORS 9? Come Check Them Out in DOORS...
DMT-2467	Like the Features in Rational DOORS 9? Come Check Them Out in DOORS...DMT-2467	Like the Features in Rational DOORS 9? Come Check Them Out in DOORS...
DMT-2467 Like the Features in Rational DOORS 9? Come Check Them Out in DOORS...
 
CIM
CIM CIM
CIM
 
Introduction to robotics
Introduction to roboticsIntroduction to robotics
Introduction to robotics
 
Management of modes and states with Capella
Management of modes and states with CapellaManagement of modes and states with Capella
Management of modes and states with Capella
 
Robots
Robots Robots
Robots
 
Robot Configuration - 1
Robot Configuration - 1Robot Configuration - 1
Robot Configuration - 1
 
Industrial robots
Industrial robotsIndustrial robots
Industrial robots
 
Introduction to Sensors for Robotics
Introduction to Sensors for RoboticsIntroduction to Sensors for Robotics
Introduction to Sensors for Robotics
 
Robot kinematics
Robot kinematicsRobot kinematics
Robot kinematics
 
ROBOTICS-Me8099 -unit-1.ppT
ROBOTICS-Me8099 -unit-1.ppTROBOTICS-Me8099 -unit-1.ppT
ROBOTICS-Me8099 -unit-1.ppT
 
Tool changing mechanism in cnc machine
Tool changing mechanism in cnc machineTool changing mechanism in cnc machine
Tool changing mechanism in cnc machine
 
Solid modeling
Solid modelingSolid modeling
Solid modeling
 
Scaled Agile Framework
Scaled Agile FrameworkScaled Agile Framework
Scaled Agile Framework
 
Flexible Manufacturing System
Flexible Manufacturing SystemFlexible Manufacturing System
Flexible Manufacturing System
 

Andere mochten auch

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
 

Andere mochten auch (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
 

Ähnlich wie 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
 

Ähnlich wie 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
 

Kürzlich hochgeladen

HTML Injection Attacks: Impact and Mitigation Strategies
HTML Injection Attacks: Impact and Mitigation StrategiesHTML Injection Attacks: Impact and Mitigation Strategies
HTML Injection Attacks: Impact and Mitigation StrategiesBoston Institute of Analytics
 
Artificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and MythsArtificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and MythsJoaquim Jorge
 
🐬 The future of MySQL is Postgres 🐘
🐬  The future of MySQL is Postgres   🐘🐬  The future of MySQL is Postgres   🐘
🐬 The future of MySQL is Postgres 🐘RTylerCroy
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers:  A Deep Dive into Serverless Spatial Data and FMECloud Frontiers:  A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FMESafe Software
 
Automating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps ScriptAutomating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps Scriptwesley chun
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...Martijn de Jong
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)Gabriella Davis
 
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024The Digital Insurer
 
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MIND CTI
 
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...DianaGray10
 
Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)wesley chun
 
presentation ICT roal in 21st century education
presentation ICT roal in 21st century educationpresentation ICT roal in 21st century education
presentation ICT roal in 21st century educationjfdjdjcjdnsjd
 
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodPolkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodJuan lago vázquez
 
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Drew Madelung
 
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...apidays
 
Top 5 Benefits OF Using Muvi Live Paywall For Live Streams
Top 5 Benefits OF Using Muvi Live Paywall For Live StreamsTop 5 Benefits OF Using Muvi Live Paywall For Live Streams
Top 5 Benefits OF Using Muvi Live Paywall For Live StreamsRoshan Dwivedi
 
Boost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivityBoost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivityPrincipled Technologies
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerThousandEyes
 
Deploy with confidence: VMware Cloud Foundation 5.1 on next gen Dell PowerEdg...
Deploy with confidence: VMware Cloud Foundation 5.1 on next gen Dell PowerEdg...Deploy with confidence: VMware Cloud Foundation 5.1 on next gen Dell PowerEdg...
Deploy with confidence: VMware Cloud Foundation 5.1 on next gen Dell PowerEdg...Principled Technologies
 
Artificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : UncertaintyArtificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : UncertaintyKhushali Kathiriya
 

Kürzlich hochgeladen (20)

HTML Injection Attacks: Impact and Mitigation Strategies
HTML Injection Attacks: Impact and Mitigation StrategiesHTML Injection Attacks: Impact and Mitigation Strategies
HTML Injection Attacks: Impact and Mitigation Strategies
 
Artificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and MythsArtificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and Myths
 
🐬 The future of MySQL is Postgres 🐘
🐬  The future of MySQL is Postgres   🐘🐬  The future of MySQL is Postgres   🐘
🐬 The future of MySQL is Postgres 🐘
 
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers:  A Deep Dive into Serverless Spatial Data and FMECloud Frontiers:  A Deep Dive into Serverless Spatial Data and FME
Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME
 
Automating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps ScriptAutomating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps Script
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...
 
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)
 
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
 
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024
 
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
 
Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)
 
presentation ICT roal in 21st century education
presentation ICT roal in 21st century educationpresentation ICT roal in 21st century education
presentation ICT roal in 21st century education
 
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodPolkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
 
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
 
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
 
Top 5 Benefits OF Using Muvi Live Paywall For Live Streams
Top 5 Benefits OF Using Muvi Live Paywall For Live StreamsTop 5 Benefits OF Using Muvi Live Paywall For Live Streams
Top 5 Benefits OF Using Muvi Live Paywall For Live Streams
 
Boost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivityBoost PC performance: How more available memory can improve productivity
Boost PC performance: How more available memory can improve productivity
 
How to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected WorkerHow to Troubleshoot Apps for the Modern Connected Worker
How to Troubleshoot Apps for the Modern Connected Worker
 
Deploy with confidence: VMware Cloud Foundation 5.1 on next gen Dell PowerEdg...
Deploy with confidence: VMware Cloud Foundation 5.1 on next gen Dell PowerEdg...Deploy with confidence: VMware Cloud Foundation 5.1 on next gen Dell PowerEdg...
Deploy with confidence: VMware Cloud Foundation 5.1 on next gen Dell PowerEdg...
 
Artificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : UncertaintyArtificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : Uncertainty
 

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