Modeling Business within a UML-Based Rigorous Software Development Approach