QoS measurement of workflow-based web service compositions using Colored Petri net

Area of Science:

• Computer Science
• Software Engineering
• Service-Oriented Architecture

Background:

• Workflow-based web service compositions (WB-WSCs) are a key aspect of service-oriented architecture (SOA).
• Existing techniques like Eflow, polymorphic process model (PPM), and business process execution language (BPEL) are used for WB-WSCs.
• Measuring the quality of service (QoS) for composite web services is a significant challenge due to web service maturity.

Purpose of the Study:

• To develop a deterministic analytical method for measuring the dependability and performance of WB-WSCs.
• To address the challenge of QoS measurement in the context of evolving web services.
• To provide a quantifiable approach for assessing the quality of composite web services.

Main Methods:

• Utilized Colored Petri nets (CPN) with explicit routing constructs.
• Applied the theory of probability for dependability and performance analysis.
• Developed a computer tool named WSET for modeling and QoS measurement simulation.

Main Results:

• Established a deterministic analytical method for QoS measurement in WB-WSCs.
• Demonstrated the effectiveness of CPN and probability theory in assessing nonfunctional parameters.
• The WSET tool facilitates the modeling and simulation-based QoS evaluation.

Conclusions:

• The proposed method provides a robust approach to measuring QoS for WB-WSCs.
• CPN-based analysis offers a deterministic way to evaluate dependability and performance.
• The WSET tool supports practical application of the QoS measurement methodology.