Return to Article Details Automatic Code Generation for Web Services Composition Based on a Formal Specification Download Download PDF