• NA XU State Key Laboratory of Coal Resources and Safe Mining, China University of Mining and Technology (Beijing), Beijing, 100083, China School of Business, Shandong Jianzhu University, Jinan, Shandong 250101, China
  • SUPING PENG State Key Laboratory of Coal Resources and Safe Mining, China University of Mining and Technology (Beijing), Beijing, 100083, China
  • ZHANGANG WANG State Key Laboratory of Coal Resources and Safe Mining, China University of Mining and Technology (Beijing), Beijing, 100083, China


web service composition, BPEL, SOA, Petri nets


The emergence of service-oriented architecture (SOA) has made it possible to establish easily accessible geodata web services and perform distributed geodata processing and modelling, which facilitate the provision of geo information in real time. Composition is an important method for dynamically combining distributed individual services and can be incorporated into geoprocessing workflows. Business Process Execution Language (BPEL) and service specifications provided by the Open Geospatial Consortium (OGC) have become the industrial standards for executing geodata web service composition. However, current geodata web service composition soundness verification is beyond the capabilities of BPEL. Soundness verification in the design process can facilitate efficient and cost-effective geodata web service composition execution. To address this issue, Petri nets were used in this study for geodata web service composition analysis. A geodata web service was modelled based on a service net using Petri nets. The geodata web service composition was modelled based on the composition structure. The soundness properties of the geodata web service composition, such as reachability, boundedness, and deadlock, were also analysed. The proposed approach was shown to provide compliant support for geodata web service composition.


Download data is not yet available.


Delipetrev, B., Jonoski, A. and Solomatine, D. P., Development of a web application for water resources based

on open source software. Computers & Geosciences 62, 2014, 35-42.

Percivall, G., OGC Reference Model. Document Number OGC03-040 Version: 0.1.3. Technical Report, Open

Geospatial Consortium. Last accessed November

, 2015.

Vretanos, P. (Ed.), Web Feature Service (1.0). OGC 02-058. Online: Last accessed November 23, 2015.

Evans, J. D. (Ed.), Web Coverage Service (WCS), version 1.0.0. OGC 03-065r6. Online: Last accessed November 23, 2015.

Kolodziej, K., OpenGIS Web Map Server Cookbook. Online: Last accessed November 23, 2015.

Schut, P., OpenGIS web processing service. Open Geospatial Consortium Inc., Wayland, MA, USA, 2007, 87.

Evangelidis, K., Ntouros, K., Makridis, S. and Papatheodorou, C., Geospatial services in the Cloud. Computers

& Geosciences 63, 2014, 116-122.

Kiehle, C., Heier, C. and Greve, K., Requirements for next generation spatial data infrastructures—standardized

web based geoprocessing and web service orchestration. Transactions in GIS 11, 2007, 819-834.

Cepicky, J. and Becchi, L., Geospatial processing via Internet on remote servers—PyWPS. OSGeo Journal,

, 1-5.

Brauner, J. and Schaeffer, B., Integration of GRASS functionality in web based SDI service chains. in

Proceedings of FOSS4G 2008, Cape Town, South Africa, 2008, 420-429.

Fenoy, G., Bozon, N. and Raghavan, V., ZOO-Project: The open WPS platform. Applied Geomatics 5, 2013,


WfMC, Process Definition Interface—XML Process Definition Language. Workflow Management Coalition,

Cohasset, USA, 2008, p. 217.

Adams, M., ter Hofstede, A. H. M. and La Rosa, M., IMPACT open source software for workflow

management: The case of YAWL, IEEE Software, vol. 28, 2011, 16-19.

Hertis, M. and Juric, M. B., An empirical analysis of business process execution language usage, IEEE

Transactions on Software Engineering, vol. 40, 2014, 738-757.

Natschlaeger, C., Kossak. F. and Schewe, K., Deontic BPMN: A powerful extension of BPMN with a trusted

model transformation, Software and Systems Modeling, vol. 14, 2015, 765-793.

Ghannoudi, M. and Chainbi, W., Formal verification for web service composition: A model-checking

approach, 2015 International Symposium on Networks, Computers and Communications (ISNCC 2015),

Clempner, J. B., Structure vs. trajectory tracking methods: Soundness verification of business processes, IEEE

Latin America Transactions, vol. 13, 2015, 3980-3986.

