Modeling Distributed Applications For Manet