Verifying the manipulation of data objects according to business process and data models | Publicación