Verification of Web Service Compositions: AnOperationalization of Correctness and a RequirementsFramework for Service-oriented Modeling Techniques

This paperoperationalizes correctness for Web service compositions. It also proposes a requirementsframework for service-oriented modeling techniques so that correctness can beshown by verification and Web service compositions can be modeled intuitively.

MoreLess

Year of publication:	2009
Authors:	Röglinger, Maximilian
Institutions:	Universität <Augsburg> / Department of Information SystemsEngineering & Financial Management
Subject:	Voraussetzung \| technical requirement \| Web Services \| Web SErvice \| Genauigkeit \| correctness \| Verifikation \| verification

More details

Extent:	274432 bytes 17 p. application/pdf
Series:	Universität Augsburg - Research Center Finance & Information Management - Publications Discussion Paper ; WI-190 in: Business & Information Systems Engineering ; 1 (2009) 6, S. 429-437
Type of publication:	Book / Working Paper
Language:	English
Classification:	IS Components ; Individual Working Papers, Preprints ; No country specification
Source:	USB Cologne (business full texts)

Persistent link: https://www.econbiz.de/10005868077