Software Disclaimer

Stereotype SysML::Verify

Description:

Direct Superclasses: Trace

Extended Metaclasses: Abstraction

Direct Subclasses:

Properties:

base_Abstraction : Abstraction (1 1); -- source Trace



Constraints:

No additional constraints.

Operations:

No additional operations.



Send questions or comments to xmi-interop@omg.org.