There are other ways to introduce business rules in the model than using state machines and guards - you can also use constraints.