Bibliograph.
Daten | Kopp, Oliver; Khalaf, Rania; Leymann, Frank: Deriving Explicit Data Links in WS-BPEL Processes.
In: Proceedings of the International Conference on Services Computing, SCC 2008.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik.
S. 367-376, englisch.
Honolulu, Hawaii, USA: IEEE Computer Society Press, Juli 2008.
DOI: 10.1109/SCC.2008.122; ISBN: 978-0-7695-3283-7.
Artikel in Tagungsband (Konferenz-Beitrag).
|
|---|
| CR-Klassif. | D.3 (Programming Languages)
F.3.2 (Semantics of Programming Languages)
|
|---|
| Keywords | Data-flow Analysis; Reaching Definitions Analysis; def-use edges; data link; BPEL |
|---|
| Kurzfassung | WS-BPEL is a standard language to model business processes. Control flow is modeled explicitly using links. Data is passed via shared variables and there is no notion of explicit data links. However, explicit data links are an important means to reason about business process models. We present an algorithm to derive explicit data links in WS-BPEL processes. By considering dead path elimination as defined in WS-BPEL, we reduce the number of derived data links when compared to existing approaches that ignore dead path elimination.
|
|---|
Volltext und
andere Links | SCC 2008
|
|---|
| Kontakt | kopp@iaas.uni-stuttgart.de |
|---|
| Abteilung(en) | Universität Stuttgart, Institut für Architektur von Anwendungssystemen
|
|---|
| Projekt(e) | Tools4BPEL
|
|---|
| Eingabedatum | 21. April 2008 |
|---|