edoc-Server der Humboldt-Universität zu Berlin

Post- oder Preprint

Publikationsart: Artikel
Autor(en): Wolfgang Reisig; Karsten Schmidt; Christian Stahl
Titel: Kommunizierende Workflow-Services modellieren und analysieren
Erschienen in: Informatik - Forschung und Entwicklung (1-2) 2005
S. 90-101
http://www.springerlink.com/content/0949-2925/
ISSN: 0949-2925
DOI: 10.1007/s00450-005-0209-5
Erstveröffentlichung: 01.10.2005
Einreichung: 01.10.2005
Veröffentlichung auf edoc: 20.03.2007
Status: published
peer_reviewed
Volltext: pdf (urn:nbn:de:kobv:11-10076189)
Fachgebiet(e): Informatik
Schlagwörter (eng): Petri nets, Open workflow nets, Workflow services, BPEL, Controllability
Einrichtung: Humboldt-Universität zu Berlin
Metadatenexport: Um den gesamten Metadatensatz im Endnote- oder Bibtex-Format zu speichern, klicken Sie bitte auf den entsprechenden Link. Endnote   Bibtex  
print on demand: Wenn Sie auf dieses Icon klicken, können Sie ein Druckexemplar dieser Publikation bestellen. Bestellung als gedruckte und gebundene Version bei epubli.de, Ausführung der Bestellung erst nach Bestätigung auf den epubli.de-Seiten
Diese Seite taggen: Diese Icons führen auf so genannte Social-Bookmark-Systeme, auf denen Sie Lesezeichen anlegen, persönliche Tags vergeben und Lesezeichen anderer Nutzer ansehen können.
  • connotea
  • del.icio.us
  • Furl
  • RawSugar

Abstract (ger):
Zur adäquaten Nutzung von Workflow-Implementierungen kommunizierender Geschäftsprozesse werden Konzepte vorgeschlagen, die von konkreten Implementierungen abstrahieren. Auf der Basis von Petrinetzen werden unterschiedliche Varianten der Bedienbarkeit von Workflows charakterisiert und dafür Entscheidungsalgorithmen vorgestellt. Die Angemessenheit des Ansatzes wird am Beispiel der Semantik von Komponenten der Geschäftsprozess-Modellierungssprache BPEL demonstriert.
Abstract (eng):
We consider workflow implementations of communicating business processes. We propose theoretic concepts for their adequate use. Based on a class of Petri nets, we characterize different versions of usability (or controllability) of workflows and present decision procedures for these properties. Through a Petri net semantics for the web service description language BPEL, we link our concepts to a practically relevant domain.
Zugriffsstatistik: Die Daten für die Zugriffsstatistik der einzelnen Dokumente wurden aus den durch AWSTATS aggregierten Webserver-Logs erstellt. Sie beziehen sich auf den monatlichen Zugriff auf den Volltext sowie auf die Startseite.
 
Bei Formatversionen eines Dokuments, die aus mehreren Dateien bestehen (insbesondere HTML), wird jeweils der monatlich höchste Zugriffswert auf eine der Dateien (Kapitel) des Dokuments angezeigt.
 
Um die detaillierten Zugriffszahlen zu sehen, fahren Sie bitte mit dem Mauszeiger über die einzelnen Balken des Diagramms.
PDF: 15 ZugriffePDF: 9 ZugriffePDF: 3 ZugriffePDF: 1 ZugriffeStartseite: 1 ZugriffePDF: 2 ZugriffePDF: 2 ZugriffeStartseite: 2 ZugriffePDF: 1 ZugriffePDF: 1 ZugriffePDF: 4 ZugriffePDF: 1 ZugriffeStartseite: 1 ZugriffePDF: 6 ZugriffePDF: 6 ZugriffePDF: 6 ZugriffePDF: 15 Zugriffe
May
11		Jun
11		Jul
11		Oct
11		Nov
11		Dec
11		Jan
12		Apr
12		May
12		Jun
12		Jul
12		Aug
12		Sep
12		Oct
12		Nov
12		Dec
12		Jan
13		Mar
13		Apr
13

MonatMay
11		Jun
11		Jul
11		Oct
11		Nov
11		Dec
11		Jan
12		Jun
12		Jul
12		Aug
12		Sep
12		Oct
12		Nov
12		Jan
13		Apr
13
Startseite    1 2   1    
PDF15931221141 66615

Gesamtzahl der Zugriffe seit May 2011:

  • Startseite – 4 (0.27 pro Monat)
  • PDF – 72 (3.79 pro Monat)
    •  
 
Generiert am 19.05.2013, 20:19:37

edoc-Server der Humboldt-Universität zu Berlin  •  Impressum  •  edoc@cms.hu-berlin.de  •  Nutzungsbedingungen  •  Haftungsausschluss  •  Statistik