[PseudoState - WFR1] - Em modelos de atividade, as transições de entrada para (e de saída de) pseudo-estados de junção e bifurcação têm como origens (destinos) qualquer vértice de estado. Isto é, as junções e bifurcações estão sintaticamente não restritas para utilização em combinação com estados compostos, como no caso das máquinas de estado.
[PseudoState - WFR1] - Em modelos de atividade, as transições de entrada para (e de saída de) pseudo-estados de associação e bifurcação têm como origens (destinos) qualquer vértice de estado. Isto é, as associações e bifurcações estão sintaticamente não restritas para utilização em combinação com estados compostos, como no caso das máquinas de estado.
Package - WFR1 - Um pacote somente pode possuir um fazer referência a pacotes, subsistemas, classificadores, associações, ...
Package - WFR2 - Nenhum elemento ao qual é feita referência (exceto associação) pode ter o mesmo nome ou alias de qualquer ...
Package - WFR4 - Nenhum elemento (associação) ao qual é feita referência pode ter o mesmo nome ou alias combinado ao conjunto ...
Package - WFR5 - Os elementos referenciados (associação) podem não ter o mesmo nome ou alias combinado com o mesmo conjunto ...
PseudoState - WFR1 - Em modelos de atividade, as transições de entrada para (e de saída de) pseudo-estados de associação ...
PseudoState - WFR2 - Todos os caminhos que levam a uma bifurcação eventualmente se associam a uma associação ou associações ...
PseudoState - WFR6 - Um vértice ramificado deve ter um segmento de transição de entrada e pelo menos dois segmentos de transição ...
Representa um atributo de associação ou lista de atributos cujos valores servem para particionar o conjunto de objetos associados ...
Representa uma relação semântica entre elementos de modelo que especifica condições e proposições que precisam ser mantidas ...