De SADT à SysML
Transcription
De SADT à SysML
De SADT à SysML Pascal Roques [email protected] 06/12/2010 Présentations : Pascal Roques Consultant senior (A2 Artal Innovation) 20+ ans d’expérience en modélisation • SADT, • OMT, UML, SysML Co-fondateur de l’association Auteur des ouvrages les plus lus en France sur UML … et du premier livre sur SysML 2 Le passé : SADT et ASA™ (1/2) SADT : Structured Analysis and Design Technique • Notation graphique spécialement conçue pour aider les gens à décrire et comprendre des systèmes complexes • Boites et flèches avec une sémantique informelle • Décomposition fonctionnelle hiérarchique descendante • Utilisation intensive à partir de 1973 suite au programme Integrated Computer Aided Manufacturing de l’US Air Force • En 1981, publication du formalisme IDEF0, basé sur SADT 3 Le passé : SADT et ASA™ (2/2) ASA™: Automata and Structured Analysis (Verilog) • Compléter SADT avec une description dynamique par machines à états Formalisation des flots de communication Description dynamiques des fonctions feuilles (états, événements, actions et conditions (LSA language) • Fournir des outils, pas seulement pour l’édition et la génération de documentation, mais aussi pour la simulation et la génération de tests Projets industriels: aéronautique, énergie, transport et spatial 4 Le présent : 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 Essais de mapping SADT/SysML (1/3) SADT: A-0 (Diagramme de contexte) • Décrit l’environnement du système vu comme une boite noire SysML Internal Block Diagram 6 Diagrammes SysML complémentaires (1/2) SysML Block Definition Diagram SysML Use Case Diagram SysML Sequence Diagram 7 Essais de mapping SADT/SysML (2/3) SADT : Diagramme A0 • Montre le premier niveau de décomposition du système en fonctions SysML Internal Block Diagram 8 Essais de mapping SADT/SysML (3/3) SADT : Diagramme A0 SysML Activity Diagram 9 Diagrammes SysML complémentaires (2/2) SysML Block Definition Diagram SysML Sequence Diagram SysML State Machine Diagram 10 Résumé : SADT/SysML SADT SysML 11 Outillage (1/3) Travaux de R&D en cours chez A2 Artal Innovation : • Réalisation d’un éditeur SADT avec Obeo Designer Définition d’un méta-modèle SADT Paramétrage de l’éditeur correspondant • Écriture de règles de transformation en ATL Source : méta-modèle SADT Cible : méta-modèle SysML de TopCased 12 Outillage (2/3) Éditeur SADT (avec Obeo Designer) 13 Outillage (2/3) Écriture de règles de transformation en ATL 14 Conclusion SADT fournit seulement deux types de diagrammes, permettant une communication simple • Mais cela se paie par un manque d’expressivité critique pour les systèmes complexes Au contraire, SysML propose neuf types différents de diagrammes et est donc bien plus riche ! • SysML n’est qu’un langage de modélisation, pas une méthode Une traduction systématique de SADT vers SysML est tout à fait envisageable, même si certains points théoriques sont encore à débattre • Question principale : Les fonctions SADT sont-elles fondamentalement structurelles (blocs SysML) ou comportementales (activités et actions SysML) ? Ou les deux ?! 15