Skip to main content
main-content

Tipp

Weitere Artikel dieser Ausgabe durch Wischen aufrufen

01.12.2009 | WI - Aufsatz | Ausgabe 6/2009

WIRTSCHAFTSINFORMATIK 6/2009

Verifikation von Webservicekompositionen:

Eine Konkretisierung des Korrektheitsbegriffs und ein Anforderungsframework für serviceorientierte Modellierungsansätze

Zeitschrift:
WIRTSCHAFTSINFORMATIK > Ausgabe 6/2009
Autor:
Dipl.-Wirtsch.-Inf. Maximilian Röglinger
Wichtige Hinweise
Angenommen nach zwei Überarbeitungen durch Prof. Dr. König.
This article is also available in English via http://www.springerlink.com and http://www.bise-journal.org: Röglinger M (2009) Verification of Web Service Compositions: An Operationalization of Correctness and a Requirements Framework for Service-oriented Modeling Techniques. Bus Inf Syst Eng. doi: 10.1007/s12599-009-0074-z.

Zusammenfassung

Webservicekompositionen koordinieren Webservices verschiedener Unternehmen. Es wird erwartet, dass sie die Grundlage serviceorientierter Architekturen bilden, Geschäftsprozesse verbessern sowie zur Förderung intra- und interorganisatorischer Integration beitragen. Vor allem in interorganisatorischen Kontexten stellen die Dienstqualität bezogen auf nichtfunktionale Anforderungen und die Konformität mit funktionalen Anforderungen zunehmend wichtige Merkmale dar. Da Webservicekompositionen asynchrone und verteilte Systeme sind, kann die zweite – auch als Korrektheit bezeichnete – Eigenschaft am besten mittels Verifikation nachgewiesen werden. Dieser Beitrag untersucht aus systemtheoretischer Perspektive, wie der Korrektheitsbegriff für Webservicekompositionen konkretisiert werden kann. Außerdem wird ein Anforderungsframework für serviceorientierte Modellierungsansätze vorgeschlagen, sodass Korrektheit durch Verifikation gezeigt werden kann und Webservicekompositionen intuitiv modelliert werden können. Um die prinzipielle Anwendbarkeit des Frameworks zu demonstrieren, wird ein beispielhafter Ansatz in Bezug auf die Anforderungen des Frameworks analysiert.

Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten

Sie möchten Zugang zu diesem Inhalt erhalten? Dann informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit dem Wirtschafts-Abo erhalten Sie Zugriff auf über 1 Mio. Dokumente aus mehr als 45.000 Fachbüchern und 300 Fachzeitschriften aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb

Testen Sie jetzt 30 Tage kostenlos.

Springer Professional "Technik"

Online-Abonnement

Mit dem Technik-Abo erhalten Sie Zugriff auf über 1 Mio. Dokumente aus mehr als 40.000 Fachbüchern und 300 Fachzeitschriften aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Umwelt
  • Maschinenbau + Werkstoffe

Testen Sie jetzt 30 Tage kostenlos.

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit dem Kombi-Abo erhalten Sie vollen Zugriff auf über 1,8 Mio. Dokumente aus mehr als 61.000 Fachbüchern und rund 500 Fachzeitschriften aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Umwelt
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe

Testen Sie jetzt 30 Tage kostenlos.

Weitere Produktempfehlungen anzeigen
Literatur
Über diesen Artikel

Weitere Artikel der Ausgabe 6/2009

WIRTSCHAFTSINFORMATIK 6/2009Zur Ausgabe

WI - In eigener Sache

WI – In eigener Sache

Premium Partner

Neuer Inhalt

BranchenIndex Online

Die B2B-Firmensuche für Industrie und Wirtschaft: Kostenfrei in Firmenprofilen nach Lieferanten, Herstellern, Dienstleistern und Händlern recherchieren.

Whitepaper

- ANZEIGE -

Product Lifecycle Management im Konzernumfeld – Herausforderungen, Lösungsansätze und Handlungsempfehlungen

Für produzierende Unternehmen hat sich Product Lifecycle Management in den letzten Jahrzehnten in wachsendem Maße zu einem strategisch wichtigen Ansatz entwickelt. Forciert durch steigende Effektivitäts- und Effizienzanforderungen stellen viele Unternehmen ihre Product Lifecycle Management-Prozesse und -Informationssysteme auf den Prüfstand. Der vorliegende Beitrag beschreibt entlang eines etablierten Analyseframeworks Herausforderungen und Lösungsansätze im Product Lifecycle Management im Konzernumfeld.
Jetzt gratis downloaden!

Bildnachweise