Literatur vom gleichen Autor/der gleichen Autor*in
plus bei Google Scholar

Bibliografische Daten exportieren
 

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

Titelangaben

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. Bd. 1 (2009) Heft 6 . - S. 429-437.
ISSN 1867-0202
DOI: https://doi.org/10.1007/s12599-009-0074-z

Volltext

Link zum Volltext (externe URL): Volltext

Abstract

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.

Weitere Angaben

Publikationsform: Artikel in einer Zeitschrift
Begutachteter Beitrag: Ja
Keywords: Web service compositions; Service-oriented modeling; Formal methods
Institutionen der Universität: Fakultäten > Rechts- und Wirtschaftswissenschaftliche Fakultät > Fachgruppe Betriebswirtschaftslehre
Fakultäten > Rechts- und Wirtschaftswissenschaftliche Fakultät > Fachgruppe Betriebswirtschaftslehre > Lehrstuhl Betriebswirtschaftslehre XVII - Wirtschaftsinformatik und Wertorientiertes Prozessmanagement
Fakultäten > Rechts- und Wirtschaftswissenschaftliche Fakultät > Fachgruppe Betriebswirtschaftslehre > Lehrstuhl Betriebswirtschaftslehre XVII - Wirtschaftsinformatik und Wertorientiertes Prozessmanagement > Lehrstuhl Wirtschaftsinformatik und Wertorientiertes Prozessmanagement - Univ.-Prof. Dr. Maximilian Röglinger
Forschungseinrichtungen
Forschungseinrichtungen > Institute in Verbindung mit der Universität
Forschungseinrichtungen > Institute in Verbindung mit der Universität > Projektgruppe Wirtschaftsinformatik der Fraunhofer FIT
Forschungseinrichtungen > Institute in Verbindung mit der Universität > FIM Kernkompetenzzentrum Finanz- & Informationsmanagement
Fakultäten
Fakultäten > Rechts- und Wirtschaftswissenschaftliche Fakultät
Titel an der UBT entstanden: Nein
Themengebiete aus DDC: 000 Informatik,Informationswissenschaft, allgemeine Werke > 004 Informatik
300 Sozialwissenschaften > 330 Wirtschaft
Eingestellt am: 09 Apr 2015 06:41
Letzte Änderung: 26 Nov 2019 11:28
URI: https://eref.uni-bayreuth.de/id/eprint/8272