Investigating expressiveness and understandability of hierarchy in declarative business process models · Study