Search
Now showing items 1-1 of 1
-
Verifiable UML artifact-centric business process models
(ACM, 2014)Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main lines ...