an of

sität acc 8 D com data. It has been shown that many of such guidelines can be represented as a ‘network of tasks’, i.e., as a number of steps that have a specific function or goal. To investigate the quality of such guidelines we propose a formalization of criteria for good practice medicine a problems in medicine, such as diagnosing disease and pre-ented languages and developing tools for their deployment. In [4,11] the emergence of a new paradigm is acknowledged which have been evolving since the 1990s. Medical guide-to quality check medical guidelines. Here, we are mainly concerned with the meta-level approach [7], i.e., verifying general principles of good practice medicine as for example advocated by the General Medical Council [6]. For exam-ple, a guideline of good quality should preclude the pre-scription of redundant drugs, or advise against th