Bibliograph. Daten | Monakova, Ganna; Kopp, Oliver; Leymann, Frank: Improving Control Flow Verification in a Business Process using an Extended Petri Net. In: Kopp, Oliver (Hrsg); Lohmann, Niels (Hrsg): Proceedings of the 1st Central-European Workshop on Services and their Composition (ZEUS 2009). Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik. S. 95-101, englisch. Stuttgart: CEUR-WS.org, 2. März 2009. Artikel in Tagungsband (Workshop-Beitrag).
|
Körperschaft | ZEUS 2009 |
CR-Klassif. | I.6 (Simulation and Modeling) H.4.1 (Office Automation)
|
Keywords | petri net extension; data dependency |
Kurzfassung | In a business process, control flow decisions are based on the evaluation of conditions. Thus, conditions must be considered for control flow veri cation. This paper shows how the Petri nets based control fl ow veri cation can be improved by analysing conditions and logical relations between them. We outline a Petri net extension with predicate transitions, which are responsible for conditions evaluation based on the collected knowledge, and effect places, which contain fact tokens representing the effects of certain operations and decisions made.
|
Volltext und andere Links | PDF (240440 Bytes) ZEUS 2009 CEUR Vol. 438
|
Abteilung(en) | Universität Stuttgart, Institut für Architektur von Anwendungssystemen
|
Projekt(e) | MASTER
|
Eingabedatum | 20. März 2009 |
---|