In the globalized market and business environment, enterprises strive to cope with rapid market changes and competition. To sustain competitiveness, enterprises need to continually adapt their business processes to accommodate changes promptly. This view includes the integration of external services with their internal services for required capabilities to catch new business opportunities. A number of services with similar service functionalities are available, posing a great challenge in composing optimized business processes in a timely manner. This requires effective methodologies and tools in selecting services and composing them as service workflows for specified goals. Service workflow technology facilitates these by providing methodologies to support business process modeling and reengineering to optimize and automate processes according to workflow requirement specifications. This paper provides reviews and analysis of the state-of-the-art service workflow specification languages, including (1) Self-Adaptive Configuration based on HMS (2) BAM, (3) CTR, (4) SOLOIST, and (5) SWSpec. These languages are evaluated against the fundamental principles for general service workflow specification languages.