Getting 'Whole Picture' Behavior in a Use Case Model

Abstract

This paper introduces a simple formal model Generic UC View to allow reasoning on behavior described by use case models. Based on Behavior Protocols, Pro-cases are introduced, together with guidelines for transforming a use case into a pro-case.