Empirical Studies of Construction and Application of Use Case Models