An Interdisciplinary Approach on Operational Knowledge Process Modeling and Formal Reasoning

On the one hand models can be used as navigational tools respecting mental processing capabilities of persons. On the other hand models can be analyzed automatically by information systems to deduce relevant content for knowledge management IT-components as E-Learning-Applications, KM-Portals, document management systems, etc. Therefore models of knowledge intensive business processes are a natural integration layer for persons and information systems providing the relevant context to interpret and handle information the right way. It has only to be solved how to interface these models efficiently from a person as well as from an information system point of view.