Apriori and sequence analysis for discovering declarative process models