Business process verification
Autor(en): | Feja, S. Speck, A. Pulvermüller, E. |
Stichwörter: | Boolean logic; Business Process; Business process model; Commercial systems; Dynamic aspects; Dynamic behaviors; Graphical editors; Model checker; Temporal order; Temporal sequences, Formal languages; Model checking, Temporal logic | Erscheinungsdatum: | 2009 | Journal: | INFORMATIK 2009 - Im Focus das Leben, Beitrage der 39. Jahrestagung der Gesellschaft fur Informatik e.V. (GI) | Startseite: | 4037 | Seitenende: | 4051 | Zusammenfassung: | Models of commercial systems reflect either the statical structure or the dynamic behavior of a system. The dynamic aspects are the business processes and their models. Whereas the static relations in a system may be expressed by Boolean logic, the dynamic activities and their temporal sequences ask for a better formalism, e.g. temporal logic. Temporal logic is based on Boolean logic extended by operators expressing the temporal order of states. In general there are different technologies to verify temporal sequences. Our choice is the model checking concept. In the paper we present examples of business process models and how these models may be checked. We introduce a model to specify the rules (rules model) and demonstrate how the results of the checks can be displayed in the business process models. These models and the rules are represented in a graphical editor. Both models are transformed into a formal language which may be processed by a verification tool-a model checker in our case. The results are then visualized in the graphical editor indicating where the model violates or keeps the rules. |
Beschreibung: | Conference of 39th Jahrestagung der Gesellschaft fur Informatik e.V. (GI): Im Focus das Leben, INFORMATIK 2009 39th Annual Meeting of the German Informatics Society (GI): Focus on Life, INFORMATIK 2009 ; Conference Date: 28 September 2009 Through 2 October 2009; Conference Code:95691 |
ISBN: | 9783885792482 | Externe URL: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84874301927&partnerID=40&md5=7576259da03ad5e486fde19f1d914db0 |
Zur Langanzeige
Seitenaufrufe
4
Letzte Woche
1
1
Letzter Monat
1
1
geprüft am 17.05.2024