Semantically-aided business process modeling