Abstract Requirement specification which applies object oriented concept is now begin used by software developer, although this concept can’t reaches the formality of formal specification language. The use of formal method for requirements specification gives more advantages in consistency and ambiguity elimination. One of formalization form has been used is on UML. This experiments will…