
Model-driven approach supporting formal verification for web service composition protocols
Keywords: Web service composition; Model-driven architecture; Workflow patterns; LOTOS; Formal verification