Preserving correctness during business process model configuration

Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling. Preserving correctness during business process model configuration. Formal Asp. Comput., 22(3-4):459-482, 2010. [doi]

@article{AalstDGHRM10,
  title = {Preserving correctness during business process model configuration},
  author = {Wil M. P. van der Aalst and Marlon Dumas and Florian Gottschalk and Arthur H. M. ter Hofstede and Marcello La Rosa and Jan Mendling},
  year = {2010},
  doi = {10.1007/s00165-009-0112-0},
  url = {http://dx.doi.org/10.1007/s00165-009-0112-0},
  tags = {business process modeling, process modeling},
  researchr = {https://researchr.org/publication/AalstDGHRM10},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {22},
  number = {3-4},
  pages = {459-482},
}