Towards a Methodology for Semantic Business Process Modeling and Configuration