A Meyer,
M Weske - … : 12th International Conference, ICSOC 2014, Paris …, 2014 - Springer
Process models specify behavioral execution constraints between activities as well as
between activities and data objects. A data object is characterized by its states and state …