A new notational framework for declarative process modeling