4SEE: a model-driven simulation engineering framework for business process analysis in a SaaS paradigm