edoc-Server der Humboldt-Universität zu Berlin

Post- oder Preprint

Publikationsart: Workshop- oder Konferenzbeitrag
Autor(en): Niels Lohmann; Peter Massuthe; Christian Stahl; Daniela Weinberg
Titel: Analyzing Interacting BPEL Processes
Erschienen in: Lecture Notes in Computer Science 4102
S. 17-32
Veranstaltung: Fourth International Conference on Business Process Management
Wien
05.09.2006 - 07.09.2006
Verlag: Springer Verlag
http://www.springerlink.com
ISBN: 978-3-540-38901-9
ISSN: 0302-9743
DOI: 10.1007/11841760_3
Erstveröffentlichung: 06.10.2006
Veröffentlichung auf edoc: 14.05.2007
Status: published
peer_reviewed
Volltext: pdf (urn:nbn:de:kobv:11-10077582)
URL der Erstveröffentlichung: http://www.springerlink.com/content/u108j368336r787k/
Fachgebiet(e): Informatik
Schlagwörter (eng): Business process modeling and analysis, Formal models in business process management, Process verification and validation, Petri nets
Einrichtung: Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
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 (eng):
This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it into a Petri net model. On the model we decide controllability of the process (the existence of a partner process, such that both can interact properly) and compute its operating guideline (a characterization of all properly interacting partner processes). A case study demonstrates the value of this technology chain.
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: 16 ZugriffePDF: 6 ZugriffePDF: 3 ZugriffeStartseite: 1 ZugriffePDF: 3 ZugriffeStartseite: 1 ZugriffePDF: 2 ZugriffePDF: 1 ZugriffePDF: 1 ZugriffePDF: 4 ZugriffeStartseite: 1 ZugriffePDF: 2 ZugriffePDF: 7 ZugriffePDF: 1 ZugriffePDF: 3 ZugriffeStartseite: 2 ZugriffePDF: 3 ZugriffeStartseite: 2 ZugriffePDF: 5 ZugriffeStartseite: 2 ZugriffePDF: 2 ZugriffeStartseite: 2 ZugriffePDF: 6 ZugriffePDF: 10 ZugriffePDF: 16 ZugriffeStartseite: 1 ZugriffePDF: 6 ZugriffeStartseite: 1 ZugriffePDF: 20 Zugriffe
May
11		Jun
11		Jul
11		Aug
11		Sep
11		Oct
11		Nov
11		Jan
12		Feb
12		Apr
12		May
12		Jun
12		Jul
12		Aug
12		Sep
12		Oct
12		Nov
12		Dec
12		Jan
13		Apr
13

MonatMay
11		Jun
11		Jul
11		Aug
11		Sep
11		Oct
11		Nov
11		Jan
12		Feb
12		Apr
12		May
12		Jun
12		Jul
12		Aug
12		Sep
12		Oct
12		Nov
12		Dec
12		Jan
13		Apr
13
Startseite   11   1   2222  11
PDF166332114271335261016620

Gesamtzahl der Zugriffe seit May 2011:

  • Startseite – 13 (0.76 pro Monat)
  • PDF – 117 (5.85 pro Monat)
    •  
 
Generiert am 22.05.2013, 11:29:52

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