Publication at Faculty of Mathematics and Physics |
2003
Abstract
The article 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.