Logo des Repositoriums
 
Konferenzbeitrag

Workflow nets with roles

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2011

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

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.

Beschreibung

Bergenthum, Robin; Desel, Jörg; Mauser, Sebastian (2011): Workflow nets with roles. Enterprise modelling and information systems architectures (EMISA 2011). Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-284-0. pp. 65-78. Regular Research Papers. Hamburg. September 22-23, 2011

Schlagwörter

Zitierform

DOI

Tags