Declarative business artifact centric modeling of decision and knowledge intensive business processesRoman VaculínRichard Hullet al.2011EDOC 2011