A Process-Driven Methodology for Modeling Service-Oriented Complex Information Systems