Thumbnail
Access Restriction
Subscribed

Author Yuyu Yin ♦ Ying Li ♦ ShuiGuang Deng ♦ Wu Jian
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2008
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Computer science ♦ Web Services Behavior ♦ Web services ♦ OWL ♦ System recovery ♦ Martin-Löf type theory ♦ consistency ♦ Assembly
Abstract Consistency of Web services behavior is the key to ensure correctness and reliability of Web services choreography technology. In the paper, we introduce Martin-Lof type theory (MTT) and extend it to have a strong expressive capacity to describe formally Web services behavior. Based on this idea behind MTT, the paper applies extended-MTT to formally describe Web services behavior. Then, the rules of consistency are proposed based on combination of extended-MTT and type discipline. Next, the procedures of proofs are given that verify the consistency between behavior of vendor and behavior of vendor-s. In one word, our way is a suitable trade-off between expressiveness and amenability to efficiently verify.
Description Author affiliation: Inst. of Comput. Sci. & Technol., ZheJiang Univ., Hangzhou (Yuyu Yin; Ying Li; ShuiGuang Deng; Wu Jian)
ISBN 9780769534732
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2008-12-09
Publisher Place Taiwan
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 545.79 kB
Page Count 7
Starting Page 1308
Ending Page 1314


Source: IEEE Xplore Digital Library