Abstract: In a service-oriented system,business processes are completed by services. The compositionahty of services to cope with changing business world is required to be flexible and robust To complete dynamic service composition is hardly an easy one. hhough there arc many ways that aim to optimize and improve attributes of a SOA system, automalion is little realized due to the complicated business process and tedious service composition tools. This paper introduced a way to express business process in FOIL formula and dynamically bind atomic services by computing FOIL for mina and generating a BPEI structure for execution of service composition. harski's hruth theory proves this process is plausible in application.

Key words: Service orchestration, Dynamic binding, FOIL, WS-BPEL, Serviccoriented system