Business process architectures with multiplicities : transformation and correctness
- Business processes are instrumental to manage work in organisations. To study the interdependencies between business processes, Business Process Architectures have been introduced. These express trigger and message ow relations between business processes. When we investigate real world Business Process Architectures, we find complex interdependencies, involving multiple process instances. These aspects have not been studied in detail so far, especially concerning correctness properties. In this paper, we propose a modular transformation of BPAs to open nets for the analysis of behavior involving multiple business processes with multiplicities. For this purpose we introduce intermediary nets to portray semantics of multiplicity specifications. We evaluate our approach on a use case from the public sector.
Volltext Dateien herunterladen
SHA-1:ae281daa06da6bd6cbdc920f4f673121f937145e
Weitere Dienste
| Verfasserangaben: | Rami-Habib Eid-SabbaghGND, Marcin HeweltGND, Mathias WeskeORCiDGND |
|---|---|
| URN: | urn:nbn:de:kobv:517-opus-66780 |
| ISBN: | 978-3-86956-257-5 |
| Schriftenreihe (Bandnummer): | Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam (77) |
| Verlag: | Universitätsverlag Potsdam |
| Verlagsort: | Potsdam |
| Publikationstyp: | Monographie/Sammelband |
| Sprache: | Englisch |
| Erscheinungsjahr: | 2013 |
| Veröffentlichende Institution: | Universität Potsdam |
| Datum der Freischaltung: | 06.08.2013 |
| Seitenanzahl: | 18 |
| RVK - Regensburger Verbundklassifikation: | ST 230 |
| Organisationseinheiten: | An-Institute / Hasso-Plattner-Institut für Digital Engineering gGmbH |
| DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Publikationsweg: | Universitätsverlag Potsdam |
| Lizenz (Deutsch): |  Keine öffentliche Lizenz: Unter Urheberrechtsschutz |
