NDLI: Verifying Consistency of Web Services Behavior Using Type Theory

Content Provider	IEEE Xplore Digital Library
Author	YuYu Yin JianWei Yin Ying Li ShuiGuang Deng
Copyright Year	2008
Description	Author affiliation: Inst. of Comput. Sci. & Technol., ZheJiang Univ., Hangzhou (YuYu Yin; JianWei Yin; Ying Li; ShuiGuang Deng)
Abstract	Web services behavior is the key aspect to consistency of Web services, which can ensure correctness and reliability in Web services choreography. But few methods can conduct the trade-off between expressiveness and amenability of efficient verification, this paper gives a better answer to solve the problem. It constructs service-behavioral type discipline based on extended the Martin-Lofpsilas Type Theory (for short, MTT) which supports a type-theoretic formulation of services behavior structured patterns, so that services behavior in a distributed system can be verified by type checking. Then, the type rules for subtype, duality, and consistency of Web services behavior are discussed. The deductions are gave to show that how to verify the consistency between behavior of vendor and behavior of vendor-s.
Starting Page	1560
Ending Page	1567
File Size	537371
Page Count	8
File Format	PDF
ISBN	9780769534732
DOI	10.1109/APSCC.2008.149
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-12-09
Publisher Place	Taiwan
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Service oriented architecture Companies Consistency Reliability theory Verification Martin-Löf type theory Computer science Computer languages Web services Web services behavior Web and internet services Logic Acceleration Assembly
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Verifying Consistency of Web Services Behavior

Describing and Verifying Web Service Using Type Theory

Modeling Martin Löf Type Theory in Categories

An architecture model for dynamically converting components into Web services

Verification of Web services using an enhanced UDDI server

Describing and Verifying Web Service Using CCS

Formal verification of composite service recovery mechanisms consistency

Automating Service Matchmaking using Type Theory

Verifying the Consistency of Security Policies by Abstracting into Security Types

Verifying Consistency of Web Services Behavior Using Type Theory

Similar Documents

Verifying Consistency of Web Services Behavior

Describing and Verifying Web Service Using Type Theory

Modeling Martin Löf Type Theory in Categories

An architecture model for dynamically converting components into Web services

Verification of Web services using an enhanced UDDI server

Describing and Verifying Web Service Using CCS

Formal verification of composite service recovery mechanisms consistency

Automating Service Matchmaking using Type Theory

Verifying the Consistency of Security Policies by Abstracting into Security Types

Verifying Consistency of Web Services Behavior Using Type Theory