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

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.

2011 ◽  
Vol 6 (7) ◽  
pp. 288-293 ◽  
Author(s):  
Yongqing Yang ◽  
Jinlong Zhang ◽  
Yuanyuan Sun ◽  
Tai Yin

Author(s):  
Le Thi My Hanh ◽  
Luis Alfaro ◽  
Tran Phuong Thao

This world is constantly changing and rapidly moving,-particular in the Industry 4.0 revolution, people must change to follow and keeping with this new trend. Education is the human foundation toward the “Truth - Good - Beautiful”, and comprehensive development of personal competencies as knowledge, skills and behaviors. A nation, such as Vietnam, if they want to integrate into global economy and affirming their position, they will need the “Talented - Virtuous” human resource who could meet the high demand of society. The purpose of this study was to propose a model of competency value chain at individual level for the educational managers, analyzing some factors of this value chain model and how to apply to Vietnamese education system in the fourth Industry era. The authors wanted to focus on the social value added that the educational managers’competency could bring as the result of this research.


2020 ◽  
Vol 1 (1) ◽  
pp. 82-86
Author(s):  
Amrussalam Amrussalam ◽  
Eko Supriatuti

Khalayak sasaran pada program kemitraan masyarakat (PKM) ini adalah masyarakat yangproduktif secara ekonomi dengan permasalahan pokoknya adalah kurangnya pemahaman Mitrapada manajemen untuk menghilangkan adanya pemborosan (waste) pada kegiatanperdagangannya dan juga untuk pelayanan Mitra dalam menyediakan pelayanan pelengkap masihsangat kurang dalam memberikan kepuasan kepada pelanggan/petani. Tujuan pelaksanaanprogram ini adalah untuk memberikan pengetahuan dan kemampuan Mitra melalui pelatihan danmelakukan penerapan konsep lean management dengan menggunakan konsep 5S untukmenghilangkan pemborosan (waste) dalam memiliki value added service. Metode pelaksanaandalam program ini dilakukan dengan 2 (dua) tahap, yaitu tahap persiapan dan tahap pelaksanaan.Hasil dan luaran pelaksanaan kegiatan program kemitraan masyarakat (PKM) adalahmeningkatnya kemampuan manajemen untuk Mitra terhadap konsep lean management dalammenghilangkan pemborosan (waste) pada kegiatan perdagangannya dan meningkatnya pelayananMitra dalam memberikan value added service kepada pelanggan/petani, sehingga dapatmemberikan kepuasan kepada petani/pelanggan tersebut.


2012 ◽  
Vol 3 (2) ◽  
pp. 81-91
Author(s):  
Xumei Zhang ◽  
Xiaopeng Han ◽  
Yan Zhang ◽  
Guangye Xu ◽  
Xiangyu Liu

Sign in / Sign up

Export Citation Format

Share Document