list of dots Digital Research Alliance of Canada logo  NSERC logo  University of Ottawa logo / Université d'Ottawa

User Manual    [Previous]   [Next]   

E234 Compositing Non-Deterministic Transitions

Umple semantic error related to state machine composition algorithm

Umple does not support non-deterministic state machines and so composed state machines must be deterministic as well. Our composition algorithm automatically detects transitions that cause the composed state to be non-deterministic and raises this error code.

The example below shows how a transition in a base state could be cause to have non-determinism. As seen, both state machines in class C1 and trait T1 have state s1 and they need to be composed. The state s1 in trait T1 has transition e1[x>0] and the transition’s destination is s2. The base state s1 has transition e1 without a guard and its destination state is state s3. This transition does not exist in the state s1 coming from the trait, so it can be added to the composed state s1. However, this causes a situation in which the composite state machine can be in two states s2 and s3 simultaneously. Therefore, the composition is not allowed.

Example

// In this example, there is an error
// because the composed state machine
// will be nondeterministic.
trait T1{
  sm{
    s1{ e1[x>0] -> s2;  }
    s2{ e2 -> s1; }
  }
}
class C1{
  isA T1;
  sm{
    s1{
      e1 -> s3;
      e3 -> s3;
    }
    s3{ }
  }
}
      

Load the above code into UmpleOnline