Formal Specification of a Mobile Agent Based Maintenance for Manufacturing System