A novel framework for visualizing declarative process models