Novel techniques for modeling, programming and provisioning network services