scholarly journals Research on Construction of the Aged Security Service Chain Model and Industry Chain Model

2017 ◽  
Author(s):  
Wen-Chen GUO ◽  
Shao-Sheng SUN ◽  
Ning WU ◽  
Kai WANG
Keyword(s):  
Chain Model ◽  
Industry Chain ◽  
Service Chain ◽  
Security Service

An investigation into e-commerce service chain model algorithm

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

The effects of climate strength on the service chain model

2009 ◽  
Author(s):  
David Sowinski ◽  
Annette Towler ◽  
Alan D. Mead
Keyword(s):  
Chain Model ◽  
Service Chain ◽  
Climate Strength

An investigation into e-commerce service chain model algorithm

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

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

2012 ◽  
Vol 241-244 ◽  
pp. 2923-2928
Author(s):  
Juan Zhu Liang
Keyword(s):  
Formal Model ◽  
Value Added ◽  
User Needs ◽  
Chain Model ◽  
Service Chain ◽  
Value Added Service ◽  
Pi Calculus ◽  
Equivalence Theory ◽  
Operation Results

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.

Sign in / Sign up

Export Citation Format

Share Document