A framework for querying graph-based business process models · Study