Business process modeling notation definition