Formal verification technique for grid service chain model and its application

2007 ◽  
Vol 50 (1) ◽  
pp. 1-20 ◽  
Author(s):  
Ke Xu ◽  
YueXuan Wang ◽  
Cheng Wu
2018 ◽  
Vol 15 (3) ◽  
pp. 292
Author(s):  
Guanglan Zhou ◽  
Weihua Su ◽  
Renan Liu ◽  
Jun Hu

2009 ◽  
Author(s):  
David Sowinski ◽  
Annette Towler ◽  
Alan D. Mead

2018 ◽  
Vol 15 (3) ◽  
pp. 292
Author(s):  
Jun Hu ◽  
Renan Liu ◽  
Guanglan Zhou ◽  
Weihua Su

2012 ◽  
Vol 241-244 ◽  
pp. 2923-2928
Author(s):  
Juan Zhu Liang

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.


2019 ◽  
Vol 8 (11) ◽  
pp. 496 ◽  
Author(s):  
Li ◽  
Song ◽  
Tian

The proliferation of geospatial data from diverse sources, such as Earth observation satellites, social media, and unmanned aerial vehicles (UAVs), has created a pressing demand for cross-platform data integration, interoperation, and intelligent data analysis. To address this big data challenge, this paper reports our research in developing a rule-based, semantic-enabled service chain model to support intelligent question answering for leveraging the abundant data and processing resources available online. Four key techniques were developed to achieve this goal: (1) A spatial and temporal reasoner resolves the spatial and temporal information in a given scientific question and enables place-name disambiguation based on support from a gazetteer; (2) a spatial operation ontology categorizes important spatial analysis operations, data types, and data themes, which will be used in automated chain generation; (3) a language-independent chaining rule defines the template for input, spatial operation, and output as well as rules for embedding multiple spatial operations for solving a complex problem; and (4) a recursive algorithm facilitates the generation of executive workflow metadata according to the chaining rules. We implement this service chain model in a cyberinfrastructure for online and reproducible spatial analysis and question answering. Moving the problem-solving environment from a desktop-based environment onto a geospatial cyberinfrastructure (GeoCI) offers better support to collaborative spatial decision-making and ensures science replicability. We expect this work to contribute significantly to the advancement of a reproducible spatial data science and to building the next-generation open knowledge network.


Sign in / Sign up

Export Citation Format

Share Document