Verifying Nursing Activities Based on Workflow Model