NDLI: A Formal Specification for Web Services Composition and Verification

Content Provider	IEEE Xplore Digital Library
Author	Yuliang Shi Liang Zhang Bing Liu Fangfang Liu Lili Lin Baile Shi
Copyright Year	2005
Description	Author affiliation: Dept. of Comput. & Inf. Technol., Fudan Univ., Shanghai (Yuliang Shi; Liang Zhang; Bing Liu; Fangfang Liu; Lili Lin; Baile Shi)
Abstract	Due to the promising features of Web services, their deployment and research are booming. Among them, various techniques for Web service composition have been developed. In this paper, we propose a new composition framework. We use automata to describe behaviors of Web services. Each of underlying Web services can interact with others through asynchronous messages passing according to its interaction role (client or server). All these messages are recorded by a virtual global observer and the observation result is just the composition conversation of Web services. We also develop a formal a top-down verification mechanism on this framework and provide some realizable conditions for a successful composition
Sponsorship	Univ. of Aizu, Japan Nat. Natural Sci. Found. China Fudan GrandHorizon Inf. Technol., Inc. China Hewlett-Packard Co., Ltd
Starting Page	252
Ending Page	256
File Size	240730
Page Count	5
File Format	PDF
ISBN	076952432X
DOI	10.1109/CIT.2005.10
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2005-09-21
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	web services Supply chains Travel services web service composition Formal specifications Proposals Information technology Web services Message passing Automata Collaboration Software systems verification conversation
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