| 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) | |