AKTivity
type Software Instance
Description It is a life cycle editor, interpreter and property checker. With the editor, the user gives a formal representation of the knowledge life cycle. The interpreter transforms the knowledge components by executing the formally represented life cycle. The property checker checks properties of knowledge components that have been transformed through the life cycle by inspecting the life cycle structure.
ID
Software Type experimental prototype
Designer Marco Schorlemmer
Developer Marco Schorlemmer
Development Status on-going
IPR Owner Marco Schorlemmer
Published Place private use only.
Main Research Area Formal Methods, Knowledge Lifecycle
Relevant Research Area Knowledge Engineering, Knowledge Management, Knowledge Reuse
Cross References
Source Provider(real world)