FORMAL BUSINESS PROCESS ENGINEERING BASED ON GRAPH-GRAMMARS

Designing and managing a company's specific landscape and its business processes has been identified as a great challenge for several years. Business processes are highly dynamic and distributed and can only ra rely be planned, modeled and analyzed completely. For a computer-aided business process system, which supports the designing and managing pr ocess, first of all a powerful uniform formalism is necessary, where a ll necessary knowledge concerning company's and its processes can be r epresented. In this paper we will concentrate on the introduction of s uch a formal methodology to describe business processes, company organ ization structures and information technology structures in one unifor m formalism. The ideas we use are mainly based on methods from graph g rammars, process management, Artificial Intelligence and business proc ess (re)engineering.