A graph grammar approach to behavior verification of web services

Chunying Zhao; Kang Zhang

doi:10.1007/978-0-387-87658-0_7

A graph grammar approach to behavior verification of web services

Chunying Zhao, Kang Zhang

Research output: Chapter in Book/Conference Proceeding/Report › Book Chapter › peer-review

Abstract

Recently, service-oriented architecture (SOA) gains great interest in the software engineering community. SOA allows enterprise applications to be built on loosely-coupled existing services, which are autonomous and platform independent. The ad-hoc property of service-oriented systems challenges the verification and validation of an application's behavior due to the dynamic composition of Web services. This chapter reviews current verification and validation approaches to the composition of Web services, and analyzes techniques for conventional behavior checking that can be migrated to service-oriented systems. It then presents a visual language approach to behavior verification for composite Web services aiming at quality assurance.

Original language	English
Title of host publication	High Assurance Services Computing
Publisher	Springer US
Pages	127-143
Number of pages	17
ISBN (Print)	9780387876573
DOIs	https://doi.org/10.1007/978-0-387-87658-0_7
Publication status	Published - 2009
Externally published	Yes

Access to Document

10.1007/978-0-387-87658-0_7

Cite this

@inbook{141f5d88cdad4e769520995779001c98,

title = "A graph grammar approach to behavior verification of web services",

abstract = "Recently, service-oriented architecture (SOA) gains great interest in the software engineering community. SOA allows enterprise applications to be built on loosely-coupled existing services, which are autonomous and platform independent. The ad-hoc property of service-oriented systems challenges the verification and validation of an application's behavior due to the dynamic composition of Web services. This chapter reviews current verification and validation approaches to the composition of Web services, and analyzes techniques for conventional behavior checking that can be migrated to service-oriented systems. It then presents a visual language approach to behavior verification for composite Web services aiming at quality assurance.",

author = "Chunying Zhao and Kang Zhang",

year = "2009",

doi = "10.1007/978-0-387-87658-0\_7",

language = "English",

isbn = "9780387876573",

pages = "127--143",

booktitle = "High Assurance Services Computing",

publisher = "Springer US",

}

TY - CHAP

T1 - A graph grammar approach to behavior verification of web services

AU - Zhao, Chunying

AU - Zhang, Kang

PY - 2009

Y1 - 2009

N2 - Recently, service-oriented architecture (SOA) gains great interest in the software engineering community. SOA allows enterprise applications to be built on loosely-coupled existing services, which are autonomous and platform independent. The ad-hoc property of service-oriented systems challenges the verification and validation of an application's behavior due to the dynamic composition of Web services. This chapter reviews current verification and validation approaches to the composition of Web services, and analyzes techniques for conventional behavior checking that can be migrated to service-oriented systems. It then presents a visual language approach to behavior verification for composite Web services aiming at quality assurance.

AB - Recently, service-oriented architecture (SOA) gains great interest in the software engineering community. SOA allows enterprise applications to be built on loosely-coupled existing services, which are autonomous and platform independent. The ad-hoc property of service-oriented systems challenges the verification and validation of an application's behavior due to the dynamic composition of Web services. This chapter reviews current verification and validation approaches to the composition of Web services, and analyzes techniques for conventional behavior checking that can be migrated to service-oriented systems. It then presents a visual language approach to behavior verification for composite Web services aiming at quality assurance.

UR - https://www.scopus.com/pages/publications/84892315005

U2 - 10.1007/978-0-387-87658-0_7

DO - 10.1007/978-0-387-87658-0_7

M3 - Book Chapter

AN - SCOPUS:84892315005

SN - 9780387876573

SP - 127

EP - 143

BT - High Assurance Services Computing

PB - Springer US

ER -

A graph grammar approach to behavior verification of web services

Abstract

Access to Document

Other files and links

Fingerprint

Cite this