This extension to Enterprise Architect (version 16 or later) provides an extensive rule-based validation of the quality and consistency of the MBSE/SysML models created.
The default rule set can be customized by the end User.
The validation rules target the following SysML diagram, element , and connector types:
- Activity:
- Activity Partition, Activity Parameter, Actions, Action Pin, Decision, Merge, Fork and Join
- Control Flow, Object Flow, Interrupt Flow
- Block Definition diagram (BDD):
- Reference and Part Association
- Block, InterfaceBlock
- Proxy and Full Port
- Signal Attributes
- Features (Attribute/Operation/Reception)
- Internal Block diagram (IBD):
- Part-to-Part and Port-to-Port connections
- Requirement:
- Relationships with other model elements
- Sequence:
- Message
- Lifeline
- State Machine:
- Transition with a Trigger of type Signal
- Do/Entry/Exit behaviors
- Use Case:
- UseCase and Actor relationships
- UseCase and Actor description/notes
- Duplicate Actors
- UseCase constraints
- UseCase to Requirement traceability
- Activity:
The validation can be performed in three different contexts:
- A selected package hierarchy
- A complete diagram
- Selected elements of a diagram
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 more information on the specific rules, and how the extension operates, please see the End User Documentation.
To integrate your own custom rules into the extension, please contact us!