bdd [package] Contexte uc
bdd
Diagramme de Contexte
Diagramme de Définition de Blocs
OMG Systems Modeling Language (OMG SysML™) 1.3 (http://www.omgsysml.org) MBSE Blog: http://www.model-based-systems-engineering.com
Carte de Référence v1.0, page 1/4
© 2013 by oose GmbH, www.oose.de http://sysml-france.fr
Utilisateur
«block»
Contexte
Diagramme des Cas d'Utilisation
Cas d'Utilisation Extension Point
optionnel
«include»
Cas d'Utilisation spécialisé
Utilisateur
Ports
ValeurLitérale1 ValeurLitérale2
«enumeration»
TypeEnumération
«valueType»
unit=aUnit properties nom:Type
operations nom(param:Type):Type
«valueType»
Type
«block»
Bloc 1
«block»
Bloc 2 Association
Navigable
«block»
Tout «block»
Partie Agrégation
«block»
Bloc 1 «block»
Bloc 2
«block»
Tout
«block»
Composant Composition
«block»
Bloc Dépendant
«block»
Bloc Indépendant Dépendance
«block»
Bloc Spécialisé
«block»
Bloc Général Généralisation/Spécialisation
«block»
Bloc Abstrait {abstract}
0..1 rôle2 0..*
rôle1 Item Flow
namespace
«block»
Bloc
«block»
Bloc 1 «block»
Bloc 2 structure
«block»
Bloc
t1:Part 1 t2:Part 2
c:Association nom:SystemBlock [Multiplizität]
constraints {val1 > 0}
parts p1:Bloc
references r1:Bloc
operations op1(param1:Type, param2:Type):Type
values val1:Type
«uniform» {mean=2, stdDeviation=0.1} val2:Type
«block»
{encapsulated}
Bloc DIstribution
des valeurs
«quantityKind»
Longueur
«unit»
quantityKind=Longueur
«unit»
Mètre 1..*
rôle2 1..*
rôle1
Association simple 1..*
rôle4 1..*
rôle3
«block»
Bloc Association
Sous-Cas d'Utilisation
«block»
System Block
nom3:Type
nom5:Type Ports avec Flow properties Conjugated Port
«full» nom1:Type
nom4:Type
nom6:Type Full Port
nom2:~Type
nom8:Type nomA:Type
nomB:Type
«proxy» nom9:Type Proxy Port
Nested Port
properties prov nom:Type
operations prov op1(params):Type reqd op1(params):Type flow properties in p1:Type
out p2:Type inout p3:Type
«block»
Bloc
opération(params):Type
«interfaceBlock»
Bloc
Interfaces fournies et requises nom7:Type
Cas d'Utilisation optionnel
«extend»
«block»
Système Etudié
«block»
Systèmes Secondaires
«block»
Environnement
*
*
*
ibd [block] Bloc
rôle4:Type
Diagramme de Bloc Interne
Exigences
«view»
{viewpoint=nom}
Vue
«viewpoint»
stakeholder="Qui est intéressé par cette vue ?"
concerns="Quelles exigences satisfont la vue ?"
purpose="Quels objectifs/buts sont poursuivis par la vue ?"
methods="Quelles méthodes/process sont à l’origine de la vue ?"
languages="Quels langages constitutent la vue ?"
«viewpoint»
PointDeVue
«conform»
Vues et points de vues
Paquetetage
Souspaquetage
Souspaquetage
Paquetages
Souspaquetage
«block»
Bloc
rôle1:Type rôle2:Type
nom:Type Item Flow
connector:Association rôle3:Type [2] 2
port
Reference
rôleA:Type rôleB:Type
Nested Connector
«requirement»
id="4712"
text="The System..."
«requirement»
Exigence X
«requirement»
Exigence
«requirement»
Exigence X
«requirement»
Exigence X
«requirement»
Sub-Exigence
Exigence nécessaire
«deriveReqt» «requirement»
Exigence Y
«requirement»
Exigence Y Lien de traçabilité
«trace»
«requirement»
Exigence X Use Case
Exigence détaillée
«refine»
«requirement»
Exigence X
«block»
Satisfait à l’exigence Bloc
«satisfy»
«requirement»
Exigence X
«testCase»
TestCase Vérifie l’exigence
«verify»
table Table des Exigences
ID nom Texte
4711 Exigence X ... ...
Le système doit ...
...
«requirement»
id="4711"
text="The System..."
«requirement»
Exigence Y Est une copie de
«copy»
Master
«requirement» Exigence X
Derived
«requirement» Exigence X
TracedTo
«requirement» Exigence X
Refines
«requirement» Exigence X
Satisfies
«requirement» Exigence X
Verifies
«requirement» Exigence X
DerivedFrom
«requirement» Exigence Y TracedFrom
«requirement» Exigence Y RefinedBy
«usecase» Cas d’Utilisation
SatisfiedBy
«block» BlocSystème
VerifiedBy
«testcase» CasDeTest
Multiplicity p:TypePort
ibd [block] Bloc Association
«participant»
{end=rôle}
LienIn1:Type
«participant»
{end=rôle}
LienIn2:Type
rôle:Type
ibd [block] Bloc
:values val1:Type=42 rôle1
initialValues val1=42 t="text"
rôle2:[Type]
Unidirectional Connector Participant property
Property-specific type
OMG Systems Modeling Language (OMG SysML™) 1.3 (http://www.omgsysml.org) MBSE Blog: http://www.model-based-systems-engineering.com
Carte de Référence v1.0, page 2/4
© 2013 by oose GmbH, www.oose.de http://sysml-france.fr
port
p:~TypePort
Type
sd SeqABC
[a<b]
[else]
alt
bdd Arbre d’activités act
sd
Diagramme de Séquence
Diagramme d’Activité
rôle1:Type rôle2:Type
ref SeqABC
Message synchrone Message asynchrone
réponse message à soi-même
rôle3:Type Destruction d’une instance
Création d’une instance
rôle1:Type rôle2:Type
sd SeqXYZ
rôle1:Type
message
rôle2:Type
Action ObjetA
ObjetB
Nœud de fin de flot [else]
Action [x > 0]
Evénement Temporel
«optional»
«controlOperator»
Action
{control}
Accept Event
«continuous activity»
Etape continue
«discrete»
{taux=1/minute}
{stream} Action
Action Evénement temporel
Nœud final
Réception d’événement
«continuous»
«overwrite»
«nobuffer»
Nœud Paramètre d’activité
Nom d’action : NomDeComportement
Objet [Etat]
[sinon]
{probabilité=0.75}
Action
{probabilité=0.25}
[y < 0]
nom:Type Action
Partition
Nœud Paramètre d’activité Nœud
Paramètre d’activité Emission de
Signal
«essential activity»
Etape
SYSMOD
Nœud initial
Région Interruptible
«activity»
Activité
«activity»
Activité
«block»
Bloc
nom de l'Action nom de
l'Objet
«localPrecondition»
Condition
«localPostcondition»
Condition
nom:Type [Etat]
Commentaires & Contraintes
Commentaire
«rationale»
Raison de modélisation (justification)
«problem»
Description d’un problème {x > y}
Contrainte Spécification
d’exécution
Broche
Réutilisation (référencement) du diagramme de séquence SeqXYZ dans un autre diagramme de séquence.
ref SeqABC
ref SeqXYZ
Fragments (alternatives)
Object Décomposition
de Ligne de Vie
OMG Systems Modeling Language (OMG SysML™) 1.3 (http://www.omgsysml.org) MBSE Blog: http://www.model-based-systems-engineering.com
Carte de Référence v1.0, page 3/4
© 2013 by oose GmbH, www.oose.de
http://sysml-france.fr
act
par [package] Paquetage stm NomMachine
Machines à Etats
Etat1 entry/action
do/action exit/action
événement[condition]/action Etat2 événement[condition]/action
Point d’entrée Etat initial
at(durée) after(durée)/action
Etat Composite
Point d’entrée
H
[x>0]
Etat final
stm1:Machine
Etats Orthogonaux (parallèles)
Etat3
Etat4 Etat5
[x<-5]
[sinon]
Emission de Signal événement[condition]
Terminaison
Réception de Signal
Comportement
Etat6
Allocations
«block»
Bloc Logique
allocatedFrom
«action» Action 1
«block»
Bloc Physique 1
«allocate»
«allocate»
Bloc Physique 1
Action 1
«allocate»
Bloc Physique 2
Action 2
Partitionnement des allocations
Action
allocatedTo
«TypeElément» nom d'élément Objet
NomActivité allocatedTo
«TypeElément» nom d'élément Objet
Action Objet allocatedTo
«connector» Connecteur parameters
x:Real y:Real
constraints {x > y}
z1:BlocDeContrainte
«constraint»
Bloc de Contrainte
b:BlocDeContrainte
valeurA PartB.valeurC
x: y:
Diagramme Paramétrique
Historique
Point de sortie
Point de sortie Junction
