Business process modeling notation defintion