Abstracting and enforcing web service protocols

Boualem Benatallah, Fabio Casati, Halyard Skogsrud, Farouk Toumani

Research output: Contribution to journalArticle

12 Citations (Scopus)

Abstract

Web services are emerging as a promising technology for the automation of inter-organizational interactions. As technology matures and the foundations of Web services become more solid, users will start to demand tools that facilitate the service development lifecycle. It is only when such tools become available that novel technologies become applied and enter the mainstream, since the complexity, cost and time necessary to deploy and manage solutions is dramatically reduced. In this paper, we present a framework and a tool that support the model-driven development of Web services. The idea consists in identifying key Web services abstractions, in addition to those of basic Web services standards, that enable the description of service policies and properties that are useful in practice. In this paper, we focus on service protocols, and specifically on conversation and trust negotiation protocols. These protocols are modeled by means of graphical tools and high-level languages so that they are easy to specify, understand, and evolve. The tools also support the automatic generation of service implementation skeletons based on these abstractions, manage the entire service lifecycle, and provide run-time support to verify that the interaction among clients and services occur in compliance with the specified policies.

Original languageEnglish
Pages (from-to)413-440
Number of pages28
JournalInternational Journal of Cooperative Information Systems
Volume13
Issue number4
DOIs
Publication statusPublished - Dec 2004
Externally publishedYes

Fingerprint

Web services
Network protocols
High level languages
Automation
Costs

Keywords

  • Con-ceptural modeling for service abstractions
  • Conversation protocols
  • Protocol enforcement
  • Trust negotiation policies
  • Web service protocols

ASJC Scopus subject areas

  • Information Systems
  • Computer Science Applications

Cite this

Abstracting and enforcing web service protocols. / Benatallah, Boualem; Casati, Fabio; Skogsrud, Halyard; Toumani, Farouk.

In: International Journal of Cooperative Information Systems, Vol. 13, No. 4, 12.2004, p. 413-440.

Research output: Contribution to journalArticle

Benatallah, Boualem ; Casati, Fabio ; Skogsrud, Halyard ; Toumani, Farouk. / Abstracting and enforcing web service protocols. In: International Journal of Cooperative Information Systems. 2004 ; Vol. 13, No. 4. pp. 413-440.
@article{4481b06b37d442f9b5a19ddf7ae29d8f,
title = "Abstracting and enforcing web service protocols",
abstract = "Web services are emerging as a promising technology for the automation of inter-organizational interactions. As technology matures and the foundations of Web services become more solid, users will start to demand tools that facilitate the service development lifecycle. It is only when such tools become available that novel technologies become applied and enter the mainstream, since the complexity, cost and time necessary to deploy and manage solutions is dramatically reduced. In this paper, we present a framework and a tool that support the model-driven development of Web services. The idea consists in identifying key Web services abstractions, in addition to those of basic Web services standards, that enable the description of service policies and properties that are useful in practice. In this paper, we focus on service protocols, and specifically on conversation and trust negotiation protocols. These protocols are modeled by means of graphical tools and high-level languages so that they are easy to specify, understand, and evolve. The tools also support the automatic generation of service implementation skeletons based on these abstractions, manage the entire service lifecycle, and provide run-time support to verify that the interaction among clients and services occur in compliance with the specified policies.",
keywords = "Con-ceptural modeling for service abstractions, Conversation protocols, Protocol enforcement, Trust negotiation policies, Web service protocols",
author = "Boualem Benatallah and Fabio Casati and Halyard Skogsrud and Farouk Toumani",
year = "2004",
month = "12",
doi = "10.1142/S021884300400105X",
language = "English",
volume = "13",
pages = "413--440",
journal = "International Journal of Cooperative Information Systems",
issn = "0218-8430",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "4",

}

TY - JOUR

T1 - Abstracting and enforcing web service protocols

AU - Benatallah, Boualem

AU - Casati, Fabio

AU - Skogsrud, Halyard

AU - Toumani, Farouk

PY - 2004/12

Y1 - 2004/12

N2 - Web services are emerging as a promising technology for the automation of inter-organizational interactions. As technology matures and the foundations of Web services become more solid, users will start to demand tools that facilitate the service development lifecycle. It is only when such tools become available that novel technologies become applied and enter the mainstream, since the complexity, cost and time necessary to deploy and manage solutions is dramatically reduced. In this paper, we present a framework and a tool that support the model-driven development of Web services. The idea consists in identifying key Web services abstractions, in addition to those of basic Web services standards, that enable the description of service policies and properties that are useful in practice. In this paper, we focus on service protocols, and specifically on conversation and trust negotiation protocols. These protocols are modeled by means of graphical tools and high-level languages so that they are easy to specify, understand, and evolve. The tools also support the automatic generation of service implementation skeletons based on these abstractions, manage the entire service lifecycle, and provide run-time support to verify that the interaction among clients and services occur in compliance with the specified policies.

AB - Web services are emerging as a promising technology for the automation of inter-organizational interactions. As technology matures and the foundations of Web services become more solid, users will start to demand tools that facilitate the service development lifecycle. It is only when such tools become available that novel technologies become applied and enter the mainstream, since the complexity, cost and time necessary to deploy and manage solutions is dramatically reduced. In this paper, we present a framework and a tool that support the model-driven development of Web services. The idea consists in identifying key Web services abstractions, in addition to those of basic Web services standards, that enable the description of service policies and properties that are useful in practice. In this paper, we focus on service protocols, and specifically on conversation and trust negotiation protocols. These protocols are modeled by means of graphical tools and high-level languages so that they are easy to specify, understand, and evolve. The tools also support the automatic generation of service implementation skeletons based on these abstractions, manage the entire service lifecycle, and provide run-time support to verify that the interaction among clients and services occur in compliance with the specified policies.

KW - Con-ceptural modeling for service abstractions

KW - Conversation protocols

KW - Protocol enforcement

KW - Trust negotiation policies

KW - Web service protocols

UR - http://www.scopus.com/inward/record.url?scp=10444222513&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=10444222513&partnerID=8YFLogxK

U2 - 10.1142/S021884300400105X

DO - 10.1142/S021884300400105X

M3 - Article

VL - 13

SP - 413

EP - 440

JO - International Journal of Cooperative Information Systems

JF - International Journal of Cooperative Information Systems

SN - 0218-8430

IS - 4

ER -