@inproceedings{042fb85865044ec6ab8952616dad1de0,
title = "A petri net theory-based method for modeling web service-based systems",
abstract = "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.",
keywords = "Airport emergency management, Business process, Correctness, Modeling, Petri net, Web service",
author = "Rendong Han and Ju Yanbing and Liu Kecheng and Zhao Jinghua",
year = "2008",
doi = "10.1109/WiCom.2008.2839",
language = "English",
isbn = "9781424421084",
series = "2008 International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2008",
booktitle = "2008 International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2008",
note = "2008 International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2008 ; Conference date: 12-10-2008 Through 14-10-2008",
}