Modeling semantics of business rules