Getting 'Whole Picture' Behavior in a Use Case Model

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F03%3A00105224" target="_blank" >RIV/67985807:_____/03:00105224 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Getting 'Whole Picture' Behavior in a Use Case Model
Original language description
Although widely used, traditional use case modeling does not provide explicit means which could be easily used for capturing and testing behavior compliance of the entities involved in a particular use case model. Specifically, a use case model (a set ofuse cases) related to a system under design provides neither an explicit abstraction to capture the "whole picture" of the behavior of the system, nor to cover the interactions of subsystems and internal actors with the parent system. With the aim to allow for reasoning on the behavior, the paper introduces a simple formal model Generic UC View which identifies important abstractions and the relations upon them which target the goal. Among them, the concept of use case expression is the base for the desired reasoning on whether the behavior of an entity complies with the composed behavior of its sub-entities, and the behavior on the communication links of two neighboring entities is compliant.
Czech name
Získávání 'celkového obrazu' chování modelu případů užití (use case model)
Czech description
Článek představuje jednoduchý formální model Generic UC View, který umožňuje posuzovat chování popsané pomocí případů užití (use cases). Na základě Behavior Protocols je představena notace Pro-cases, spolu s pokyny pro převod z notace use cases.

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2003
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)