Symbolic Step Encodings for Object Based Communicating State Machines

@inproceedings{Dubrovin2008SymbolicSE,
  title={Symbolic Step Encodings for Object Based Communicating State Machines},
  author={Jori Dubrovin and Tommi A. Junttila and Keijo Heljanko},
  booktitle={FMOODS},
  year={2008}
}
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the essential data manipulation features of UML state machines when enriched with a Java-like object oriented action language. The main contribution of the work is the generalization of the ∃-step semantics approach, which Rintanen has used for improving the efficiency of SAT based AI planning, to a much more complex… CONTINUE READING