NDLI: Protocol Compatibility Verification for Web Services Interaction

Content Provider	IEEE Xplore Digital Library
Author	Yanping Yang Mingan Zhang Xiqing Ye Houwu Chen Xinke Lian
Copyright Year	2009
Abstract	In this paper, a formal service behavior model called Service-Net based on Colored Petri Net (CP-Net) has been presented. Service-Net can be used to describe not only the control dependency and data dependency among inner operations of Web services, but also the message interactions of services with outer environments as an independent communication system. The correctness of interaction protocol is the key to assuring the success of services interactions. Based on Service-Net of services participating the interaction, the construct of the formal protocol model of services interaction called has further defined. Finally, the correctness justification criteria of protocol model as well as the corresponding verification method based on CP-Net theory has been given.
Starting Page	106
Ending Page	112
File Size	1708014
Page Count	7
File Format	PDF
ISBN	9780769538105
DOI	10.1109/SKG.2009.86
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2009-10-12
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	protocol compatibility Protocols Communication systems Petri nets Communication system control Web service interaction modeling Control systems Power system modeling behavior modeling Web services Data communication Logic verification
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

Behavior adaptation based on projection in web services composition

Modeling of BPEL Composite Services Using Clustered Coloured Petri-Nets

Semantic web service matchmaking based on service behavior

Performance modeling and evaluation using Queuing Petri Nets in IMS

Modeling and Analysis of a Web Service Firewall Using Coloured Petri Nets

Checking Necessary Conditions for Control and Data Flow Compatibility between Business and Interaction Logics in Web Processes

Modeling IMS Service Sharing System using Petri nets

Timed Petri nets and their application to communication protocol specification

Transformation of BPEL Processes to Petri Nets

Protocol Compatibility Verification for Web Services Interaction

Similar Documents

Behavior adaptation based on projection in web services composition

Modeling of BPEL Composite Services Using Clustered Coloured Petri-Nets

Semantic web service matchmaking based on service behavior

Performance modeling and evaluation using Queuing Petri Nets in IMS

Modeling and Analysis of a Web Service Firewall Using Coloured Petri Nets

Checking Necessary Conditions for Control and Data Flow Compatibility between Business and Interaction Logics in Web Processes

Modeling IMS Service Sharing System using Petri nets

Timed Petri nets and their application to communication protocol specification

Transformation of BPEL Processes to Petri Nets

Protocol Compatibility Verification for Web Services Interaction