In artifact-centric business process models it is usually assumed that the specification of activities requires stating all effects activity execution over information base (i.e. artifacts handles). particular, these have to deal with integrity constraint enforcement ensure a proper treatment constraints during execution. Manually specifying this difficult, expensive and error-prone task, becau...