Object-Oriented Analysis and Design for Information Systems : Modeling with BPMN, OCL, IFML, and Python