Verifying the Correctness of GIS Service Chain Based on Pi-Calculus

Juan Zhu Liang

doi:10.4028/www.scientific.net/AMM.241-244.2923

Paper Titles

A Natural Language User Demand Semantic Model for Remote Sensing Image Retrieval
p.2897

Design and Implementation of Configurable FFT/IFFT Soft-Core Based on FPGA
p.2901

On Multipath Routing Algorithm of Multiple QoS Based on DSR Protocol
p.2910

Photo Viewer Using Geometry Method
p.2915

Verifying the Correctness of GIS Service Chain Based on Pi-Calculus
p.2923

The Research on Computation Resource Scheduling Strategy for B2C Automatic Negotiation in Cloud Computing Platform
p.2929

Research and Application of Tabular Processing Method of Serial Communicaiton Data in Excel
p.2934

An Improved Method of Tracking the Motion of Sperm Target
p.2940

Study on E-Commerce Trust Prediction Mode Based on Combination Parameters
p.2944

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 241-244Verifying the Correctness of GIS Service Chain...

Verifying the Correctness of GIS Service Chain Based on Pi-Calculus

Abstract:

As an important value-added function for GIS service, GIS service chain provides the application foundation for reusing and automation composition GIS services. An important issue for realizing the value-added service is ensuring the operation results of GIS service chain meet the user needs, so it needs to verify the correctness of GIS service chain. This paper introduces the equivalence theory of Pi-calculus. A practical GIS service chain formal model is established using Pi-calculus. The validity of GIS service chain model and whether it meets the need are verified using the formal tools.

You might also be interested in these eBooks

Industrial Instrumentation and Control Systems

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 241-244)

Pages:

2923-2928

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.241-244.2923

Citation:

Cite this paper

Online since:

December 2012

Authors:

Juan Zhu Liang*

Keywords:

GIS Service, GIS Service Chain, Pi-Calculus, Service Chain Validity

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] R. Milner, R. Weyhrauch..Proving computer correctness in mechanized logic.In Machine Intelligence,1972(7): 51-70.

Google Scholar

[2] Robin M．Communicating and Mobile Systems：the Pi-calculus[M]．Fifth Printing，USA: Cambridge Press，2004:17-91.

Google Scholar

[3] Pkurt J, Lars M, Lisa W. Colored Petri net s and CPN Tools for modeling and validation of concurrent systems [J] . International Journal on Software Tools for Technology Transfer, 2007, 9 (3): 213-254.

DOI: 10.1007/s10009-007-0038-x

Google Scholar

[4] Ferrara A．Web Services：A Process Algebra Approach[A]．ACM ICSOC04．2004: 242-251.

Google Scholar

[5] Camara J．,Canal C．,Cubo J．Formalizing WS-BPEL Business Processes Using Process Algebra[J]．Electronic Notes in Theoretical Computer Science,2006,(154):159-173.

DOI: 10.1016/j.entcs.2005.12.038

Google Scholar

[6] Chirichiello A．,Salaun G．Encoding Process Algebraic Descriptions of Web Services into BPEL[J]．Web Intelligence and Agent Systems5,2007:419-434.

Google Scholar

[7] Yanbin Peng, Lv Ye, Zhijun Zheng et al. Automatic Service Composition Verification Based on Pi-calculus[C].2009IEEE,2009:

Google Scholar

[8] Roberto Lucchi, Manuel Mazzara. A pi-calculus based semantics for WS-BPEL[J]. The Journal of Logic and Algebraic Programming, 2007(70):96–118.

DOI: 10.1016/j.jlap.2006.05.007

Google Scholar

[9] Faisal Abouzaid and John Mullins. A Calculus for Generation Verification and Refinement of BPEL Specifications[J]. Electronic Notes in Theoretical Computer Science,2008(2):43–65.

DOI: 10.1016/j.entcs.2008.04.092

Google Scholar