FROM π-CALCULUS SPECIFICATION TO SIMULATION OF A MOBILE AGENT USING JINI