Bibliograph. Daten | Wagner, Sebastian; Kopp, Oliver; Leymann, Frank: Towards Verification of Process Merge Patterns with Allen’s Interval Algebra. In: Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS 2012). Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik. S. 1-8, englisch. Bamberg: CEUR Workshop Proceedings, 16. März 2012. Artikel in Tagungsband (Workshop-Beitrag).
|
CR-Klassif. | H.4.1 (Office Automation)
|
Kurzfassung | Choreographies present how parties collaborate to achieve an agreed business objective. When companies are bought, their processes have to be in-sourced. Thereby, their part in a choreography has to be merged with the part of their acquiring business partner. Merging patterns may be applied to merge reoccurring activity combinations, such as send/receive. It has to be proven that each merge patterns keeps the relations of the original activities of the choreography. As a first step, we show by an example how the relations between activities may be expressed using the Allen calculus. We show for merging a synchronous message exchange, which relations have to be considered for validating an implementation of that merge.
|
Volltext und andere Links | PDF (313185 Bytes) Zeus 2012
|
Abteilung(en) | Universität Stuttgart, Institut für Architektur von Anwendungssystemen
|
Projekt(e) | Migrate! CloudCycle
|
Eingabedatum | 21. Februar 2012 |
---|