سال انتشار: ۱۳۹۱

محل انتشار: کنفرانس بین المللی مدل سازی غیر خطی و بهینه سازی

تعداد صفحات: ۶

نویسنده(ها):

Nasibeh Nazari – Islamic Azad University Sari Branch

چکیده:

The Business Process Execution Language for Web service (BPEL4WS) is one of the various standards that have been developed in Web Service Composition. BPEL4WS is already used by business process developers to describe a composite web service. We proposed a formal model to specify BPEL4WS with Petri nets to improve the ability of evaluating, and an approach to reduce the structure complexity of Petri Nets models for static activities of Web Service Composition.