Monitoring assertion-based business processes