A Reliable Automatic Service Composition Method Based on Type Theory

Suichu Zhai; Zhong Xin; Aihua Song

A Reliable Automatic Service Composition Method Based on Type Theory

원문정보

Suichu Zhai, Zhong Xin, Aihua Song

보안공학연구지원센터(IJUNESST) International Journal of u- and e- Service, Science and Technology Vol.8 No.6 2015.06 pp.277-290

피인용수 : 0건 (자료제공 : 네이버학술정보)

Abstract
1. Introduction
2. Related Work
3. Architecture
4. Primeary Technology
  4.1 Type Theory
  4.2. Web Service Model
  4.3. Transforming Service Into Propositions
  4.4. Transforming Semantic Relation Into Conjecture
  4.5. Transforming Request Into Conjecture
  4.6. Proof as Composition
5. Case Study
  5.1. Atomic Services
  5.2. Transforming Services
  5.3. Transforming Request
  5.4. Proving and Extraction
6. Conclusions and Future Work
Acknowledgment
References

키워드

저자정보

Suichu Zhai Hangzhou Power Supply Cooperation, Hangzhou, China
Zhong Xin Jilin Technology College of Electronic Information, Jilin City, China
Aihua Song Hangzhou Dianzi University, Hangzhou, China

참고문헌

자료제공 : 네이버학술정보

함께 이용한 논문

※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.

0개의 논문이 장바구니에 담겼습니다.

earticle