Bhardwaj, K. C. and Sharma, R. K., Machine learning in efficient and effective web service discovery, Journal

of Web Engineering, vol. 14, 2015, 196-214.

Diaz, M., Petri Nets: Fundamental Models, Verification and Applications. John Wiley & Sons, Inc., 2013, 613.

Bramantoro, A., Ben Hassine, A., Matsubara, S. and Ishida, T., Multilevel analysis for agent-based service

composition, Journal of Web Engineering, vol. 14, 2015, 63-79.

Cardinale, Y., El Haddad, J., Manouvrier, M. and Rukoz, M., CPN-TWS: A coloured Petri-net approach for

transactional-QoS driven Web Service composition. IJWGS 7(1), 2011, 91-115.

Yu, H., Fan, G., Chen, L. and Liu, D., Analyzing time constrained service composition based on Petri net. in

rd International Symposium on Electronic Commerce and Security Workshops, 2010, 68-71.

Fang, X., Jiang, C. and Fan, X., Independent global constraints for web service composition based on GA and

APN. in Proceedings of the First ACM/SIGEVO Summit on Genetic and Evolutionary Computation, 2009,


Lohmann, N., Massuthe, P., Stahl, C. and Weinberg, D., Analyzing interacting WS-BPEL processes using

flexible model generation. Data Knowledge Engineering, 64(1), 2008, 38-54.

Du, Y., Li, X., and Xiong, P., A Petri net approach to mediation-aided composition of web services. IEEE

Transactions on Automation Science and Engineering, vol. 9, 2012, 429-435.

Chi, Y.-L. and Lee, H.-M., A formal modeling platform for composing web services. Expert Systems

Applications, 34(2), 2008, 1500-1507.

Xia, Y., Liu, Y., Liu, J. and Zhu, Q., Modeling and performance evaluation of BPEL processes: A stochastic

Petri net-based approach. IEEE Transactions on Systems, Man, and Cybernetics, Part A 42(2), 2012, 503-

Blanco, E., Cardinale, Y. and Vidal, M.-E., Aggregating functional and non-functional properties to identify

service compositions, IGI Book, 2011, 1-36.

Bonchi, F., Brogi, A., Corfini, S. and Gadducci, F., Compositional specification of web services via

behavioural equivalence of nets: A case study. in van Hee, K.M. and Valk, R. (eds.) Petri Nets 2008. LNCS,

Springer, vol. 5062, 2008, 52-71.

Hoisl, B., Sobernig, S. and Strembeck, M., Modeling and enforcing secure object flows in process-driven

SOAs: An integrated model-driven approach, Software and Systems Modeling, vol. 13, 2014, 513-548.

Valero, V., Macía, H., Pardo, J.J., Cambronero, M.E., Díaz, G., Transforming web services choreographies

with priorities and time constraints into prioritized-time colored Petri nets. Science of Computer

Programming 77(3), 2012, 290-313.

Li, B., Xu, Y., Wu, J. and Zhu, J., A Petri-net and QoS based model for automatic web service composition.

Journal of Software 7(1), 2012, 149-155.

Li, B., Ji, S., Qiu, D. and Cai, J., Generating test cases of composite services based on OWL-S and EH-CPNs,

International Journal of Software Engineering and Knowledge Engineering, vol. 20, 2010, 921-941.

Cardinale, Y. and Rukoz, M., Fault tolerant execution of transactional composite web services: An approach.

in Proceedings of UBICOMM, Lisbon, Portugal, 2011, 1-6.

Mei, X., Jiang, A., Li, S., Huang, C., Zheng, X. and Fan, Y., A compensation paired net-based refinement

method for web services composition. Advances in Information Sciences and Service Sciences 3(4), 2011,


Xu, N., Peng, S. and Wang, Z., Designing Geodata Service Composition Web Application Based on Service-

Oriented Architecture, IEEE Access, vol. 4, 2016, 4136-4147.

Erl, T., Service-Oriented Architecture: Concepts, Technology, and Design. Prentice Hall, 2005, 792.

Hruz, B. and Zhou, M.C., Modeling and Control of Discrete Event Dynamic Systems, Springer, 2007.

Pearl, J., Heuristics: Intelligent Search Strategies for Computer Problem Solving. Addison-Wesley, 1984.