Martens, AxelWagner, Dorothea2017-09-222017-09-222004978-3-88579-408-Xhttps://dl.gi.de/handle/20.500.12116/4476Web Services sind derzeit eines der dominierenden Themen in der IT- Branche, denn sie versprechen ein einheitliches Komponentenkonzept für verteilte, heterogene Systeme. Dadurch wird die Integration von Anwendungen vereinfacht, insbesondere bei Geschäftsprozessen über die Grenzen einzelner Unternehmen hinweg. Führende Software-Hersteller arbeiten mit Hochdruck an der Umsetzung der Konzepte und beginnen, darauf basierende Produkte auszuliefern. Trotzdem befinden sich derzeit noch viele der Web-Service-Technologien im Stadium der Standardisierung. Die vorliegende Arbeit betrachtet die grundlegenden Eigenschaften verteilter Geschäftsprozesse abgestützt auf die formale Modellierung mit Petrinetzen, ohne sich dabei auf eine konkrete Syntax festzulegen. Durch das gewählte Abstraktionsniveau lassen sich die Ergebnisse einfach auf jede konkrete Sprache übertragen.de1617-5468