A Formula Driven Incremental Construction of Web Service Compositions.