Automatic synthesis of behavior protocols for composable web-services