Special Cases

The following is a list of special cases:

Imported or exported dependency is migrated only if the other processes importing or exporting the dependency exist in the destination model.
A mutually exclusive or parallel dependency is migrated if the input process and at least two of the output processes that participate in the dependency exist in the destination model.
A closure dependency is migrated if the mutually exclusive dependency that is being closed and at least two of the input processes and the output process exist in the destination model.