تستعرض هذه الرسالة منهجيات التحويل السابقة و تقارن بينها و تناقش نقاط ضعف و قوة كل منها، كما تطرح نموذجا مطورا للحل مبني على خوارزمية إيشويس-كريفن التي تقوم بتجميع الخدمات ضمن إجرائيات مهيكلة، فيتم تعديل هذه الخوارزمية ليكون دخلها التمثيل الرمزي لإجرائيات العمل و خرجها اللغة التنفيذية لإجرائيات العمل، كما تمت إضافة خوارزمية لمعالجة مشكلة الروابط المتزامنة بين الفروع المتوازية التي كانت تعاني منها خوارزمية إيشويس.