Service Composition Formal Techniques in Service Oriented Architecture : A Survey
The OWL-S Java API