Workflow nets with roles

Zusammenfassung
We formalize the usual static role concept for workflow nets, introduce dynamic roles and define soundness as well as a second correctness criterion, called consistency, for workflow nets with roles. We study the relation between the notions of consistency and soundness of workflow nets with and without roles. In particular, we show that a sound workflow net extended by consistent roles is again sound.
  • Vollständige Referenz
  • BibTeX
Bergenthum, R., Desel, J. & Mauser, S., (2011). Workflow nets with roles. In: Nüttgens, M., Thomas, O. & Weber, B. (Hrsg.), Enterprise modelling and information systems architectures (EMISA 2011). Bonn: Gesellschaft für Informatik e.V.. (S. 65-78).
@inproceedings{mci/Bergenthum2011,
author = {Bergenthum, Robin AND Desel, Jörg AND Mauser, Sebastian},
title = {Workflow nets with roles},
booktitle = {Enterprise modelling and information systems architectures (EMISA 2011)},
year = {2011},
editor = {Nüttgens, Markus AND Thomas, Oliver AND Weber, Barbara} ,
pages = { 65-78 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
65.pdf198.4Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-284-0
ISSN: 1617-5468
Datum: 2011
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige