A Petri Net Theory-Based Method for Modeling Web Service-Based Systems

With the proliferation of researches on web services and their increasing applications in industries comes the opportunity to study the analysis and design method of web service-based systems systematically. Our objective is to propose a method for modeling web service-based systems to conduct the practice of developing the application systems. In this paper, we introduce the relevant research on web services. We propose a method for modeling web service-based systems. We also present the Petri net theory and take it as theoretical foundation of the modeling method. Next, we present the analysis method to assess the correctness of the model constructed by the method. Finally, we present a case study on modeling the web service-based airport emergency management information system via the modeling method and verify the correctness of the model.