Modeling business rules with situation/activation diagrams | IEEE Conference Publication | IEEE Xplore