Next Generation of Engineering Methods and Tools for SOA-Based Large-Scale and Distributed Process Applications