SSP Group Meeting
Tuesday, January 15th, 11am
Division of Informatics, 80 South Bridge, Room F13

Brokering the Management of a Formal Lifecycle

Stephen Potter and Marco Schorlemmer

The first part of this week's talk is devoted to the description of the manner in which knowledge lifecycles can be generated and published through the use of an editor built upon an abstract lifecycle calculus.

The second part of the talk describes a brokering service thatis able to co-ordinate problem-solving among formal knowledgecomponents. It is postulated that a brokering system of this sort, when integrated with the concepts of the formal calculus of knowledge lifecycles, could offer a novel environment in which formal knowledge management can effected.

The talk will be accompanied by a demonstration of prototype software illustrating some of these ideas.