VTS
- 1:
VTS Home. - 2: Hilfe.
- 3: Helpdesk des kiz.
- 1: Portalsuche.
- 2: Neuerscheinungen.
- 3: Volltextsuche.
- 4: Metadatensuche.
- 5: Browsing.
VTS-ID/8232
Lizenz
Bitte zitieren Sie dieses Dokument als
URL: http://vts.uni-ulm.de/doc.asp?id=8232
URN: urn:nbn:de:bsz:289-vts-82328
Metadaten
Optionale Metadatenformate: RIS-Export | oai_dc | XMetaDissPlus(v1.3) | xMetaDissPlus(v2.0)
| Titel | A formal framework for data-aware process interaction models |
| Autor / Hrsg. |
Knuplesch, David
Pryss, Rüdiger Reichert, Manfred |
| Dokumentart | Report (Bericht) |
| Serie / Reihe | Ulmer Informatik-Berichte |
| Institution | Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik |
| DDC-Sachgruppe |
Data processing & computer science (ddc:004)
|
| Schlagwörter (): Schlagwortschema |
Business process management (custom)
Collaborative workflows (custom) Data-aware process models (custom) Distributed workflows (custom) Interaction modeling (custom) Interaction nets (custom) Prozessmanagement (SWD) Realizability (custom) Soundness (custom) Workflow; Management (LCSH) |
| Sprache | englisch |
| Jahr der Erstellung | 2012 |
| VTS-Veröffentlichung | 14.11.2012 |
| Statistik |
115 Zugriffe seit 14.11.2012
|
| Abstract | IT support for distributed and collaborative workflows as well as related interactions between business partners are becoming increasingly important. For modeling such partner interactions as flow of message exchanges, different topdown approaches, covered under the term interaction modeling, are provided. Like for workflow models, correctness constitutes a fundamental challenge for interaction models, e.g., to ensure the boundedness and absence of deadlocks and lifelocks. Due to their distributed execution, in addition, interaction models should be message-deterministic and realizable, i.e., the same conversation (i.e. sequence of messages) should always lead to the same result, and it should be ensured that partners always have enough information about the messages they must or may send in a given context. So far, most existing approaches have addressed correctness of interaction models without explicitly considering the data exchanged through messages and used for routing decisions. However, data support is crucial for collaborative workflows and interaction models respectively. This technical report enriches interaction models with the data perspective. In particular, it defines the behavior of data-aware interaction models based on Data-Aware Interaction Nets, which use elements of both Interaction Petri Nets and Workflow Nets with Data. Finally, formal correctness criteria for Data-Aware Interaction Nets are derived, guaranteeing the boundedness and absence of deadlocks and lifelocks, and ensuring message-determinism as well as realizability. |
Dateien
Anzahl der Teildokumente: 1
| Teildokument | Format | Zertifikat / Hash |
|---|---|---|
| vts_8232_12051.pdf Dateigröße: 709 kByte 39 S. | application/pdf | PGP-Signatur: DH/DSS Zertifikat MD5-Hash: b50171ec344e2ffcb8b60cf8e2be306f |