Semantic-Based Process Analysis