Based on Activity Constraint Graphs -- Process Model Storage Solutions: Proposition and