New: Link assistant to enrich model semantics

[Berlin, 2015-10-06] A new release of the "Interactive Spec" features a particularly user-friendly assistant for creating relations (also called trace-links) between elements of a system specification such as requirements and system modules. Traceability between requirements, system components and test-cases is recommended by SPICE and other standards.

Relations also add semantic value to a system spec. For example, assertions such as "Module-M satisfies Require­ment-A" or "Module-P contains Module-C" are not only visible on a diagram, but are explicitly stored in the model. This allows for browsing, navigating and searching more conveniently - activities heavily used when auditing a spec. In fact, certain consistency checks can be made automatically based on explicit relations between model elements.

Many relations can be automatically inferred from model diagrams, whereas others need to be added manually. The new link assistant helps to create the manual ones. Our approach uses model information to focus on meaningful options only. For example, in a given project a system module may have two relations types "contains" and "satisfies". Assuming the user chooses "contains" for a given module, then only other modules are listed as eligible targets. Instead, if the user chooses "satisfies", only requirements are listed as eligible targets. This seems quite obvious, but only a few tools give such support until today. Does your's?

Equally it is not common, these days, to infer relations automatically from model diagrams. Does this sound interesting to you? Talk to us.

Please click to enlarge

Go back