Coordinated execution of heterogeneous service-oriented components by Abstract State Machines