On the Accessibility of a PoN-Enabled Use Case Notation