1. A system comprising: a modeling tool configured to generate a diagrammatic representation of a service-based process, expressed using a diagrammatic modeling language; a model converter configured to convert the diagrammatic representation into a formal model of the service-based process; a model verifier configured to apply constraints to the formal model to verify an operation of the service-based process and output a verified formal model; and a code generator configured to generate executable code therefrom for executing the service-based process therewith.