Statistics of A Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain