Tasks describe the goals of the problem solving agent and the actions that can lead to reach the goals, including goals and tasks decomposition. Basic tasks are implemented by means of inferences. An inference is close to the notion of inference rule in logic. It specifies the basic reasoning steps that are feasible at the domain level. It describes the type of knowledge that it is possible to deduce given inputs and domain models.
Inferences also describe the mapping between task oriented roles and domain level entity types.
The Expertise Models are managed by a Cokace server which is connected to a Web server by means of a CGI interface. It provides a structured editor and a type-checker. This representation enables high level and abstract operations on expertise models, such as search by pattern matching and pretty-printing. User Interface Home Page Cokace is itself built on top of the Centaur programming environment generator. Cokace was generated by specifying the CML language in Centaur.