Titlebar

Export bibliographic data
Literature by the same author
plus on the publication server
plus at Google Scholar

 

Verification of Web Service Compositions : An Operationalization of Correctness and a Requirements Framework for Service-oriented Modeling Techniques

Title data

Röglinger, Maximilian:
Verification of Web Service Compositions : An Operationalization of Correctness and a Requirements Framework for Service-oriented Modeling Techniques.
In: Business & Information Systems Engineering. Vol. 1 (2009) Issue 6 . - pp. 429-437.
ISSN 1867-0202
DOI: https://doi.org/10.1007/s12599-009-0074-z

Official URL: Volltext

Abstract in another language

Web service compositions (WS compositions) coordinate Web services of different enterprises. They are expected to constitute the foundation of service-oriented architectures, to improve business processes as well as to foster intra- and inter-organizational integration. Especially in inter-organizational contexts, quality of service referring to non-functional requirements and conformance to functional requirements are becoming vital properties. With WS compositions being asynchronous and distributed systems, the latter – which is also called correctness – can be shown best by verification. This paper examines how correctness has to be operationalized for WS compositions. It also examines how service-oriented modeling techniques should be shaped so that correctness can be shown by verification while WS compositions can be modeled intuitively. Correctness is analyzed from a system-theoretic viewpoint. Moreover, a requirements framework for formal foundations and modeling support is proposed. In order to show the framework’s principle applicability, one example approach is analyzed with respect to the corresponding requirements.

Further data

Item Type: Article in a journal
Refereed: Yes
Keywords: Web service compositions; Service-oriented modeling; Formal methods
Institutions of the University: Faculties > Faculty of Law, Business and Economics > Department of Business Administration
Faculties > Faculty of Law, Business and Economics > Department of Business Administration > Professorship Business Information Systems and Value Oriented Process Management
Faculties > Faculty of Law, Business and Economics > Department of Business Administration > Professorship Business Information Systems and Value Oriented Process Management > Professorship Business Information Systems and Value Oriented Process Management - Univ.-Prof. Dr. Maximilian Röglinger
Research Institutions
Research Institutions > Affiliated Institutes
Research Institutions > Affiliated Institutes > Fraunhofer Project Group Business and Information Systems Engineering
Research Institutions > Affiliated Institutes > FIM Research Center Finance & Information Management
Faculties
Faculties > Faculty of Law, Business and Economics
Result of work at the UBT: No
DDC Subjects: 000 Computer Science, information, general works > 004 Computer science
300 Social sciences > 330 Economics
Date Deposited: 09 Apr 2015 06:41
Last Modified: 31 May 2017 12:44
URI: https://eref.uni-bayreuth.de/id/eprint/8272