Graphical specification of procedural knowledge for an expert system