Verification of Artifact-Centric Systems: Decidability and Modeling IssuesService-Oriented Computing