NDLI: On expanding protocol conformance checking to exception handling

Content Provider	Springer Nature Link
Author	Heike, Christian Zimmermann, Wolf Both, Andreas
Copyright Year	2013
Abstract	Components or services must often be compliant to organizatorial or legal regulations. Furthermore, they should avoid unwanted behaviour such as abortion of the execution of a service without notification of the client. Violation of both might happen due to unintended uses of services. In general, the intention is specified by contracts. In this work, we consider a special form of contracts: service protocols. These specify for a service legal sequences of operation calls. We propose an approach for checking whether such protocols are obeyed in a service composition. For this, it is necessary to define a conservative abstraction of the behaviour of service-oriented systems and a contract based on interactions (named service protocol) to be verified. In our previous work, we have modelled unbound concurrency, unbound recursion, and synchronization. This article briefly presents the previous results and extends them by exception handling mechanisms. In particular, it takes into account that the execution of service may raise an exception and allows the clients to react on the exception.
Starting Page	299
Ending Page	322
Page Count	24
File Format	PDF
ISSN	18632386
Journal	Service Oriented Computing and Applications
Volume Number	8
Issue Number	4
e-ISSN	18632394
Language	English
Publisher	Springer London
Publisher Date	2013-11-30
Publisher Place	London
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Protocol conformance checking Exceptions Process rewrite systems Model checking Web services Computer Systems Organization and Communication Networks Software Engineering/Programming and Operating Systems e-Commerce/e-business Computer Application in Administrative Data Processing Management of Computing and Information Systems Business Information Systems
Content Type	Text
Resource Type	Article
Subject	Management Information Systems Information Systems Software Hardware and Architecture

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

Web services choreography validation

B2B collaboration through web services-based multi-agent system

Integration of business process modeling and Web services: a survey

A novel framework for bindings synchronization of Web services

A declarative language to support dynamic evolution of web service business protocols

CRP: context-based reputation propagation in services composition

XrML-RBLicensing approach adapted to the BPEL process of composite web services

A semantic-augmented multi-level matching model of Web services

An automated approach to Semantic Web Services Mediation

On expanding protocol conformance checking to exception handling

Similar Documents

Web services choreography validation

B2B collaboration through web services-based multi-agent system

Integration of business process modeling and Web services: a survey

A novel framework for bindings synchronization of Web services

A declarative language to support dynamic evolution of web service business protocols

CRP: context-based reputation propagation in services composition

XrML-RBLicensing approach adapted to the BPEL process of composite web services

A semantic-augmented multi-level matching model of Web services

An automated approach to Semantic Web Services Mediation

On expanding protocol conformance checking to exception handling