[PseudoState - WFR2] - Todos os caminhos que levam a uma bifurcação eventualmente se juntam a uma junção ou junções subsequentes. Além disso, se ocorrerem camadas múltiplas de junções, estas deverão estar bem aninhadas. Portanto, a estrutura de simultaneidade de um modelo de atividade é na verdade igualmente restritiva como aquela de uma máquina de estado comum, mesmo que os estados compostos não necessitem ser explícitos.
[PseudoState - WFR2] - Todos os caminhos que levam a uma bifurcação eventualmente se associam a uma associação ou associações subsequentes. Além disso, se ocorrerem camadas múltiplas de associações, estas deverão estar bem aninhadas. Portanto, a estrutura de simultaneidade de um modelo de atividade é na verdade igualmente restritiva como aquela de uma máquina de estado comum, mesmo que os estados compostos não necessitem ser explícitos.
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 ...
Representa uma relação semântica entre relações que especifica condições e proposições que precisam ser mantidas como verdadeiras. ...