Concepts and models for typing events for event-based systems