Knowledge-based Modeling of Pro esses