An MDA-Based Approach for Inferring Concurrency in Distributed Systems