I read a article about model based testing. it said that you can modeling the Client execuation, deployment of server,or data flows, even state flows etc.
you can use different modeling methodology, and predict the behavior of system. You can find bug easily by the way.