System Architecture (SysML) Validation Extension

This add-in to Enterprise Architect (version 15 or later) provides an extensive rule-based validation of the quality and consistency of the SysML models created. The default rule set can be customized by the end User.

The validation rules supported include:
    • Activity related rules:
      • Verify that Activity Partitions have a Classifier defined.
      • Verify Call Behavior Actions have a Classifier defined.
      • Verify Call Operation Actions have a Classifier defined.
      • Verify Send Signal Actions have a Signal Classifier defined.
      • Verify Action Pins have a Classifier defined.
      • Verify Activity Parameters have a Classifier defined.
      • Verify every Action is a child of a Partition.
      • Verify Accept Event Actions have a Trigger defined.
      • Verify Call Behavior Actions Pins are compatible with the properties of the corresponding Activity Parameters.
      • Validate connected Action Pins have compatible Classifiers.
      • Validate only Object Flow connects Action Pins together.
      • Validate only Control Flow connects Actions (as input or output).
      • For each source element of a pair of Actions connected via Control Flow (or Object Flow), and where the Actions are allocated to different Blocks via Activity Partition containment, verify that its allocated Block has a Part property, the type of which corresponds to the Block typing the Partition containing the target Action.
    • Block Definition diagram (BDD) related rules:
      • Verify for each (navigable) connector end that role name and multiplicity are set.
      • Verify Parts (of a Block) have a Classifier defined.
      • Verify Ports (of a Block) have a Classifier defined.
      • Verify Full Ports (of a Block) are classified by a Block (not an InterfaceBlock).
    • Feature (Attributes/Operations) related rules:
      • Report Attributes of Signal elements with unresolved Classifiers.
      • Report unclassified Operations (i.e. with an unresolved return type).
      • Report Operations with unresolved parameter Classifiers.
    • General (non-SysML specific) related rules:
      • Locate relationships in which either the source or the target element is missing from the repository.
      • Report orphan elements (i.e. not in any diagram or referenced in other ways).
    • Internal Block diagram (IBD) related rules:
      • Validate connected Ports have compatible Classifiers (taking into account Flow Properties and Directed Features).
    • Requirement related rules:
      • Verify Requirements are satisfied/realized using a connector type that is SysML compliant.
      • Verify Requirements are verified/tested using a connector type that is SysML compliant.
    • Sequence diagram related rules:
      • Report Sequence messages with no associated Operation.
      • Report Sequence messages with an unresolved Operation reference (e.g. the Operation has been deleted from the model).
      • Verify Sequence elements (Lifelines) have a Classifier defined.
    • Use Case diagram related rules:
      • Verify Use Case to Use Case connector types are SysML compliant.
      • Verify Use Case to Use Case connector stereotypes are SysML compliant.
      • Verify Actor to Use Case connector types are SysML compliant.
      • Report Actor elements with no description/notes.
      • Report Use Case elements with no description/notes.
      • Report duplicate Actor elements.
      • Report Use Cases with no SysML compliant relationship to one or more Requirements.
The validation is performed for a selected package hierarchy. Individual rules can be disabled by default, or disabled on a per session basis.
Rule violations are reported in a dedicated tab of the System Output window, with active hyperlinks to the offending element, connector, property or diagram.

For further details of how the extension operates, please see the End User Documentation.

To integrate your own custom rules into the extension, please contact us!

Related Extensions

BPMN Integrity extension

Software Architecture Validation extension

Pricing

QuantityFixed licenseFloating license
1-4USD 100.00USD 130.00
5-19USD 85.00USD 110.00
20+USD 75.00USD 95.00
Download the trial version to test out the extension, or place your order now.

Trial Request

Simply fill out the form below and we will email you the password providing access to the download page of the trial version. Also make sure that the End User License Agreement is in accord with your company's legal standards!
Please view our Privacy Policy page if you have concerns about filling out this form!

    * Your Name

    * Company Name

    * Phone Number

    * Your Email

    * Email Subject

    * Request Details

    Note: an error message in an orange box indicates Google flagged your request as spam...