SSP Group Meeting
Wednesday, November 28th, 11am
Division of Informatics, 80 South Bridge, Room F13

An Architecture for Formal Lifecycle Management

Marco Schorlemmer

I shall talk about the current stage of the development of an architecture that aims at supporting the management of lifecycles of knowledge acquisition, transformation, and publishing. The talk will consist of a presentation of the lifecycle calculus on which the architecture is based, as well as of an example of lifecycle generation, interpretation and checking.