Modeling and Analysis of Web Services Composition Based on Higher-Order Petri Net
Web service composition is a most mature and effective way to realize the rapidly changing requirements of business in service-oriented solutions. Testing the compositions of web services is complex, due to their distributed nature and asynchronous behavior. Petri-Nets (PNs) provide a framework for the construction and analysis of distributed and concurrent systems. This paper focuses on the modeling and analysis of web services composition using Higher-Order Petri-Nets (HOPNs). The modeling emphasizes on aspects of composition, i.e. a modeling capable of verifying and analyzing the performance of composition at present.