VERIFYING SOUNDNESS OF GEODATA WEB SERVICE COMPOSITION BASED ON PETRI NETS
Keywords:
web service composition, BPEL, SOA, Petri netsAbstract
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.
Downloads
References
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. http://portal.opengeospatial.org/files/?artifact_id=3836S. Last accessed November
, 2015.
Vretanos, P. (Ed.), Web Feature Service (1.0). OGC 02-058. Online:
https://portal.opengeospatial.org/files/?artifact_id=7176. Last accessed November 23, 2015.
Evans, J. D. (Ed.), Web Coverage Service (WCS), version 1.0.0. OGC 03-065r6. Online:
https://portal.opengeospatial.org/files/?artifact_id=3837. Last accessed November 23, 2015.
Kolodziej, K., OpenGIS Web Map Server Cookbook. Online:
http://portal.opengeospatial.org/files/?artifact_id=7769. 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,
-24.
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,
-126.
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,
-181.
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.
