Modeling business rules with situation/activation diagrams · Study