Towards Validation of E-Services Composition: Transforming eFlow to Petri-Nets.
Hossein Nematzadeh, Radziah Mohamad · Software Engineering Research and Practice · 2010
Web services composition is the ability to integrate existing services to have value added services. Workflow-based services composition is one of the approaches proposed. eFlow is one of the Workflow-based service composition approaches. The approach is strong in providing a platform for adaptive and dynamic web services composition. However, it neglects the validation of the Quality of Services (QoS). This paper proposes an initial work to validate the QoS of web services composition. We propose an approach to transform eFlow to PetriNet. We also extend existing Petri-Net by introducing a new component with new firing rule. Our preliminary result is to show that formal validation techniques like Petri-Net are useful towards validating the QoS of e-services composition.