Maximal structuring of acyclic process models
Data(s) |
01/01/2014
|
---|---|
Resumo |
This article addresses the transformation of a process model with an arbitrary topology into an equivalent structured process model. In particular, this article studies the subclass of process models that have no equivalent well-structured representation but which, nevertheless, can be partially structured into their maximally-structured representation. The transformations are performed under a behavioral equivalence notion that preserves the observed concurrency of tasks in equivalent process models. The article gives a full characterization of the subclass of acyclic process models that have no equivalent well-structured representation, but do have an equivalent maximally-structured one, as well as proposes a complete structuring method. Together with our previous results, this article completes the solution of the process model structuring problem for the class of acyclic process models. |
Identificador | |
Publicador |
Oxford University Press |
Relação |
http://comjnl.oxfordjournals.org/content/57/1/12.full.pdf+html DOI:10.1093/comjnl/bxs126 Polyvyanyy, Artem, Garcia-Banuelos, Luciano, Fahland, Dirk, & Weske, Mathias (2014) Maximal structuring of acyclic process models. The Computer Journal, 57(1), pp. 12-35. |
Direitos |
Copyright 2012 The Authors. Published by Oxford University Press on behalf of The British Computer Society. |
Fonte |
School of Information Systems; Science & Engineering Faculty |
Palavras-Chave | #080500 DISTRIBUTED COMPUTING #080600 INFORMATION SYSTEMS #Process modeling #Structured process model #Maximal structuring #Model transformation #Fully concurrent bisimulation |
Tipo |
Journal Article |