Die Systems Modeling Language (SysML) stellt eine grafische Sprache zur Beschreibung von komplexen Systemen im Bereich Systems Engineering zur Verfügung. Diese Notation ist neben der UML eine weitere Grundlage für Innovator for Software Architects. Innovator for Business Analysts nutzt aus diesem Standard die Notationselemente für Anforderungsdiagramme.
Die Object Management Group (OMG) stellt mit der Sytems Modeling Language (SysML) eine auf der Unified Modeling Language (UML) basierende Sprache zur Beschreibung von komplexen Systemen im Bereich Systems Engineering zur Verfügung. Sprach- und informationstheoretisch besitzen die zumeist verwendeten UML-Elemente keine feste Darstellung. Innovator for Software Architects nutzt die etablierten grafischen Notationselemente, die auch in der Spezifikation der OMG verwendet werden.
Die SysML legt nicht fest, welche Notationselemente in welchem Diagrammtyp verwendet werden dürfen. Allerdings gibt es eine Zuordnung, die sich aus dem sinnvollsten und wahrscheinlichsten Einsatz der Notationselemente ableiten lässt. Diese Zuordnung ist auch Grundlage der ausgelieferten Standardprofile.
UML-Grundelemente besitzen allgemeinen Charakter und können grundsätzlich auch in allen SysML-Diagrammen verwendet werden.
-
Modell
Modelle beschreiben einen unter einem bestimmten Gesichtspunkt relevanten Teil eines Systems in der dazu erforderlichen Detaillierung.
-
Paket
Pakete strukturieren einen unter einem bestimmten Gesichtspunkt relevanten Teil eines Systems.
-
Classifier
Classifier sind ein zentrales Element der UML. Ein Classifier ist eine abstrakte Metaklasse, die die gemeinsamen Eigenschaften von Modellelementen der UML umfasst, die Anwender der UML häufig einsetzen. So sind z.B. die Modellelemente Klasse, Schnittstelle, Komponente, Verhalten, Aktivität, Interaktion oder Zustandsautomat Spezialisierungen des Classifiers.
-
Kommentar
Kommentare erläutern Elemente eines Modells.
-
Ausdruck
Ein Ausdruck ist eine durch Symbole und optionale Operanden gebildete Struktur oder ein sprachabhängiger textueller Ausdruck zur Spezifikation von Werten.
-
Randbedingung
Eine Randbedingung ist ein Boolescher Ausdruck, der in natürlicher oder maschinenlesbarer Sprache eine Bedingung oder Einschränkung zum Präzisieren der Semantik von Modellelementen formuliert.
-
Datentyp, Primitiver Typ, Aufzählungstyp, Literal
Datentypen grenzen Wertebereiche für Modellelemente ein.
-
Schlüsselwörter
Schlüsselwörter sind Bezeichner, die als textueller Bestandteil der grafischen Notation für die Grafikbeschreibung der UML reserviert sind.
Für die Modellierung von komplexen Systemen verwenden Sie vor allem folgende Diagrammtypen1.
