Reference:
Visually specifying compliance rules and explaining their violations for business processes (Ahmed Awad, Matthias Weidlich, and Mathias Weske), In J. Vis. Lang. Comput., volume 22, 2011.
Bibtex Entry:
@article{DBLP:journals/vlc/AwadWW11,
author = {Ahmed Awad and
Matthias Weidlich and
Mathias Weske},
title = {Visually specifying compliance rules and explaining their violations
for business processes},
journal = {J. Vis. Lang. Comput.},
volume = {22},
number = {1},
pages = {30--55},
year = {2011},
url = {https://doi.org/10.1016/j.jvlc.2010.11.002},
doi = {10.1016/j.jvlc.2010.11.002},
timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/AwadWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org},
pdf = {https://www.informatik.hu-berlin.de/%7eweidlima/pubs/awad_vlc_2011_visually_specifying_compliance.pdf}
}