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