آخر المقالات

CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling

preview photo

International Journal of Service Science, Management, Engineering, and Technology (IJSSMET) 7(1)

2016

Web services composition (WSC) has an enormous potential for the organizations in the B2B area. In fact, different services collaborate through the exchange of messages to implement complex business processes. BPEL is one of the most used languages to develop such cooperation. However, it has been proved that its use is complex and can require some expertise in XML syntax. Even its graphical representation is not evident to handle. This is why the authors propose to model Web services using oWF-nets, a subclass of Petri nets, and then, to translate them to BPEL. Whilst, a WSC is with added value only if the involved services are...

آخر الأخبار

Books and literature

Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing

Model Checking of Cost-Effective Elasticity Strategies in Cloud Computing

ICSOC 2017

Cloud computing is a revolution in how computing power is delivered to business. It offers different measured services to clients who require...

Scientific Research