Expressing Pre-, Post-conditions, Attributes and Business Constraints in Artifact-Centric Business Processes Using Object Role Modeling. - Quân Nguyen-Le; Lam-Son Lê (CSOC (2), 2016)